A Synthesis Algorithm for Hybrid Systems
From MaRDI portal
Recommendations
- The algorithmic analysis of hybrid systems
- scientific article; zbMATH DE number 744075
- An algebraic approach to hybrid systems
- Relational Methods in Computer Science
- An algebra of hybrid systems
- Algebraic calculi for hybrid systems
- Algorithmic analysis of nonlinear hybrid systems
- scientific article; zbMATH DE number 1507211
- Towards efficient exact synthesis for linear hybrid systems
- Adaptive algorithm of parametric synthesis of hybrid dynamical systems
Cited in
(11)- On the controller synthesis for linear hybrid systems
- Hierarchical synthesis system with hybrid DLO‐MOGA optimization
- scientific article; zbMATH DE number 5130602 (Why is no real title available?)
- Beyond hybrid systems
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
- A ``hybrid approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example
- scientific article; zbMATH DE number 744075 (Why is no real title available?)
- scientific article; zbMATH DE number 1827823 (Why is no real title available?)
- Controller synthesis for hybrid systems with a lower bound on event separation
- Sound and automated synthesis of digital stabilizing controllers for continuous plants
- Adaptive algorithm of parametric synthesis of hybrid dynamical systems
This page was built for publication: A Synthesis Algorithm for Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434512)
