59. Francesco Smarra, Alessandro D'Innocenzo. Learning Markov Jump Affine Systems via Regression Trees for MPC. 21st IFAC World Congress Berlin, Germany, 12-17 July 2020.
58. Vittorio De Iuliis, Alessandro D'Innocenzo, Alfredo Germani, Costanzo Manes. On the stability of discrete-time linear switched systems in block companion form. 21st IFAC World Congress Berlin, Germany, 12-17 July 2020.
57. Daniele Masti, Francesco Smarra, Alessandro D'Innocenzo, Alberto Bemporad. Learning affine predictors for MPC of nonlinear systems via artificial neural networks. 21st IFAC World Congress Berlin, Germany, 12-17 July 2020.
56. Yuriy Zacchia Lun, Claudia Rinaldi, Amal Alrish, Alessandro D'Innocenzo, Fortunato Santucci. On the impact of accurate radio link modeling on the performance of WirelessHART control networks. IEEE INFOCOM 2020, accepted for publication.
55. Alrish, A.; Lun, Y. Z.; D'Innocenzo, A.; Santucci, F. (2019). Work in Progress: Systematic Derivation of Accurate Analytic Markov Channel Models for Industrial Control. DOI:10.1109/WFCS.2019.8757917. pp.1-4. In IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS - ISBN:978-1-7281-1268-8 vol. 2019 [Best Work in Progress paper]
54. Rubeis, Tullio; Gentile, Niko; Smarra, Francesco; D'Innocenzo, Alessandro; Ambrosini, Dario; Paoletti, Domenica. A Proposal For A Novel Method Based On Lighting Simulation And Data-Driven Model Predictive Control For Daylight Harvesting Optimization. Building Simulation 2019.
53. Vittorio De Iuliis, Alessandro D'Innocenzo, Alfredo Germani, Costanzo Manes. On the Stability of Coupled Differential-Difference Systems with Multiple Time-Varying Delays: A Positivity-Based Approach. 2019 IEEE 58th Conference on Decision and Control (CDC).
52. Yuriy Zacchia Lun, Alessandro D'Innocenzo. Stabilizability of Markov jump linear systems modeling wireless networked control scenarios. 2019 IEEE 58th Conference on Decision and Control (CDC).
51. Smarra, Francesco, Jain, Achin, Mangharam, Rahul, D'Innocenzo, Alessandro (2018). Data-driven Switched Affine Modeling for Model Predictive Control. In: (a cura di): Alessandro Abate Antoine Girard Maurice Heemels, Proc. 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018. IFAC-PAPERSONLINE, vol. 51, p. 199-204, Elsevier B.V., ISSN: 2405-8963, doi: 10.1016/j.ifacol.2018.08.034
50. ZACCHIA LUN, YURIY, D'Innocenzo, Alessandro, Benedetto, Maria Domenica Di (2017). Robust LQR for time-inhomogeneous Markov jump switched linear systems. In: (a cura di): IEEE, Proc. 20th IFAC World Congress. vol. 50, p. 2199-2204, Elsevier B.V., doi: 10.1016/j.ifacol.2017.08.281
49. ZACCHIA LUN, YURIY, D'Innocenzo, Alessandro, Benedetto, Maria Domenica Di (2017). Robust LQR for time-inhomogeneous Markov jump switched linear systems. In: (a cura di): IEEE, Proc. 20th IFAC World Congress. vol. 50, p. 2199-2204, Elsevier B.V., doi: 10.1016/j.ifacol.2017.08.281
48. Y. Zacchia Lun, A. D'Innocenzo, A. Abate, M.D. Di Benedetto. Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems. 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 12-15, 2017.
47. G.D. Di Girolamo, A. D'Innocenzo, M.D. Di Benedetto. Data-rate and network coding co-design with stability and capacity constraints. 20th IFAC World Congress, Toulouse, France, July 9-14, 2017.
46. F. Smarra, A. D'Innocenzo, M.D. Di Benedetto. A sub-optimal method for routing redundancy design over lossy networks. 20th IFAC World Congress, Toulouse, France, July 9-14, 2017.
45. Y. Zacchia Lun, A. D'Innocenzo, M.D. Di Benedetto. Robust LQR for time-inhomogeneous Markov jump switched linear systems. 20th IFAC World Congress, Toulouse, France, July 9-14, 2017.
44. Y. Zacchia Lun, A. D'Innocenzo, M.D. Di Benedetto. Robust stability of time-inhomogeneous Markov Jump Linear Systems. 20th IFAC World Congress, Toulouse, France, July 9-14, 2017.
43. Y. Zacchia Lun, A. D'Innocenzo, M.D. Di Benedetto. On stability of time-inhomogeneous Markov jump linear systems. 55th IEEE Conference on Decision and Control, Las Vegas, US, December 12-14, 2016.
42. A. Cicone, A. D'Innocenzo, N. Guglielmi, L. Laglia. A sub-optimal solution for optimal control of linear systems with unmeasurable switching delays. 54th IEEE Conference on Decision and Control, Osaka, Japan, December 15-18, 2015.
41. Yi Deng, A. Dinnocenzo, A.A. Julius. Trajectory-Based Observer for Hybrid Automata Fault Diagnosis. 54th IEEE Conference on Decision and Control, Osaka, Japan, December 15-18, 2015.
40. G. D. Di Girolamo, A. D'Innocenzo, M. D. Di Benedetto. Co-design of controller, routing and network coding over a wireless network. 5th IFAC Workshop on Estimation and Control of Networked Systems (NecSys 2015), Philadelphia PA, September 10-11, 2015.
39. F. Smarra, A. D'Innocenzo, M. D. Di Benedetto. Approximation methods for optimal network coding in a multi-hop control network with packet losses. 14th European Control Conference (ECC 2015), Linz, Austria, July 15-17, 2015.
38. A. D'Innocenzo, F. Smarra, M. D. Di Benedetto. Further results on fault detection and isolation of malicious nodes in Multi-hop Control Networks. 14th European Control Conference (ECC 2015), Linz, Austria, July 15-17, 2015. Best application paper award.
37. 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.
36. C. Antonelli, A. D’Innocenzo, V. Gattulli, F. Graziosi, M. Tivoli, F. Franchi. INCIPICT: Innovating City Planning through Information and Communication Technologies. CINI Annual workshop on ICT for smart cities & communities, Palermo, Italy, October 29-30, 2015.
35. R. M. Jungers, A. D'Innocenzo, M. D. Di Benedetto. How to control linear systems with switching delays. 13th European Control Conference (ECC 2014), Strasbourg, France, June 24-27, 2014.
34. R. M. Jungers, A. D'Innocenzo, M. D. Di Benedetto. Further results on controllability of linear systems with switching delays. 9th IFAC World Congress, Cape Town, South Africa, August 24-29, 2014.
33. M. D. Di Benedetto, A. Di Loreto, A. D'Innocenzo, T. Ionta. Modeling of traffic congestion and re-routing in a service provider network. IEEE ICC 2014, Workshop on QoE-centric Network and Application Management, Sydney, Australia, June 10-14, 2014.
32. A. A. Julius and A. D'Innocenzo. Combining Analytical Technique and Randomized Algorithm in Safety Verification of Stochastic Hybrid Systems. American Control Conference (ACC14), Portland, OR, June 4-6, 2014.
31. M.D. Di Benedetto, A. D'Innocenzo, F. Smarra. Fault-tolerant control of a wireless HVAC control system. Special Session on Wireless Sensor and Actuator Networks Applications, International Symposium on Communications, Control and Signal Processing (ISCCSP2014), Athens, Greece, May 21-23, 2014.
30. A. D'Innocenzo, M.D. Di Benedetto, F. Smarra. Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks. 52nd IEEE Conference on Decision and Control, Firenze, Italy, December 10-13, 2013.
29. 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.
28. 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.
27. F. Smarra, A. D'Innocenzo, M.D. Di Benedetto. Fault Tolerant Stabilizability of MIMO Multi-Hop Control Networks. 3rd IFAC Workshop on Estimation and Control of Networked Systems (NecSys'12), Santa Barbara, CA, September 14-15, 2012.
M. D. Di Benedetto, A. D'Innocenzo. Invited Session on Networked control systems. 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands. June 6-8, 2012.
26. A. D'Innocenzo, C. Rinaldi, M.D. Di Benedetto and F. Santucci. Hybrid power control on a wireless networked control system. 4th IFAC Conference on Analysis and Design of Hybrid Systems, ISBN: 978-3-902823-00-7, Eindhoven, The Netherlands. June 6-8, 2012. Invited Session on Networked control systems
25. C. Rinaldi, A. D'Innocenzo, M.D. Di Benedetto and F. Santucci. A framework for modeling wireless embedded control systems. In Proceedings of the 5th International Symposium on Communications, Control and Signal Processing, pages 1-4, ISBN: 978-1-4673-0274-6, Rome, Italy. May 2-4, 2012.
24. 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.
23. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Digital Self Triggered Robust Control of Nonlinear Systems. In Proceedings of the 50th IEEE Conference on Decision and Control and nd European Control Conference, pages 1674-1679, ISBN: 978-1-61284-800-6, Orlando, Florida, USA, December 12-15, 2011.
22. A. D'Innocenzo, M.D. Di Benedetto, and E. Serra. Link Failure Detection in Multi-hop Control Networks. In Proceedings of the 50th IEEE Conference on Decision and Control and nd European Control Conference, pages 5248-5253, ISBN: 978-1-61284-800-6, Orlando, Florida, USA, December 12-15, 2011.
21. M.D. Di Benedetto, A. D'Innocenzo, and E. Serra. Fault Tolerant Stabilizability of Multi-Hop Control Networks. In Proceedings of the 18th IFAC World Congress, Milan, Italy, pages 5651-5656, September 2011.
20. M.D. Di Benedetto, A. D'Innocenzo, and E. Serra. Dynamical Power Optimization by Decentralized Routing Control in Multi-Hop Wireless Control Networks. In Proceedings of the 18th IFAC World Congress, pages 8957-8962, ISBN: 978-3-902661-93-7, Milan, Italy, August 28-September 2, 2011.
19. C. Rinaldi, A. D'Innocenzo, A. Abate, M. Di Benedetto and F. Santucci. A Framework for Modeling and Computation in Wireless Embedded Control Systems. in Proceedings of AICA, Aug 2011.
18. M.D. Di Benedetto, G. Di Matteo and A. D'Innocenzo. Stochastic validation of ATM procedures by abstraction algorithms. 4th International Conference on Research in Air Transportation, Budapest, Hungary, June 1-4, 2010.
17. G. Weiss, A. D'Innocenzo, R. Alur, K.H. Johansson, G.J. Pappas. Robust Stability of Multi-Hop Control Networks. In Proceedings of the 48th IEEE Conference on Decision and Control and the 28th Chinese Control Conference, pages 2210-2215, ISBN: 978-1-4244-3871-6, Shangai, China, December 15-18, 2010.
16. A. D'Innocenzo, G. Weiss, R. Alur, A.J. Isaksson, K.H. Johansson, George J. Pappas. Scalable scheduling algorithms for wireless networked control systems. In Proceedings of the 5th IEEE International Conference on Automation Science and Engineering, pages 409-414, ISBN: 978-1-4244-4578-3, Bangalore, India, August 22-25, 2009.
15. R. Alur, A. D'Innocenzo, K.H. Johansson, G.J. Pappas, G. Weiss. Modeling and Analysis of Multi-Hop Control Networks. In Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pages 223-232, ISBN: 978-0-7695-3636-1, San Francisco, CA, United States, April 13-16, 2009.
14. M.D. Di Benedetto, A. D’Innocenzo, A.J. Isakson, K.H. Johansson, S.-I. Niculescu, S. Olaru, G. Sandou, F. Santucci, E. Serra, S. Tennina, U. Tiberi, E. Witrant. Wireless Ventilation Control for Large-Scale Systems: the Mining Industrial Case. 6th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops (SECON Workshops '09), Rome, Italy, June 22-26, 2009.
13. M.D. Di Benedetto, A. D'Innocenzo, A. Petriccone. Automatic Verification of Temporal Properties of Air Traffic Management Procedures Using Hybrid Systems. 7th EUROCONTROL Innovative Research Workshop & Exhibition. EUROCONTROL Experimental Centre, Paris, France, December 2-4, 2008.
A. Abate, A. D'Innocenzo. Invited Session on Abstraction techniques for dynamical systems. Proceedings of the 47th IEEE Conference on Decision and Control, Cancun, Mexico, December 9-11, 2008.
12. A. D'Innocenzo, A. Abate, M.D. Di Benedetto. Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems. Proceedings of the 47th IEEE Conference on Decision and Control, Invited Session on Abstraction techniques for dynamical systems, pages 221-226, ISBN: 978-1-4244-3123-6, Cancun, Mexico, December 9-11, 2008.
11. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Diagnosability of hybrid automata with measurement uncertainty. Proceedings of the 47th IEEE Conference on Decision and Control, pages 1042-1047, ISBN: 978-1-4244-3123-6, Cancun, Mexico, December 9-11, 2008.
10. M.D. Di Benedetto, A. D'Innocenzo, E. Serra, E. Witrant. Automatic Verification of Wireless Control in a Mining Ventilation System. In Proceedings of the 4th IEEE Conference on Automation Science and Engineering, Special Session on Ventilation Control in Large-Scale Systems, pages 858-863, ISBN: 978-1-4244-2022-3, Washington DC, USA, August 23-26, 2008.
9. A. D'Innocenzo, M.D. Di Benedetto, S. Di Gennario. Fault diagnosis in a wireless network. In Proceedings of the 17th IFAC World Congress, pages 7271-7275, ISBN: 978-3-902661-00-5, Seoul, Korea, July 6-8, 2008.
8. A. D'Innocenzo, A.A. Julius, G.J. Pappas, M. D. Di Benedetto, S. Di Gennaro. Verification of temporal properties on hybrid automata by simulation relations. In Proceedings of the 46th IEEE Conference on Decision and Control, pages 4039-4044, ISBN: 978-1-4244-1497-0, New Orleans, LA, USA, December 12-14, 2007.
7. A. D'Innocenzo, A.A. Julius, M. D. Di Benedetto, G.J. Pappas. Approximate timed abstractions of hybrid automata. In Proceedings of the 46th IEEE Conference on Decision and Control, pages 4045-4050, ISBN: 978-1-4244-1497-0, New Orleans, LA, USA, December 12-14, 2007.
6. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Diagnosability Verification for Hybrid Automata and Durational Graphs. In Proceedings of the 46th IEEE Conference on Decision and Control, Invited Session on Observability and Observer-Based Control of Hybrid Systems, pages 4045-4050, ISBN: 978-1-4244-1497-0, New Orleans, LA, USA, December 12-14, 2007.
5. M.D. Di Benedetto, A. D'Innocenzo, C. Rinaldi, F. Santucci, E. Serra. Modelling and Design of Control Algorithms over Wireless Networks. In Proceedings of the IEEE International Conference on Control Applications, Invited Session on Industrial Control Over Wireless Networks, pages 1018-1023, ISBN: 978-1-4244-0443-8, Singapore, October 1-3, 2007.
4. M.D. Di Benedetto, A. D'Innocenzo, G. Pola, C. Rinaldi, F. Santucci. A Theoretical Framework for Control over Wireless Networks. In Proceedings of the 17th International Symposium on Mathematical Theory of Network and Systems, Invited paper in the Mini-Symposium on Distributed Decision-Making Over Ad Hoc Networks, Kyoto, Japan, July 24-28, 2006.
3. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Critical States Detection with Bounded Probability of False Alarm and Application to Air Traffic Management. In Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, pages 24-29, ISBN: 978-1-61839-617-4, Alghero, Sardinia, Italy, June 7-9, 2006.
2. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Error Detection within a Specific Time Horizon and Application to Air Traffic Management. In Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference, pages 7472-7477, ISBN: 0-7803-9567-0, Seville, Spain, December 12-15, 2005.
1. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management. In Proceedings of the IEEE International Symposium on Intelligent Control and 3rd Mediterranean Conference on Control and Automation, pages 1303-1308, ISBN: 0-7803-8936-0, Limassol, Cyprus, June 27-29, 2005.
58. Vittorio De Iuliis, Alessandro D'Innocenzo, Alfredo Germani, Costanzo Manes. On the stability of discrete-time linear switched systems in block companion form. 21st IFAC World Congress Berlin, Germany, 12-17 July 2020.
57. Daniele Masti, Francesco Smarra, Alessandro D'Innocenzo, Alberto Bemporad. Learning affine predictors for MPC of nonlinear systems via artificial neural networks. 21st IFAC World Congress Berlin, Germany, 12-17 July 2020.
56. Yuriy Zacchia Lun, Claudia Rinaldi, Amal Alrish, Alessandro D'Innocenzo, Fortunato Santucci. On the impact of accurate radio link modeling on the performance of WirelessHART control networks. IEEE INFOCOM 2020, accepted for publication.
55. Alrish, A.; Lun, Y. Z.; D'Innocenzo, A.; Santucci, F. (2019). Work in Progress: Systematic Derivation of Accurate Analytic Markov Channel Models for Industrial Control. DOI:10.1109/WFCS.2019.8757917. pp.1-4. In IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS - ISBN:978-1-7281-1268-8 vol. 2019 [Best Work in Progress paper]
54. Rubeis, Tullio; Gentile, Niko; Smarra, Francesco; D'Innocenzo, Alessandro; Ambrosini, Dario; Paoletti, Domenica. A Proposal For A Novel Method Based On Lighting Simulation And Data-Driven Model Predictive Control For Daylight Harvesting Optimization. Building Simulation 2019.
53. Vittorio De Iuliis, Alessandro D'Innocenzo, Alfredo Germani, Costanzo Manes. On the Stability of Coupled Differential-Difference Systems with Multiple Time-Varying Delays: A Positivity-Based Approach. 2019 IEEE 58th Conference on Decision and Control (CDC).
52. Yuriy Zacchia Lun, Alessandro D'Innocenzo. Stabilizability of Markov jump linear systems modeling wireless networked control scenarios. 2019 IEEE 58th Conference on Decision and Control (CDC).
51. Smarra, Francesco, Jain, Achin, Mangharam, Rahul, D'Innocenzo, Alessandro (2018). Data-driven Switched Affine Modeling for Model Predictive Control. In: (a cura di): Alessandro Abate Antoine Girard Maurice Heemels, Proc. 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018. IFAC-PAPERSONLINE, vol. 51, p. 199-204, Elsevier B.V., ISSN: 2405-8963, doi: 10.1016/j.ifacol.2018.08.034
50. ZACCHIA LUN, YURIY, D'Innocenzo, Alessandro, Benedetto, Maria Domenica Di (2017). Robust LQR for time-inhomogeneous Markov jump switched linear systems. In: (a cura di): IEEE, Proc. 20th IFAC World Congress. vol. 50, p. 2199-2204, Elsevier B.V., doi: 10.1016/j.ifacol.2017.08.281
49. ZACCHIA LUN, YURIY, D'Innocenzo, Alessandro, Benedetto, Maria Domenica Di (2017). Robust LQR for time-inhomogeneous Markov jump switched linear systems. In: (a cura di): IEEE, Proc. 20th IFAC World Congress. vol. 50, p. 2199-2204, Elsevier B.V., doi: 10.1016/j.ifacol.2017.08.281
48. Y. Zacchia Lun, A. D'Innocenzo, A. Abate, M.D. Di Benedetto. Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems. 56th IEEE Conference on Decision and Control, Melbourne, Australia, December 12-15, 2017.
47. G.D. Di Girolamo, A. D'Innocenzo, M.D. Di Benedetto. Data-rate and network coding co-design with stability and capacity constraints. 20th IFAC World Congress, Toulouse, France, July 9-14, 2017.
46. F. Smarra, A. D'Innocenzo, M.D. Di Benedetto. A sub-optimal method for routing redundancy design over lossy networks. 20th IFAC World Congress, Toulouse, France, July 9-14, 2017.
45. Y. Zacchia Lun, A. D'Innocenzo, M.D. Di Benedetto. Robust LQR for time-inhomogeneous Markov jump switched linear systems. 20th IFAC World Congress, Toulouse, France, July 9-14, 2017.
44. Y. Zacchia Lun, A. D'Innocenzo, M.D. Di Benedetto. Robust stability of time-inhomogeneous Markov Jump Linear Systems. 20th IFAC World Congress, Toulouse, France, July 9-14, 2017.
43. Y. Zacchia Lun, A. D'Innocenzo, M.D. Di Benedetto. On stability of time-inhomogeneous Markov jump linear systems. 55th IEEE Conference on Decision and Control, Las Vegas, US, December 12-14, 2016.
42. A. Cicone, A. D'Innocenzo, N. Guglielmi, L. Laglia. A sub-optimal solution for optimal control of linear systems with unmeasurable switching delays. 54th IEEE Conference on Decision and Control, Osaka, Japan, December 15-18, 2015.
41. Yi Deng, A. Dinnocenzo, A.A. Julius. Trajectory-Based Observer for Hybrid Automata Fault Diagnosis. 54th IEEE Conference on Decision and Control, Osaka, Japan, December 15-18, 2015.
40. G. D. Di Girolamo, A. D'Innocenzo, M. D. Di Benedetto. Co-design of controller, routing and network coding over a wireless network. 5th IFAC Workshop on Estimation and Control of Networked Systems (NecSys 2015), Philadelphia PA, September 10-11, 2015.
39. F. Smarra, A. D'Innocenzo, M. D. Di Benedetto. Approximation methods for optimal network coding in a multi-hop control network with packet losses. 14th European Control Conference (ECC 2015), Linz, Austria, July 15-17, 2015.
38. A. D'Innocenzo, F. Smarra, M. D. Di Benedetto. Further results on fault detection and isolation of malicious nodes in Multi-hop Control Networks. 14th European Control Conference (ECC 2015), Linz, Austria, July 15-17, 2015. Best application paper award.
37. 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.
36. C. Antonelli, A. D’Innocenzo, V. Gattulli, F. Graziosi, M. Tivoli, F. Franchi. INCIPICT: Innovating City Planning through Information and Communication Technologies. CINI Annual workshop on ICT for smart cities & communities, Palermo, Italy, October 29-30, 2015.
35. R. M. Jungers, A. D'Innocenzo, M. D. Di Benedetto. How to control linear systems with switching delays. 13th European Control Conference (ECC 2014), Strasbourg, France, June 24-27, 2014.
34. R. M. Jungers, A. D'Innocenzo, M. D. Di Benedetto. Further results on controllability of linear systems with switching delays. 9th IFAC World Congress, Cape Town, South Africa, August 24-29, 2014.
33. M. D. Di Benedetto, A. Di Loreto, A. D'Innocenzo, T. Ionta. Modeling of traffic congestion and re-routing in a service provider network. IEEE ICC 2014, Workshop on QoE-centric Network and Application Management, Sydney, Australia, June 10-14, 2014.
32. A. A. Julius and A. D'Innocenzo. Combining Analytical Technique and Randomized Algorithm in Safety Verification of Stochastic Hybrid Systems. American Control Conference (ACC14), Portland, OR, June 4-6, 2014.
31. M.D. Di Benedetto, A. D'Innocenzo, F. Smarra. Fault-tolerant control of a wireless HVAC control system. Special Session on Wireless Sensor and Actuator Networks Applications, International Symposium on Communications, Control and Signal Processing (ISCCSP2014), Athens, Greece, May 21-23, 2014.
30. A. D'Innocenzo, M.D. Di Benedetto, F. Smarra. Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks. 52nd IEEE Conference on Decision and Control, Firenze, Italy, December 10-13, 2013.
29. 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.
28. 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.
27. F. Smarra, A. D'Innocenzo, M.D. Di Benedetto. Fault Tolerant Stabilizability of MIMO Multi-Hop Control Networks. 3rd IFAC Workshop on Estimation and Control of Networked Systems (NecSys'12), Santa Barbara, CA, September 14-15, 2012.
M. D. Di Benedetto, A. D'Innocenzo. Invited Session on Networked control systems. 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands. June 6-8, 2012.
26. A. D'Innocenzo, C. Rinaldi, M.D. Di Benedetto and F. Santucci. Hybrid power control on a wireless networked control system. 4th IFAC Conference on Analysis and Design of Hybrid Systems, ISBN: 978-3-902823-00-7, Eindhoven, The Netherlands. June 6-8, 2012. Invited Session on Networked control systems
25. C. Rinaldi, A. D'Innocenzo, M.D. Di Benedetto and F. Santucci. A framework for modeling wireless embedded control systems. In Proceedings of the 5th International Symposium on Communications, Control and Signal Processing, pages 1-4, ISBN: 978-1-4673-0274-6, Rome, Italy. May 2-4, 2012.
24. 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.
23. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Digital Self Triggered Robust Control of Nonlinear Systems. In Proceedings of the 50th IEEE Conference on Decision and Control and nd European Control Conference, pages 1674-1679, ISBN: 978-1-61284-800-6, Orlando, Florida, USA, December 12-15, 2011.
22. A. D'Innocenzo, M.D. Di Benedetto, and E. Serra. Link Failure Detection in Multi-hop Control Networks. In Proceedings of the 50th IEEE Conference on Decision and Control and nd European Control Conference, pages 5248-5253, ISBN: 978-1-61284-800-6, Orlando, Florida, USA, December 12-15, 2011.
21. M.D. Di Benedetto, A. D'Innocenzo, and E. Serra. Fault Tolerant Stabilizability of Multi-Hop Control Networks. In Proceedings of the 18th IFAC World Congress, Milan, Italy, pages 5651-5656, September 2011.
20. M.D. Di Benedetto, A. D'Innocenzo, and E. Serra. Dynamical Power Optimization by Decentralized Routing Control in Multi-Hop Wireless Control Networks. In Proceedings of the 18th IFAC World Congress, pages 8957-8962, ISBN: 978-3-902661-93-7, Milan, Italy, August 28-September 2, 2011.
19. C. Rinaldi, A. D'Innocenzo, A. Abate, M. Di Benedetto and F. Santucci. A Framework for Modeling and Computation in Wireless Embedded Control Systems. in Proceedings of AICA, Aug 2011.
18. M.D. Di Benedetto, G. Di Matteo and A. D'Innocenzo. Stochastic validation of ATM procedures by abstraction algorithms. 4th International Conference on Research in Air Transportation, Budapest, Hungary, June 1-4, 2010.
17. G. Weiss, A. D'Innocenzo, R. Alur, K.H. Johansson, G.J. Pappas. Robust Stability of Multi-Hop Control Networks. In Proceedings of the 48th IEEE Conference on Decision and Control and the 28th Chinese Control Conference, pages 2210-2215, ISBN: 978-1-4244-3871-6, Shangai, China, December 15-18, 2010.
16. A. D'Innocenzo, G. Weiss, R. Alur, A.J. Isaksson, K.H. Johansson, George J. Pappas. Scalable scheduling algorithms for wireless networked control systems. In Proceedings of the 5th IEEE International Conference on Automation Science and Engineering, pages 409-414, ISBN: 978-1-4244-4578-3, Bangalore, India, August 22-25, 2009.
15. R. Alur, A. D'Innocenzo, K.H. Johansson, G.J. Pappas, G. Weiss. Modeling and Analysis of Multi-Hop Control Networks. In Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pages 223-232, ISBN: 978-0-7695-3636-1, San Francisco, CA, United States, April 13-16, 2009.
14. M.D. Di Benedetto, A. D’Innocenzo, A.J. Isakson, K.H. Johansson, S.-I. Niculescu, S. Olaru, G. Sandou, F. Santucci, E. Serra, S. Tennina, U. Tiberi, E. Witrant. Wireless Ventilation Control for Large-Scale Systems: the Mining Industrial Case. 6th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops (SECON Workshops '09), Rome, Italy, June 22-26, 2009.
13. M.D. Di Benedetto, A. D'Innocenzo, A. Petriccone. Automatic Verification of Temporal Properties of Air Traffic Management Procedures Using Hybrid Systems. 7th EUROCONTROL Innovative Research Workshop & Exhibition. EUROCONTROL Experimental Centre, Paris, France, December 2-4, 2008.
A. Abate, A. D'Innocenzo. Invited Session on Abstraction techniques for dynamical systems. Proceedings of the 47th IEEE Conference on Decision and Control, Cancun, Mexico, December 9-11, 2008.
12. A. D'Innocenzo, A. Abate, M.D. Di Benedetto. Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems. Proceedings of the 47th IEEE Conference on Decision and Control, Invited Session on Abstraction techniques for dynamical systems, pages 221-226, ISBN: 978-1-4244-3123-6, Cancun, Mexico, December 9-11, 2008.
11. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Diagnosability of hybrid automata with measurement uncertainty. Proceedings of the 47th IEEE Conference on Decision and Control, pages 1042-1047, ISBN: 978-1-4244-3123-6, Cancun, Mexico, December 9-11, 2008.
10. M.D. Di Benedetto, A. D'Innocenzo, E. Serra, E. Witrant. Automatic Verification of Wireless Control in a Mining Ventilation System. In Proceedings of the 4th IEEE Conference on Automation Science and Engineering, Special Session on Ventilation Control in Large-Scale Systems, pages 858-863, ISBN: 978-1-4244-2022-3, Washington DC, USA, August 23-26, 2008.
9. A. D'Innocenzo, M.D. Di Benedetto, S. Di Gennario. Fault diagnosis in a wireless network. In Proceedings of the 17th IFAC World Congress, pages 7271-7275, ISBN: 978-3-902661-00-5, Seoul, Korea, July 6-8, 2008.
8. A. D'Innocenzo, A.A. Julius, G.J. Pappas, M. D. Di Benedetto, S. Di Gennaro. Verification of temporal properties on hybrid automata by simulation relations. In Proceedings of the 46th IEEE Conference on Decision and Control, pages 4039-4044, ISBN: 978-1-4244-1497-0, New Orleans, LA, USA, December 12-14, 2007.
7. A. D'Innocenzo, A.A. Julius, M. D. Di Benedetto, G.J. Pappas. Approximate timed abstractions of hybrid automata. In Proceedings of the 46th IEEE Conference on Decision and Control, pages 4045-4050, ISBN: 978-1-4244-1497-0, New Orleans, LA, USA, December 12-14, 2007.
6. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Diagnosability Verification for Hybrid Automata and Durational Graphs. In Proceedings of the 46th IEEE Conference on Decision and Control, Invited Session on Observability and Observer-Based Control of Hybrid Systems, pages 4045-4050, ISBN: 978-1-4244-1497-0, New Orleans, LA, USA, December 12-14, 2007.
5. M.D. Di Benedetto, A. D'Innocenzo, C. Rinaldi, F. Santucci, E. Serra. Modelling and Design of Control Algorithms over Wireless Networks. In Proceedings of the IEEE International Conference on Control Applications, Invited Session on Industrial Control Over Wireless Networks, pages 1018-1023, ISBN: 978-1-4244-0443-8, Singapore, October 1-3, 2007.
4. M.D. Di Benedetto, A. D'Innocenzo, G. Pola, C. Rinaldi, F. Santucci. A Theoretical Framework for Control over Wireless Networks. In Proceedings of the 17th International Symposium on Mathematical Theory of Network and Systems, Invited paper in the Mini-Symposium on Distributed Decision-Making Over Ad Hoc Networks, Kyoto, Japan, July 24-28, 2006.
3. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Critical States Detection with Bounded Probability of False Alarm and Application to Air Traffic Management. In Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, pages 24-29, ISBN: 978-1-61839-617-4, Alghero, Sardinia, Italy, June 7-9, 2006.
2. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Error Detection within a Specific Time Horizon and Application to Air Traffic Management. In Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference, pages 7472-7477, ISBN: 0-7803-9567-0, Seville, Spain, December 12-15, 2005.
1. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management. In Proceedings of the IEEE International Symposium on Intelligent Control and 3rd Mediterranean Conference on Control and Automation, pages 1303-1308, ISBN: 0-7803-8936-0, Limassol, Cyprus, June 27-29, 2005.