CoSyma
From MaRDI portal
Software:31946
swMATH20124MaRDI QIDQ31946FDOQ31946
Author name not available (Why is that?)
Cited In (12)
- Lazy Abstraction-Based Controller Synthesis
- Guaranteed control of switched control systems using model order reduction and state-space bisection
- On distributed symbolic control of interconnected systems under persistency specifications
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- ROCS
- pFaces
- Abstraction-based control synthesis using partial information
- Symbolic control design for monotone systems with directed specifications
- Finite horizon discrete models for multi-agent control systems with coupled dynamics
- SCOTS
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models
This page was built for software: CoSyma
