Automated Generation of Optimal Controllers through Model Checking Techniques
From MaRDI portal
Publication:3564226
DOI10.1007/978-3-540-79142-3_10zbMath1188.93031MaRDI 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
93B35: Sensitivity (robustness)
93C10: Nonlinear systems in control theory
93B50: Synthesis problems
Related Items
Cites Work