CoSyma
From MaRDI portal
Cited in
(29)- pypoman
- FACTEST
- ParNMPC
- Symbolic control design for monotone systems with directed specifications
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- On distributed symbolic control of interconnected systems under persistency specifications
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models
- Finite horizon discrete models for multi-agent control systems with coupled dynamics
- Abstraction-based control synthesis using partial information
- SCOTS: a tool for the synthesis of symbolic controllers
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- PESSOA
- SCOTS
- TuLiP
- Lazy abstraction-based controller synthesis
- Solace
- LTLMoP
- ROCS
- DryVR
- pFaces
- BDD2Implement
- SENSE
- OMPL
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- Control Toolbox
- pFaces
- Guaranteed control of switched control systems using model order reduction and state-space bisection
- PythonRobotics
- FaSTrack
This page was built for software: CoSyma
