CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
From MaRDI portal
(Redirected from Publication:397407)
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
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)