Giuseppe Della Penna :: Bibliografia ▷ Controllo

Filtrato per parole chiave: control reset

2013

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti and Enrico Tronci:
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. Eur. J. Control 19(1) : 14-36 (2013) https://doi.org/10.1016/j.ejcon.2013.02.001 control

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Ester Ciancamerla, Michele Minichino and Alberto Tofani:
Automatic Verification of Hybrid System Controllers with the CMurphi Verifier International Journal of Discrete Event Control Systems 1(1) : 69-82 (2010) control cmurphi

Giuseppe Della Penna, Benedetto Intrigila and Daniele Magazzeni:
Evaluating Fuzzy Controller Robustness Using Model Checking. WILF 2009: 303-311 https://doi.org/10.1007/978-3-642-02282-1_38 control model checking

Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni and Benedetto Intrigila:
OBDD Compression of Numerical Controllers. ICINCO-ICSO 2008: 43-50 control

Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila and Daniele Magazzeni:
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. AI*IA 2007: 230-241 https://doi.org/10.1007/978-3-540-74782-6_21 control model checking
Giuseppe Della Penna, Benedetto Intrigila and Daniele Magazzeni:
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics 2007: 54-59 https://doi.org/10.1007/978-1-4020-8737-0_11 control model checking
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti and Enrico Tronci:
Automatic Synthesis of Robust Numerical Controllers Third International Conference on Autonomic and Autonomous Systems (ICAS'07) 2007: 4-15 https://doi.org/10.1109/CONIELECOMP.2007.59 control model checking

Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti and Enrico Tronci:
Automatic generation of optimal controllers through model checking techniques. ICINCO-ICSO 2006: 26-33 control model checking

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci and Marisa Venturini Zilli:
Automatic Verification of a Turbogas Control System with the Murphi Verifier. HSCC 2003: 141-155 https://doi.org/10.1007/3-540-36580-X_13 model checking cmurphi control