The following pages link to (Q4246819):
Displaying 5 items.
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- An invariant-based approach to the design of hybrid control systems (Q2716783) (← links)
- Bisimilar Finite Abstractions of Interconnected Systems (Q3523133) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)
- (Q5079750) (← links)
