Alessandro D'Innocenzo
Alessandro D'Innocenzo
Assistant Professor in Automatic Control, University of L'Aquila
Verified email at univaq.it
TitleCited byYear
Compositional modeling and analysis of multi-hop control networks
R Alur, A d'Innocenzo, KH Johansson, GJ Pappas, G Weiss
IEEE Transactions on Automatic control 56 (10), 2345-2357, 2011
1052011
Approximate abstractions of stochastic hybrid systems
A Abate, A D'Innocenzo, MD Di Benedetto
IEEE Transactions on Automatic Control 56 (11), 2688-2694, 2011
622011
Wireless ventilation control for large‐scale systems: The mining industrial case
E Witrant, A d'Innocenzo, G Sandou, F Santucci, MD Di Benedetto, ...
International Journal of Robust and Nonlinear Control: IFAC‐Affiliated …, 2010
482010
Modeling and analysis of multi-hop control networks
R Alur, A D'Innocenzo, KH Johansson, GJ Pappas, G Weiss
2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2009
442009
Fault tolerant control of multi-hop control networks
A D'Innocenzo, MD Di Benedetto, E Serra
IEEE Transactions on Automatic Control 58 (6), 1377-1389, 2012
412012
Discrete state observability of hybrid systems
MD Di Benedetto, S Di Gennaro, A D'Innocenzo
International Journal of Robust and Nonlinear Control: IFAC‐Affiliated …, 2009
332009
Critical observability of a class of hybrid systems and application to air traffic management
E De Santis, MD Di Benedetto, S Di Gennaro, A D’Innocenzo, G Pola
Stochastic Hybrid Systems, 141-170, 2006
302006
Scalable scheduling algorithms for wireless networked control systems
A D'Innocenzo, G Weiss, R Alur, AJ Isaksson, KH Johansson, GJ Pappas
2009 IEEE International Conference on Automation Science and Engineering …, 2009
292009
Cyber-physical systems security: a systematic mapping study
YZ Lun, A D'Innocenzo, I Malavolta, MD Di Benedetto
arXiv preprint arXiv:1605.09641, 2016
272016
Data-driven model predictive control using random forests for building energy optimization and climate control
F Smarra, A Jain, T De Rubeis, D Ambrosini, A D’Innocenzo, ...
Applied energy 226, 1252-1272, 2018
262018
Hybrid systems: computation and control
J Hespanha, A Tiwari
Springer Berlin/Heidelberg., 2006
262006
Approximate equivalence and synchronization of metric transition systems
AA Julius, A D’Innocenzo, MD Di Benedetto, GJ Pappas
Systems & Control Letters 58 (2), 94-101, 2009
242009
Digital self-triggered robust control of nonlinear systems
MD Di Benedetto, S Di Gennaro, A D'Innocenzo
International Journal of Control 86 (9), 1664-1672, 2013
232013
Robust PCTL model checking
A D'Innocenzo, A Abate, JP Katoen
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
232012
Observability of hybrid automata by abstraction
A D’Innocenzo, MD Di Benedetto, S Di Gennaro
International Workshop on Hybrid Systems: Computation and Control, 169-183, 2006
222006
Error detection within a specific time horizon and application to air traffic management
MD Di Benedetto, S Di Gennaro, A D'Innocenzo
Proceedings of the 44th IEEE Conference on Decision and Control, 7472-7477, 2005
222005
Feedback stabilization of dynamical systems with switched delays
RM Jungers, A D'Innocenzo, MD Di Benedetto
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 1325-1330, 2012
212012
Understanding deadlock and livelock behaviors in hybrid control systems
A Abate, A D’Innocenzo, MD Di Benedetto, S Sastry
Nonlinear Analysis: Hybrid Systems 3 (2), 150-162, 2009
202009
Markov set-chains as abstractions of stochastic hybrid systems
A Abate, A D’Innocenzo, MD Di Benedetto, SS Sastry
International Workshop on Hybrid Systems: Computation and Control, 1-15, 2008
192008
Resilient stabilization of multi-hop control networks subject to malicious attacks
A D’Innocenzo, F Smarra, MD Di Benedetto
Automatica 71, 1-9, 2016
162016
The system can't perform the operation now. Try again later.
Articles 1–20