The following pages link to (Q4418864):
Displaying 8 items.
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Modal specifications for the control theory of discrete event systems (Q884763) (← links)
- Temporal logic model predictive control (Q889006) (← links)
- Multi-modal control using adaptive motion description languages (Q958297) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Bisimilar linear systems. (Q1421437) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
