SCOTS: a tool for the synthesis of symbolic controllers

DOI10.1145/2883817.2883834MaRDI QIDQ2988967zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

symbolic modelsdiscrete abstractionsC++/Matlab toolboxfeedback refinement relations

Mathematics Subject Classification ID

Synthesis problems (93B50) Nonlinear systems in control theory (93C10)

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

• SCOTS

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
• Lazy abstraction-based controller synthesis
• ABS: A formally correct software tool for space-efficient symbolic synthesis
• BOCoSy: Small but Powerful Symbolic Output-Feedback Control
• OmegaThreads
• OmegaThreads
• ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems

Describes a project that uses

Uses Software

• TuLiP
• SCOTS
• CoSyma
• PESSOA
• CUDD
• Matlab

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)