The following pages link to CoSyma (Q31946):
Displaying 12 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Symbolic control design for monotone systems with directed specifications (Q1679067) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models (Q2225131) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- SCOTS (Q2988967) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- ROCS (Q4561444) (← links)
- pFaces (Q5239246) (← links)
- Guaranteed control of switched control systems using model order reduction and state-space bisection (Q5240150) (← links)