SCOTS: a tool for the synthesis of symbolic controllers
From MaRDI portal
Publication:2988967
DOI10.1145/2883817.2883834zbMATH Open1364.93267OpenAlexW2337661843WikidataQ131122400 ScholiaQ131122400MaRDI QIDQ2988967FDOQ2988967
Authors: Matthias Rungger, Majid Zamani 
Publication date: 19 May 2017
Published in: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2883817.2883834
Recommendations
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- Lazy abstraction-based controller synthesis
- Language-guided controller synthesis for discrete-time linear systems
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Symbolic approximate time-optimal control
Cites Work
Cited In (31)
- Data-driven abstraction-based control synthesis
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- 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
- Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach
- 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
- Abstraction-based control synthesis using partial information
- Optimal mixed discrete-continuous planning for linear hybrid systems
- Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
- SySCoRe: Synthesis via Stochastic Coupling Relations
- Lazy controller synthesis for monotone transition systems and directed safety specifications
- 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
- AROC
- 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
- A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties
- Synthesizing permissive winning strategy templates for parity games
- ABS: A formally correct software tool for space-efficient symbolic synthesis
- BOCoSy: Small but Powerful Symbolic Output-Feedback Control
- OmegaThreads
- OmegaThreads
- Lazy abstraction-based controller synthesis
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
Uses Software
This page was built for publication: SCOTS: a tool for the synthesis of symbolic controllers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988967)
