CoSyma
From MaRDI portal
Software:31946
No author found.
Related Items (12)
SCOTS ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Abstraction-based control synthesis using partial information ⋮ Symbolic control design for monotone systems with directed specifications ⋮ pFaces ⋮ Symbolic models for stochastic switched systems: A discretization and a discretization-free approach ⋮ Guaranteed control of switched control systems using model order reduction and state-space bisection ⋮ 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 ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics
This page was built for software: CoSyma
