Pages that link to "Item:Q5703951"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703951):
Displaying 9 items.
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
- Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems (Q2304049) (← links)
- Numerically-aided deductive safety proof for a powertrain control system (Q2520674) (← links)
- Compositional safety analysis using barrier certificates (Q2986748) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)
- Data-driven safe gain-scheduling control (Q6583428) (← links)