SCOTS
From MaRDI portal
Software:31993
No author found.
Related Items (22)
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 ⋮ An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ SCOTS ⋮ Abstraction-based control synthesis using partial information ⋮ Symbolic control design for monotone systems with directed specifications ⋮ TIRA ⋮ pFaces ⋮ Towards scalable synthesis of stochastic control systems ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Fast and guaranteed safe controller synthesis for nonlinear vehicle models ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ ROCS ⋮ Compositional construction of infinite abstractions for networks of stochastic control systems ⋮ Compositional synthesis of finite abstractions for networks of systems: a small-gain approach ⋮ Synthesizing optimally resilient controllers ⋮ Symbolic models for infinite networks of control systems: a compositional approach ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Numerical over-approximation of invariance entropy via finite abstractions ⋮ Robust Abstractions for Control Synthesis
This page was built for software: SCOTS
