Giuseppe Della Penna :: Selected Publications

Papers are filtered by argument. See all the papers.

3 International Journals

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci, CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems, in: European Journal of Control, Elsevier 19:1 pp. 14-36 (2013) 10.1016/j.ejcon.2013.02.001 control
Giuseppe Della Penna, Daniele Magazzeni, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli , Ester Ciancamerla, Michele Minichino, Alberto Tofani, Automatic Verification of Hybrid System Controllers with the CMurphi Verifier, in: International Journal of Discrete Event Control Systems, Serials Publications 1:1 pp. 69-82 (2010) cmurphi control
Giuseppe Della Penna, Benedetto Intrigila, Nadia Lauri, Daniele Magazzeni, Fast and Compact Encoding of Numerical Controllers Using OBDDs (book chapter), in: Informatics in Control, Automation and Robotics, Springer-Verlag pp. 75-87 (2009) control

6 International Conferences

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Evaluating Fuzzy Controller Robustness using Model Checking, in: LNAI, Springer-Verlag 5571 pp. 303-311 (2009) control model checking
Giuseppe Della Penna, Benedetto Intrigila, Nadia Lauri, Daniele Magazzeni, OBDD Compression of Numerical Controllers, in: ICINCO 2008, Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics, Intelligent Control Systems and Optimization, INSTICC Press pp. 43-50 (2008) control
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Alberto Tofani, Enrico Tronci, Automatic Generation Of Optimal Controllers Through Model Checking Techniques, in: Lecture Notes in Electrical Engineering (Informatics in Control Automation and Robotics), Springer-Verlag 15 pp. 107-122 (2008) 10.1007/978-3-540-79142-3_10 control model checking
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques, in: Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics, Springer-Verlag pp. 54-59 (2007) control model checking
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Daniele Magazzeni, Alberto Tofani, Enrico Tronci, Automatic Synthesis of Robust Numerical Controllers, in: Proceedings of Third International Conference on Autonomic and Autonomous Systems, IEEE Computer Society pp. 4-15 (2007) 10.1109/CONIELECOMP.2007.59 control model checking
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli, Automatic Verification of a Turbogas Control System with the Murphi Verifier, in: LNCS, Springer-Verlag 2623 pp. 141-155 (2003) control model checking

1 National Conferences

Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni, A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers, in: LNAI, Springer-Verlag 4733 pp. 230-241 (2007) 10.1007/978-3-540-74782-6_21 control model checking

0 Technical Reports

0 Ph.D. Thesis

For a plaintext version of this list, click here. For a BibTeX version of this list, click here. Note that only papers with complete publication data are included in the BibTeX bibliography.