F. Smarra, A. Jain, T. de Rubeis, D. Ambrosini, A. D'Innocenzo, R. Mangharam. Data-Driven Model Predictive Control using Random Forests for Building Energy Optimization and Climate Control. Applied Energy (invited paper). 2018, in press.

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.