Pages that link to "Item:Q2716783"
From MaRDI portal
The following pages link to An invariant-based approach to the design of hybrid control systems (Q2716783):
Displaying 8 items.
- Design of control invariant sets of planar systems (Q473045) (← links)
- Inductively inferring valid logical models of continuous-state dynamical systems (Q673881) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Optimal persistent disturbance attenuation control for linear hybrid systems (Q2496817) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
- Control design for integrator hybrid systems (Q4393075) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Evolutionary design of discrete controllers for hybrid mechatronic systems (Q5265605) (← links)