CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems

DOI10.1016/J.EJCON.2013.02.001MaRDI QIDQ397407zbMATH OpenOpenAlexFDO

Authors Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci

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

zbMATH Keywords

automatic controller synthesismodel checking based toolnonlinear hybrid systems

Mathematics Subject Classification ID

Synthesis problems (93B50) Nonlinear systems in control theory (93C10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
• Automated generation of optimal controllers through model checking techniques
• A ``hybrid approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example
• Controllers for reachability specifications for hybrid systems
• A Synthesis Algorithm for Hybrid Systems

Cites work

• scientific article; zbMATH DE number 53382 (Why is no real title available?)
• scientific article; zbMATH DE number 1303074 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1487476 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 3109695 (Why is no real title available?)
• A discrete method of optimal control based upon the cell state space concept
• A set oriented approach to global optimal control
• An Unravelling Algorithm for Global Analysis of Dynamical Systems: An Application of Cell-to-Cell Mappings
• Automated generation of optimal controllers through model checking techniques
• Cell-to-cell mapping. A method of global analysis for nonlinear systems
• Dynamic programming and optimal control. Vol. 1.
• Dynamic programming for constrained optimal control of discrete-time linear hybrid systems
• Evaluating controller robustness using cell mapping
• Graph-Based Algorithms for Boolean Function Manipulation
• Handbook of Hybrid Systems Control
• Incremental verification for on-the-fly controller synthesis
• Nonlinear dynamical systems and control. A Lyapunov-based approach
• Nonlinear regulation: The piecewise linear approach
• Numerical nonlinear regulator design
• On Synthesizing Controllers from Bounded-Response Properties
• Remarks on piecewise-linear algebra
• Verification and Control of Hybrid Systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(4)

• Hybrid systems tools for compiling controllers for cyber-physical systems
• Design bounded robust controller using HJB solution for the nonlinear hybrid dynamical systems
• Automated generation of optimal controllers through model checking techniques
• Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study

Describes a project that uses

Uses Software

• CGMurphi
• UPPAAL TIGA

This page was built for publication: CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q397407)