The following pages link to SCOTS (Q31993):
Displaying 22 items.
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Symbolic control design for monotone systems with directed specifications (Q1679067) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Numerical over-approximation of invariance entropy via finite abstractions (Q2107631) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (Q2125520) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models (Q2225131) (← links)
- Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- SCOTS (Q2988967) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- ROCS (Q4561444) (← links)
- TIRA (Q5239242) (← links)
- pFaces (Q5239246) (← links)
- Robust Abstractions for Control Synthesis (Q5275323) (← links)
