9. A. D'Innocenzo. Modeling and co-design of control tasks over wireless networking protocols. Invited chapter in ''Control subject to Computational and Communication Constraints: Current Challenges", Lecture Notes in Control and Information Science (LNCIS), S. Tarbouriech, A. Girard and L. Hetel Eds., Springer-Verlag Berlin, Heidelberg. 2018, to appear.
8. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Hybrid Systems and Verification by Abstraction. Hybrid Dynamical Systems: Observation and Control, Lecture Notes in Control and Information Sciences, 457/2015:1-26, ISBN 978-3-319-10795-0, M. Djemai and M. Defoort Eds., Springer-Verlag Berlin, Heidelberg 2015.
7. M. D. Di Benedetto, A. Bicchi, A. D'Innocenzo, K. H. Johansson, A. Robertsson, F. Santucci, U. Tiberi, A. Tzes. Networked control. Handbook of Hybrid Systems Control: Theory, Tools, Applications. Pages 106-112, ISBN:978-0-521-76505-3, J. Lunze and F. Lamnabhi Eds., Cambridge University Press, 2009.
6. 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, ISBN: 978-3-540-78928-4, Springer-Verlag Berlin, Heidelberg 2008.
5. A. Abate, A. D'Innocenzo, G. Pola, M.D. Di Benedetto, S. Sastry. The Concept of Deadlock and Livelock in Hybrid Control Systems. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 4416/2007:628-632, ISBN: 978-3-540-71492-7, Springer-Verlag Berlin, Heidelberg 2007.
4. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Diagnosability Verification for Hybrid Automata. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 4416/2007:684-687, ISBN ~ ISSN:0302-9743 , 978-3-540-71492-7, Springer-Verlag Berlin, Heidelberg 2007.
3. A. D'Innocenzo, M.D. Di Benedetto, S. Di Gennaro. Finite horizon observability of Hybrid Automata by Abstraction. Taming Heterogeneity and Complexity of Embedded Control, Pages 277-294, ISBN: 978-1-905209-65-1, International Scientific and Technical Encyclopedia (ISTE), 2007.
2. 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, ISBN:3-540-33170-0 978-3-540-33170-4, Springer-Verlag Berlin, Heidelberg 2006.
1. E. De Santis, M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo, G. Pola. Critical Observability of a Class of Hybrid Systems and Application to Air Traffic Management. Stochastic Hybrid Systems, Lecture Notes in Control and Information Sciences, 337:141-170, ISBN 978-3-540-33466-8, Springer-Verlag Berlin, Heidelberg 2006.
8. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Hybrid Systems and Verification by Abstraction. Hybrid Dynamical Systems: Observation and Control, Lecture Notes in Control and Information Sciences, 457/2015:1-26, ISBN 978-3-319-10795-0, M. Djemai and M. Defoort Eds., Springer-Verlag Berlin, Heidelberg 2015.
7. M. D. Di Benedetto, A. Bicchi, A. D'Innocenzo, K. H. Johansson, A. Robertsson, F. Santucci, U. Tiberi, A. Tzes. Networked control. Handbook of Hybrid Systems Control: Theory, Tools, Applications. Pages 106-112, ISBN:978-0-521-76505-3, J. Lunze and F. Lamnabhi Eds., Cambridge University Press, 2009.
6. 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, ISBN: 978-3-540-78928-4, Springer-Verlag Berlin, Heidelberg 2008.
5. A. Abate, A. D'Innocenzo, G. Pola, M.D. Di Benedetto, S. Sastry. The Concept of Deadlock and Livelock in Hybrid Control Systems. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 4416/2007:628-632, ISBN: 978-3-540-71492-7, Springer-Verlag Berlin, Heidelberg 2007.
4. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Diagnosability Verification for Hybrid Automata. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 4416/2007:684-687, ISBN ~ ISSN:0302-9743 , 978-3-540-71492-7, Springer-Verlag Berlin, Heidelberg 2007.
3. A. D'Innocenzo, M.D. Di Benedetto, S. Di Gennaro. Finite horizon observability of Hybrid Automata by Abstraction. Taming Heterogeneity and Complexity of Embedded Control, Pages 277-294, ISBN: 978-1-905209-65-1, International Scientific and Technical Encyclopedia (ISTE), 2007.
2. 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, ISBN:3-540-33170-0 978-3-540-33170-4, Springer-Verlag Berlin, Heidelberg 2006.
1. E. De Santis, M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo, G. Pola. Critical Observability of a Class of Hybrid Systems and Application to Air Traffic Management. Stochastic Hybrid Systems, Lecture Notes in Control and Information Sciences, 337:141-170, ISBN 978-3-540-33466-8, Springer-Verlag Berlin, Heidelberg 2006.