Automated Generation of Optimal Controllers through Model Checking Techniques

DOI10.1007/978-3-540-79142-3_10zbMath1188.93031OpenAlexW2113355641MaRDI QIDQ3564226

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

Publication date: 2 June 2010

Published in: Informatics in Control Automation and Robotics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79142-3_10

zbMATH Keywords

nonlinear systemsmodel checkingcontroller synthesiscontroller optimization

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Nonlinear systems in control theory (93C10) Synthesis problems (93B50)

Related Items (1)

CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Controllers for reachability specifications for hybrid systems
• Advanced fuzzy systems design and applications
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated Generation of Optimal Controllers through Model Checking Techniques