The following pages link to SCOTS (Q2988967):
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)
- Lazy controller synthesis for monotone transition systems and directed safety specifications (Q2059378) (← 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)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← 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)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach (Q6161374) (← links)
- Synthesizing permissive winning strategy templates for parity games (Q6535644) (← links)
- A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties (Q6535676) (← links)
- Data-driven abstraction-based control synthesis (Q6551651) (← links)
