CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
From MaRDI portal
Publication:397407
DOI10.1016/j.ejcon.2013.02.001zbMath1293.93313OpenAlexW2026786457MaRDI QIDQ397407
Daniele Magazzeni, Igor Melatti, Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna
Publication date: 12 August 2014
Published in: European Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ejcon.2013.02.001
Nonlinear systems in control theory (93C10) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A discrete method of optimal control based upon the cell state space concept
- Cell-to-cell mapping. A method of global analysis for nonlinear systems
- Remarks on piecewise-linear algebra
- Dynamic programming for constrained optimal control of discrete-time linear hybrid systems
- Automated Generation of Optimal Controllers through Model Checking Techniques
- Verification and Control of Hybrid Systems
- Graph-Based Algorithms for Boolean Function Manipulation
- An Unravelling Algorithm for Global Analysis of Dynamical Systems: An Application of Cell-to-Cell Mappings
- Nonlinear regulation: The piecewise linear approach
- Numerical nonlinear regulator design
- Handbook of Hybrid Systems Control
- On Synthesizing Controllers from Bounded-Response Properties
- A set oriented approach to global optimal control
- Verification, Model Checking, and Abstract Interpretation
- Evaluating controller robustness using cell mapping
This page was built for publication: CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems