Alessandro D'Innocenzo

News

July 17-19, 2013: 12th European Control Conference (ECC13). Zurich, Switzerland. Program Committee member. [More]
April 26, 2012: Filauro Foundation Fellows meet the students of University of L'Aquila. L'Aquila, Italy. Organizing Committee. [More]
April 20, 2012: Elected member of the Academic Senate of the University of L'Aquila.
September 9-12, 2012: International Conference on Wireless Sensor Networks (WSN'2012). Wroclaw, Poland. Program Committee member. [More]
June 6-8, 2012: M. D. Di Benedetto, A. D'Innocenzo. Invited Session on Networked control systems. 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands. [More]
February 9, 2012: Minicourse on "Modeling, analysis and design of multi-hop control networks", given at the Department of Mechanical Engineering, Eindhoven University of Technology (TU/e), Eindhoven, Netherlands.
December 6, 2011: Invited seminar on "Modeling, analysis and design of multi-hop control networks", given at the Centre for Systems Engineering and Applied Mechanics, Universite' Catholique de Louvain (UCL), Louvain-la-Neuve, Belgium. [More]
April 12, 2010: Invited talk on "Probabilistic Model checking of Stochastic Hybrid Systems by Abstraction, and application to air traffic management", given at the Workshop on Modeling and Verification of Uncertain Hybrid Systems, affiliated event of Cyber-physical Systems Week CPS2010, Stockholm, Sweden. [More]
November 3, 2009: Invited talk on "Observability and Diagnosability of Hybrid Automata, and their application in Air Traffic Management", given at the Workshop on Formal Methods in Aerospace, affiliated event of Formal Methods Week FM2009, Eindhoven, Netherlands. [More]

Welcome

Alessandro D'Innocenzo is Assistant Professor in the Department of Electrical and Information Engineering at the University of L'Aquila. He was recipient of Fondazione Filauro award for PhD students in 2005. He obtained the PhD degree and accomplished the International Curriculum Option of Doctoral Studies in Hybrid Control for Complex, Distributed and Heterogeneous Embedded Systems in 2007. He has been Postdoctoral Researcher in the Department of Electrical and Information Engineering of University of L'Aquila from 2007 to 2009, and in the Department of Electrical and Systems Engineering of University of Pennsylvania in 2008. His research focuses on control theory and in particular, hybrid systems, formal verification and networked control, with applications to air traffic management and communication systems. [More]

Travels

June 6-8, 2012: 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands.
March 22, 2012: HYCON2 - WP6 "Tool Integration" 2nd year Meeting, IMT Institute for Advanced Studies, Lucca, Italy.
February 8-10, 2012: Eindhoven University of Technology (TU/e), Netherlands.
February 6-7, 2012: University of Glasgow, Scotland.

Recent publications

A. D'Innocenzo, C. Rinaldi, M.D. Di Benedetto and F. Santucci. Hybrid power control on a wireless networked control system. 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands. June 6-8, 2012. Invited Session on Networked control systems.

A. D'Innocenzo, A. Abate and J.-P. Katoen. Robust PCTL Model Checking. Hybrid Systems: Computation and Control, Beijing, April 17-19, 2012.

C. Rinaldi, A. D'Innocenzo, M.D. Di Benedetto and F. Santucci. A framework for modeling wireless embedded control systems. 5th International Symposium on Communications, Control and Signal Processing, Rome, Italy, May 2-4, 2012.

M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Digital Self Triggered Robust Control of Nonlinear Systems. In Proceedings of the 50th IEEE CDC-ECC, Orlando, Florida, USA, pages 1674-1679, December 2011.

A. D'Innocenzo, M.D. Di Benedetto, and E. Serra. Link Failure Detection in Multi-hop Control Networks. In Proceedings of the 50th IEEE CDC-ECC, Orlando, Florida, USA, pages 5248-5253, December 2011.

[All Publications]