TY  - CONF
AU  - Della Penna, Giuseppe
AU  - Magazzeni, Daniele
AU  - Tofani, Alberto
AU  - Intrigila, Benedetto
AU  - Melatti, Igor
AU  - Tronci, Enrico
ED  - Andrade-Cetto, J.
ED  - Ferrier, J.-L.
ED  - Pereira, J. M. C. D.
ED  - Filipe, J.
PY  - 2006
DA  - 2006//
TI  - Automated Generation of Optimal Controllers through Model Checking Techniques
BT  - Icinco-Icso
SP  - 26
EP  - 33
PB  - INSTICC Press
AB  - We present a methodology for the synthesis of controllers, which exploits (explicit) model checking techniques. That is, we can cope with the systematic exploration of a very large state space. This methodology can be applied to systems where other approaches fail. In particular, we can consider systems with an highly non-linear dynamics and lacking a uniform mathematical description (model). We can also consider situations where the required control action cannot be specified as a local action, and rather a kind of planning is required. Our methodology individuates first a raw optimal controller, then extends it to obtain a more robust one. A case study is presented which considers the well known truck-trailer obstacle avoidance parking problem, in a parking lot with obstacles on it. The complex non-linear dynamics of the truck-trailer system, within the presence of obstacles, makes the parking problem extremely hard. We show how, by our methodology, we can obtain optimal controllers with different degrees of robustness.
SN  - 972-8865-59-7
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2006.pdf
UR  - http://dblp.uni-trier.de/db/conf/icinco/icinco2006-icso.html#PennaMTIMT06
UR  - https://doi.org/10.1007/978-3-540-79142-3
DO  - 10.1007/978-3-540-79142-3
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=79), last updated on Sat, 24 Nov 2012 14:03:00 +0100
ID  - DellaPenna_etal2006
ER  -