A. D'Innocenzo, F. Smarra, M.D. Di Benedetto. Resilient Stabilization of Multi-Hop Control Networks subject to malicious attacks. Automatica, 71:1-9, September 2016.

R. M. Jungers, A. D'Innocenzo, M. D. Di Benedetto. Controllability of Linear Systems With Switching Delays. IEEE Transactions on Automatic Control, 61(4):1117-1122, 2016.

Yi Deng, A. D'Innocenzo, M. D. Di Benedetto, S. Di Gennaro, A. A. Julius. Verification of Hybrid Automata Diagnosability with Measurement Uncertainty. IEEE Transactions on Automatic Control, 61(4):982-993, 2016.

Yi Deng, A. A. Julius, A. D'Innocenzo. Probabilistic Diagnosability of Hybrid Systems. 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015), Seattle, Washington, USA, April 14-16, 2015.

R.M. Jungers, A. D'Innocenzo, M.D. Di Benedetto. Feedback stabilization of dynamical systems with switched delays. 51st IEEE Conference on Decision and Control, Maui, Hawaii, December 10-13 2012.

F. Smarra, A. D'Innocenzo, M.D. Di Benedetto. Optimal co-design of control, scheduling and routing in multi-hop control networks. 51st IEEE Conference on Decision and Control, Maui, Hawaii, December 10-13 2012.

A. D'Innocenzo, M.D. Di Benedetto, E. Serra. Fault Tolerant Control of Multi-Hop Control Networks. IEEE Transactions on Automatic Control, full paper, 58(6):1377-1389, 2013.

A. D'Innocenzo, A. Abate and J.-P. Katoen. Robust PCTL Model Checking. Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, Pages 275-286, ISBN: 978-1-4503-1220-2, ACM New York, NY, USA 2012.

R. Alur, A. D'Innocenzo, K.H. Johansson, G.J. Pappas, G. Weiss. Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Transactions on Automatic Control, Special Issue on Wireless Sensor and Actuator Networks, full paper, 56(10):2345-2357, 2011.

A. Abate, A. D'Innocenzo, M.D. Di Benedetto. Approximate Abstractions of Stochastic Hybrid Systems. IEEE Transactions on Automatic Control, technical note, 56(11):2688-2694, 2011.

M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Verification of Hybrid Automata Diagnosability by Abstraction. IEEE Transactions on Automatic Control, full paper, 56(9):2050-2061, 2011.

A. Abate, A. D'Innocenzo, M.D. Di Benedetto, S. Sastry. Markov Set-Chains as abstractions of Stochastic Hybrid Systems. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 4981/2008:1-15, Springer-Verlag Berlin, Heidelberg 2008.

A. D'Innocenzo, M.D. Di Benedetto, S. Di Gennaro. Observability of hybrid automata by abstraction. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 3927/2006:169-183, Springer-Verlag Berlin, Heidelberg 2006.