SCOTS
From MaRDI portal
Software:31993
swMATH20172MaRDI QIDQ31993FDOQ31993
Author name not available (Why is that?)
Cited In (22)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Numerical over-approximation of invariance entropy via finite abstractions
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications
- Lazy Abstraction-Based Controller Synthesis
- On distributed symbolic control of interconnected systems under persistency specifications
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- ROCS
- pFaces
- TIRA
- Abstraction-based control synthesis using partial information
- Symbolic control design for monotone systems with directed specifications
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- Symbolic models for infinite networks of control systems: a compositional approach
- Towards scalable synthesis of stochastic control systems
- Synthesizing optimally resilient controllers
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- SCOTS
- Robust Abstractions for Control Synthesis
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models
This page was built for software: SCOTS
