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 | 123 | 2011 |
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 | 104 | 2018 |
State of the art of cyber-physical systems security: An automatic control perspective YZ Lun, A D’Innocenzo, F Smarra, I Malavolta, MD Di Benedetto Journal of Systems and Software 149, 174-216, 2019 | 68 | 2019 |
Approximate abstractions of stochastic hybrid systems A Abate, A D'Innocenzo, MD Di Benedetto IEEE Transactions on Automatic Control 56 (11), 2688-2694, 2011 | 68 | 2011 |
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 | 52 | 2009 |
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 | 48 | 2010 |
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 | 46 | 2012 |
Cyber-physical systems security: a systematic mapping study YZ Lun, A D'Innocenzo, I Malavolta, MD Di Benedetto arXiv preprint arXiv:1605.09641, 2016 | 41 | 2016 |
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 | 36 | 2009 |
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 | 34 | 2006 |
Digital self triggered robust control of nonlinear systems MD Di Benedetto, S Di Gennaro, A D'Innocenzo 2011 50th IEEE Conference on Decision and Control and European Control …, 2011 | 32 | 2011 |
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 | 31 | 2009 |
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 | 30 | 2009 |
Robust PCTL model checking A D'Innocenzo, A Abate, JP Katoen Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 28 | 2012 |
Resilient stabilization of multi-hop control networks subject to malicious attacks A D’Innocenzo, F Smarra, MD Di Benedetto Automatica 71, 1-9, 2016 | 27 | 2016 |
Hybrid systems: computation and control J Hespanha, A Tiwari Springer Berlin/Heidelberg., 2006 | 27 | 2006 |
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 | 23 | 2006 |
Optimal co-design of control, scheduling and routing in multi-hop control networks F Smarra, A D'Innocenzo, MD Di Benedetto 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 1960-1965, 2012 | 22 | 2012 |
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 | 22 | 2012 |
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 | 22 | 2009 |