1. M.D. Di Benedetto, F. Destombes, J.P. Tubach: Assistance automatique à la lecture labiale: perspectives ouvertes par l'informatique. Actes Seminaires Labialite, GALF, CNET Lannion, Nov.1980.
2. G. Baudry, F. Destombes, M.D. Di Benedetto, J.P. Tubach, H.Reine: Un système microprocesseur d'aide à l'éducation de la parole. Actes du Congres AFCET Informatique, Nancy, Nov.1980, pp.217.226.
3. M.D. Di Benedetto, F. Destombes, J.P. Tubach: Utilisation de la théorie de l'information pour une étude quantitative de l'ambiguité en lecture labiale. Proc. 12emes Journees d'etude sur la parole, Montréal, May 1981, pp.289.303; also in Proc. 101-st Acoustical Society of America meeting, Ottawa, 1981.
4. G. Bruno, M.D. Di Benedetto, M.G. Di Benedetto, A. Gilio: A bayesian approach for the voiced - unvoiced - silence classification of segments of a speech signal. Proc. FASE Symp., Venice, 1981, pp.181.184.
5. G. Bruno, M.D. Di Benedetto, A. Gilio, P. Mandarini: A bayesian adaptive decision method for the voiced - unvoiced - silence classification of segments of a speech signal. Proc. Workshop Italy - USA on Digital Signal Proc., Porto-Venere (Italy), Aug.1981.
6. M.D. Di Benedetto, F. Destombes, B. Merialdo, J.P. Tubach: Phonetic recognition to assist lip-reading for deaf children. Proc. IEEE Int. Conf. Acous. Speech Signal Processing, Paris, 1982, pp.739.742.
7. M.D. Di Benedetto, J.P. Tubach: Two cooperative methods for the segmentation of running speech. Proc. FASE/DAGA Congress, Goettingen, 1982, pp.907.910. 8. M.D. Di Benedetto, J.P. Tubach: Automatic and computer-aided evaluation of speech segmentation. Proc. FASE/DAGA Congress, Goettingen, 1982, pp.911.914.
9. M.D. Di Benedetto, A. Isidori: Analysis and design of nonlinear feedback systems. Prepared for C.H.Sung (ed.), Sytems Theory, series "Contemporary Mathematics" of the American Mathematical Society (AMS), 1984, Invited Paper.
10. M.D. Di Benedetto, A. Isidori: Geometric properties of input/output linearization techniques with an application to asymptotic model matching. Workshop on Nonlinear Systems Theory, Grenoble, Sept. 1984, Invited paper.
11. M.D. Di Benedetto, A. Isidori: The matching of nonlinear models via dynamic state-feedback. Proc. IEEE 23rd Conf. Decision and Control, Las Vegas, 1984, pp.416.420.
12. M.D. Di Benedetto, A. Isidori: Nonlinear Model Matching. Int. School on Geometric Methods in Nonlinear System Theory, Bierutowice (Poland), Pr. Nauk. Politech. Wroclaw, Inst. Tech. Cyber. 70, Conf. 29, 1984, pp.9.16, Invited paper.
13. M.D. Di Benedetto, M.G. Di Benedetto: A study on vowel behavior and its description by a statistical model. Proc. IEEE Int. Conf. Acoustics, Speech and Signal Processing, Tampa (FL), 1985, pp.1557.1560.
14. M.D. Di Benedetto: Properties of the geometric approach to the structure at infinity of nonlinear systems. Proc. Colloque Σ : Proprietes structurelles des systemes lineaires multivariables, application a des problemes de commande, Invited paper, C.N.R.S., Paris, 18.20 June 1986.
15. M.D. Di Benedetto, J.W. Grizzle, C.H. Moog: Computing the differential output rank of a nonlinear system. Proc. IEEE 26th Conf. on Decision and Control, Los Angeles, Dec. 1987, pp.142.145.
16. M.D. Di Benedetto, J.W. Grizzle, C.H. Moog: A unified notion of rank for a nonlinear system. Proc. IEEE 27th Conf. on Decision and Control, Dec. 1988, pp.926.931.
17. M.D. Di Benedetto, P. Lucibello: Nonlinear observer design for a class of mechanical systems. Proc. IEEE 27th Conf. on Decision and Control, Dec. 1988, pp.934.935.
18. M.D. Di Benedetto, J.J.-E. Slotine: A note on zeros of nonlinear systems: inferring sliding surface selection from the zero-dynamics algorithm. Proc. IEEE 27th Conf. on Decision and Control, Dec. 1988, pp.915.920.
19. M.D. Di Benedetto, P. Lucibello: A nonlinear observer for flexible mechanisms using canonical forms. 1990 American Control Conference, San Diego (CA), 1990, pp.145.148.
20. R. Castro, M.D. Di Benedetto: Asymptotic nonlinear model matching. 29th IEEE Conference on Decision and Control, Honolulu, Dec. 1990, pp.3400.3403.
21. M.D. Di Benedetto, S. Sastry: Adaptive tracking for MIMO nonlinear systems. 1st European Control Conference '91, Hermès, Commault, Normand-Cyrot, Dion, Dugard, Fliess, Titli, Cohen, Benveniste, Landau (eds.), 1991, pp.1316.1321.
22. M.D. Di Benedetto, A. Glumineau, C.H. Moog: Equivalence of nonlinear systems under dynamic state feedback. Proc. 30th IEEE Conf. on Decision and Control, Brighton, 1991, pp.400.405.
23. G.Burgio, M.D. Di Benedetto, S. Sastry: Adaptive linearization by dynamic state feedback: a case study. 2nd IFAC Symposium on Nonlinear Control System Design, Bordeaux, 24.26 June 1992, pp.594.599.
24. M.D. Di Benedetto, J.W. Grizzle: Qualitative aspects of asymptotic nonlinear model matching. Invited paper, 2nd IFAC Symposium on Nonlinear Control System Design, Bordeaux, 24.26 June 1992, pp.543.545.
25. J.W. Grizzle, M.D. Di Benedetto, F.Lamnabhi-Lagarrigue: Regularity and minimum-phase properties in nonlinear asymptotic tracking loops. 31st IEEE Conf. on Decision and Control, Tucson (AZ), 1992, pp.2475.2481.
26. A. De Luca, M.D. Di Benedetto: Some structural aspects in the control of nonholonomic systems via dynamic compensation. 2nd IFAC Workshop on System Structure and Control, Prague, September 1992, pp.240.243.
27. L. Benvenuti, M.D. Di Benedetto, J.W. Grizzle: Trajectory control of an aircraft using approximate output tracking. 2nd European Control Conference, Groningen (HL), 1993, pp.1638-1643.
28. M.D. Di Benedetto, P. Lucibello, A.L. Sangiovanni-Vincentelli: Chain closure: a problem in molecular CAD. Design Automation Conference, San Diego, June 6.10, 1994, pp.497.502.
29. L. Benvenuti, M.D. Di Benedetto: End-point tracking for a flexible robot arm, IFAC Symposium on Robot Control '94, Capri (Italy), Sept. 19.21, 1994, pp.687.692.
30. M.D. Di Benedetto, A. Saldanha, A.L. Sangiovanni-Vincentelli: Model matching for finite state machines. 33rd IEEE Conference on Decision and Control, Lake Buena Vista, Florida, Dec. 1994, pp.3117.3124.
31. A. Aziz, F. Balarin, M.D. Di Benedetto, R. Brayton, A. Saldanha, A.L. Sangiovanni-Vincentelli: Supervisory control of finite state machines. Computer Aided Veri cationWorkshop, Stanford University, June 1995.
32. M.D. Di Benedetto, P. Lucibello, A.L. Sangiovanni-Vincentelli: A closure algorithm for a class of closed kinematic chains, European Control Conference'95, Roma, Sept.95, pp.2683.2689.
33. M.D. Di Benedetto, A. Saldanha, A.L. Sangiovanni-Vincentelli: Strong model matching for finite state machines. European Control Conference'95, Roma, Sept. 95, pp.2027.2034.
34. M.D. Di Benedetto, A. Saldanha, A.L. Sangiovanni-Vincentelli: Strong model matching for finite state machines with non-deterministic reference model. 34th IEEE Conference on Decision and Control, New Orleans, Louisiana, Dec.13.15, 1995.
35. A. Balluchi, M.D. Di Benedetto, C. Pinello, C. Rossi, A.L. Sangiovanni-Vincentelli: Cut-off in engine control: a hybrid system approach. 36th IEEE Conference on Decision and Control, San Diego, CA, Dec.10.12, 1997.
36. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A. Ferrari, C. Pinello, A.L. Sangiovanni-Vincentelli: The design of embedded controllers for automotive engine management: the cut-off case. Proc. of Cadence Technical Conference, San Antonio, TX, May 1998, pp. 183-190.
37. M.D. Di Benedetto, A. Saldanha, A.L. Sangiovanni-Vincentelli: Asymptotic model matching for finite state machines. Invited Paper, 4th IFAC Conference on System Structure and Control, Nantes, July 8.10, 1998.
38. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A. Ferrari, C. Pinello, A.L. Sangiovanni-Vincentelli: Hybrid systems and the design of embedded controllers for automotive engine management. Invited paper, 37th IEEE Conference on Decision and Control, Tampa, FL, Dec. 98, pp. 2656.2661.
39. L. Benvenuti, M.D. Di Benedetto, C. Rossi, A.L. Sangiovanni- Vincentelli: Injector characteristics estimation for Spark Ignition engines. 37th IEEE Conference on Decision and Control, Tampa, FL, Dec. 98, pp. 1546.1551.
40. A. Balluchi, M.D. Di Benedetto, C. Pinello, A.L. Sangiovanni-Vincentelli: A hybrid approach to the fast positive force transient tracking problem in automotive engine control. 37th IEEE Conference on Decision and Control, Tampa, FL, Dec. 98, pp. 3226.3231.
41. L. Berardi, E. De Santis, M.D. Di Benedetto: Control of switching constrained systems. Invited paper, AAAI 99, Stanford University, Palo Alto (USA), March 22.24, 1999.
42. L. Berardi, E. De Santis, M.D. Di Benedetto: Control of switching constrained systems under state and input constraints. Invited paper, European Control Conference '99, August 31-Sept. 3, Karlsruhe, Germany, 1999.
43. L. Berardi, E. De Santis, M.D. Di Benedetto: A structural approach to the control of switching systems with an application to engine control. Invited paper, 38th IEEE Conference on Decision and Control, Phoenix, AZ, Dec. 7-10, 1999.
44. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, S. Cardellino, A.L. Sangiovanni- Vincentelli: Hybrid control of the Air-Fuel ratio in force transients for multi-point injection engines. 38th IEEE Conference on Decision and Control, Phoenix, AZ, Dec. 7-10, 1999.
45. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, T. Villa, H. Wong-Toi, A.L. Sangiovanni-Vincentelli: Hybrid Controller Synthesis for Idle Speed Management of an Automotive Engine. Invited paper, Automatic Control Conference 2000, Chicago, IL, June 2000, pp.1181-1185.
46. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A.L. Sangiovanni- Vincentelli: Automotive Engine and Power-train Control: a Comprehensive Hybrid Model. Invited paper, IEEE Mediterranean Conf. on Control and Automation, Rio Patras, July 17.19, 2000.
47. L. Berardi, E. De Santis, M.D. Di Benedetto: Controlled safe sets for continuous-time linear systems, European Control Conference ECC01, Porto (Portugal), Sept. 4.7, 2001, pp.803-808.
48. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A.L. Sangiovanni- Vincentelli: A Hybrid Observer for the Driveline Dynamics. European Control Conference ECC01, Porto (Portugal), Sept. 4.7, 2001, pp.618.623.
49. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, G. Girasole, A.L. Sangiovanni- Vincentelli: Idle Speed Control Design and Verification for an Automotive Engine. MECA01, International Workshop on Modeling, Emissions and Control in Automotive Engines, Salerno (Italy), Sept. 9-10, 2001.
50. A. Balluchi, M.D. Di Benedetto, C. Pinello, A.L. Sangiovanni- Vincentelli: Mixed Models of computation in the design of automotive engine control. 40th IEEE Conference on Decision and Control, Orlando, FL, 2001, pp. 3308-3313.
51. E. De Santis, M.D. Di Benedetto, G. Pola: Inner approximations of domains of attraction for continuous-time linear systems. American Control Conference ACC2002, Anchorage, May 2002.
52. E. De Santis, M.D. Di Benedetto, G. Pola: Equivalence entre stabilité et sécurite pour les systèmes à commutation, CIFA 2002, Conference Internationale Francophone d'Automatique, Nantes, France, 8-10 July 2002.
53. A. Balluchi, L. Benvenuti, L. Berardi, E. De Santis, M.D. Di Benedetto, G. Girasole, G. Pola: Engine Idle Speed Control via Maximal Safe-Set Computation in the Crank-Angle Domain, IEEE{ISIE 2002, 2002 IEEE International Symposium on Industrial Electronics, L'Aquila, Italy, 8-11 July 2002.
54. L. Benvenuti, M.D. Di Benedetto, S. Di Gennaro, A. Sangiovanni-Vincentelli, Stima delle caratteristiche individuali dei Cilindri in un motore a scoppio, Workshop "Automazione e robotica: Esperienze industriali e universitarie a confronto", Università dell'Aquila, 25 October 2002.
55. A. Balluchi, L. Berardi, M.D. Di Benedetto, A. Ferrari, G. Girasole, A.L. Sangiovanni-Vincentelli: Integrated Control.Implementation Design, 41st IEEE Conference on Decision and Control, Las Vegas, Dec. 2002, pp.1337.1342.
56. M. Broucke, M.D. Di Benedetto, S. Di Gennaro, A.L. Sangiovanni.Vincentelli: Effective Synthesis of optimal controllers using bisimulations, 41st IEEE Conference on Decision and Control, Las Vegas, Dec. 2002, pp.3194-3199.
57. G. Pola, M. L. Bujorianu, J. Lygeros, M. D. Di Benedetto: Stochastic Hybrid Models: An Overview, IFAC Conference on Analysis and Design of Hybrid Systems (ADHS03), Saint Malo Bretagne, France, 16-18 June 2003.
58. M.D.Di Benedetto, J. Lygeros: Center of Excellence DEWS (Architectures and Design Methodologies for Embedded Controllers, Wireless Interconnect and System-on-Chip): a new experiment in research, innovation and use of hybrid systems, IFAC Conference on Analysis and Design of Hybrid Systems (ADHS03), Invited Plenary Talk, Saint Malo, Bretagne, France, 16-18 June 2003.
59. E. De Santis, M.D. Di Benedetto, G. Pola: Safety and stabilizability conditions for switching linear systems, International Workshop on Operator Theory and Applications IWOTA03, Extended Abstract, Cagliari, Italy, June 24-27, 2003.
60. E. De Santis, M.D. Di Benedetto, G. Pola: On observability and detectability of continuoustime linear switching systems, 42nd IEEE Conference on Decision and Control, Dec 2003, pp.5777-5782.
61. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A.L.Sangiovanni-Vincentelli: Observability for Hybrid Systems, 42nd IEEE Conference on Decision and Control, Maui (Hawaii), 9-12 Dec. 2003.
62. A. Balluchi, M. D. Di Benedetto, A. Ferrari, G. Gaviani, G. Girasole, C. Grossi, W. Nesci, M. Pennese, A. L. Sangiovanni Vincentelli, Design of a motorcycle engine control unit using an integrated control-implementation approach, First IFAC Symposium on Advance in Automotive Control, Salerno, 19-23 April 2004, pp.218-225.
63. E. De Santis, M.D. Di Benedetto, G. Pola, Structural discrete state space decompositions for a class of hybrid systems, 12th IEEE Mediterranean Conference on Control and Automation MED04, 6-9 June 2004, Kusadasi, Turkey.
64. E. De Santis, M.D. Di Benedetto, G. Pola, Can linear stabilizability analysis be generalized to switching systems?, Int. Symposium on Mathematical Theory of Networks and Systems MTNS04, July 5-9, 2004, Leuven (Belgium), 2004.
65. G. Pola, J.W. Polderman, M.D. Di Benedetto: Balancing dwell times for switchimg linear systems, Int. Symposium on Mathematical Theory of Networks and Systems MTNS04, July 5-9, 2004, Leuven (Belgium), 2004.
66. G. Pola, A.J. van der Schaft, M.D. Di Benedetto: Bisimulation Theory for Switching Linear Systems, 43rd IEEE Conference on Decision and Control CDC04, Atlantis, Paradise Island, Bahamas, 14-17 Dec. 2004.
67. E. De Santis, M.D. Di Benedetto, G. Pola: Digital control of continuous-time switching systems with safety constraints, 43rd IEEE Conference on Decision and Control CDC04, Atlantis, Paradise Island, Bahamas, 14-17 Dec. 2004.
68. E. De Santis, M.D. Di Benedetto, G. Girasole: Digital idle speed control of automotive engines using hybrid models, 16th IFAC World Congress, Special Session on Hybrid Systems, Prague, July 2005.
69. M.D. Di Benedetto, S. Di Gennaro, A.D'Innocenzo: Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management, Joint International Symposium on Intelligent Control/13th Mediterranean Conference on Control and Automation ISIC05/MED05, Cyprus, June 27-29, 2005.
70. E. De Santis, M.D. Di Benedetto: Design of Luenberger-like observers for detectable switching systems, Joint International Symposium on Intelligent Control/13th Mediterranean Conference on Control and Automation ISIC05/MED05, Cyprus, June 27-29, 2005.
71. M.D. Di Benedetto, S. Di Gennaro, A.D'Innocenzo: Error Detection within a Specific Time Horizon and Application to Air Traffic Management, 44th IEEE Conference on Decision and Control CDC05, Sevilla, Dec. 2005.
72. G. Pola, A.J. van der Schaft, M.D. Di Benedetto: Achievable bisimilar behaviour of abstract systems, 44th IEEE Conference on Decision and Control CDC05, Sevilla, Dec. 2005.
73. M.-G. Di Benedetto, G. Giancola, E. De Santis, M.D. Di Benedetto: Hybrid Modelling of Ultra Wide Band Self-organizing Networks, 2006 Second International Symposium on Communications, Control and Signal Processing (ISCCSP 2006), Marrakech, Marocco, 13.15 March 2006.
74. E. De Santis, M. D. Di Benedetto, G. Pola: Stabilizability.based state space reductions for hybrid systems, 2nd IFAC Conference on Analysis and Design of Hybrid Systems ADHS06, Invited session on Structural properties of hybrid systems, June 7.9, 2006, Alghero , Italy.
75. 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, 2nd IFAC Conference on Analysis and Design of Hybrid Systems ADHS06, June 7.9, 2006, Alghero , Italy.
76. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, T. Villa, A. Sanviovanni-Vinecentelli: Idle Speed Control - A Benchmark for Hybrid System Research, 2nd IFAC Conference on Analysis and Design of Hybrid Systems ADHS06, June 7.9, 2006, Alghero , Italy.
77. M. D. Di Benedetto, M. Prandini: Safety Analysis Methods in Air Traffic Management, Workshop ACARE Italia e sistema universitario: la collaborazione per la ricerca aeronautica, Naples, 14 July 2006.
78. G. Pola, J. Lygeros, M.D. Di Benedetto: Invariance in Stochastic Dynamical Control Systems, Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24-28, 2006.
79. M. D. Di Benedetto, A. DInnocenzo, G. Pola, C. Rinaldi, F. Santucci: A Theoretical Framework for Control Over Wireless Networks, Invited Mini-Symposium on "Distributed decisionmaking over ad-hoc networks", Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24.28, 2006.
80. E. De Santis, M.D. Di Benedetto, M.-G. Di Benedetto, G. Giancola: Application of Hybrid Models to the Design of Ultra Wide Band Self-Organizing Networks, Invited Mini-Symposium on "Control and estimation of networked systems", Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24.28, 2006.
81. E. De Santis, M. D. Di Benedetto, G. Pola: Detectability.based state space reductions for hybrid systems, Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24.28, 2006.
82. E. De Santis, M. D. Di Benedetto, G. Pola: Observability of Internal Variables in Interconnected Switching Systems, 45th IEEE Conference on Decision and Control CDC'06, Santa Barbara, U.S.A., December 12.15, 2006.
83. B. Castillo Toledo, M. D. Di Benedetto, S. Di Gennaro: Error Feedback Nonlinear Control of Electromagnetic Valves for Camless Engines, 45th IEEE Conference on Decision and Control CDC'06, Santa Barbara, U.S.A., December 12.15, 2006.
84. E. De Santis, M. D. Di Benedetto, G. Pola: Observability of discrete-time Linear Switching Systems, 1st IFAC Workshop on Dependable Control od Discrete Systems, DCDS'07, Special Session on Dependable Control, Cachan - Paris, France, June 13-15, 2007.
85. C. Acosta Lua, B. Castillo Toledo, M. D. Di Benedetto, S. Di Gennaro: Output Feedback Regulation of Electromagnetic Valves for Camless Engines, European Control Conference ECC07, Kos (Greece), 2.5 July 2007.
86. C. Acosta Lua, B. Castillo Toledo, M. D. Di Benedetto, S. Di Gennaro: Output Feedback Regulation of Electromagnetic Valves for Camless Engines, 2007 American Control Conference ACC07, New York City, 11- 13 July 2007.
87. M.D. Di Benedetto, A. D'Innocenzo, C. Rinaldi, F. Santucci, E. Serra: Modeling and design of control algorithms over wireless networks, Invited session on "Industrial control over wireless networks", IEEE Multi-conference on Systems and Control (MSC), the (16th IEEE Conference on Control Applications (CCA) and the 22nd IEEE International Symposium on Intelligent Control (ISIC)) CCA-ISIC07, Singapore, 1.3 October 2007.
88. E. De Santis, M. D. Di Benedetto: Observer design for discrete-time Linear Switching Systems, 3rd IFAC Symposium on System, Structure and Control, IFAC-SSSC07, Foz do Iguau, Brazil, 17-19 October, 2007.
89. A. D'Innocenzo, A.A. Julius, G. Pappas, M. D. Di Benedetto, S. Di Gennaro: Verification of Temporal Properties on Hybrid Automata by Simulation Relations, 46th IEEE Conference on Decision and Control CDC'07, New Orleans, U.S.A., Dec. 2007.
90. A. D'Innocenzo, A.A. Julius, M. D. Di Benedetto: Approximate timed abstractions of Hybrid Systems, 46th IEEE Conference on Decision and Control CDC'07, New Orleans, U.S.A., Dec. 2007.
91. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo: Diagnosability Verification for Hybrid Automata and Durational Graphs, 46th IEEE Conference on Decision and Control CDC'07, New Orleans, U.S.A., Dec. 2007.
92. A. D'Innocenzo, M.D. Di Benedetto, S. Di Gennaro: Fault diagnosis in a wireless network, 17th IFAC World Congress, Seoul, 6-11 July 2008.
93. M. D. Di Benedetto, A. D'Innocenzo, E. Serra, E. Witrant: Automatic Verification of Wireless Control in a Mining Ventilation System, 2008 IEEE 4th IEEE Conference on Automation Science and Engineering (IEEE-CASE 2008), Key Bridge Marriott, Washington DC, August 23-26, 2008.
94. M. D.Di Benedetto, S. Di Gennaro, A. D'Innocenzo: Diagnosability of hybrid automata with measurement uncertainty, 47th IEEE Conference on Decision and Control CDC'08, Cancun, Mexico, Dec. 2008.
95. A. D'Innocenzo, A. Abate, M. D. Di Benedetto: Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems, 47th IEEE Conference on Decision and Control CDC'08, Cancun, Mexico, 9-11 Dec. 2008.
96. M. D. Di Benedetto, A. D'Innocenzo, A. Petriccone: Automatic verification of temporal properties of Air Traffic Management procedures using Hybrid Systems, EUROCONTROL INO Workshop, Brétigny, France, 2-4 Dec. 2008.
97. R. Bajcsy, A. Borri, A. Giani, M.D. Di Benedetto, C. Tomlin: Classification of Physical Interactions between Two Subjects, Proceedings 6th International Workshop on Wearable and Implantable Body Sensor Networks, Berkeley CA), June 3.5, 2009, pp. 187-192.
98. G. Pola, P. Pepe, M. D. Di Benedetto, P. Tabuada: A symbolic model approach to the digital control of nonlinear time-delay systems, 48th IEEE Conference on Decision and Control CDC'09, Shangai (China), 2009.
99. D. Bianchi, A. Borri, G. Burgio, M. D. Di Benedetto, S. Di Gennaro: Adaptive Integrated Vehicle Control using Active Front Steering and Active Rear Differential, 48th IEEE Conference on Decision and Control CDC'09, Shangai (China), Dec. 2009, pp. 3557-3562.
100. E. De Santis, M. D. Di Benedetto, A. Petriccone, G. Pola: A compositional hybrid system approach to the analysis of Air Traffic Management Systems, Proc. 8th Innovative Research Workshop and Exhibition, EUROCONTROL, Paris, France, Dec. 2009.
101. M. D. Di Benedetto, G. Di Matteo, A. D'Innocenzo: Stochastic validation of ATM procedures by abstraction algorithms, 4th International Conference on Research in Air Transportation ICRAT 2010, June 1.4, 2010 Budapest, Ungheria, 2010.
102. S. D. Bopardikar, A. Borri, J. P. Hespanha, M. Prandini, M. D. Di Benedetto: Randomized Sampling for Large Zero-Sum Games, 49th IEEE Conference on Decision and Control CDC'10, Atlanta, Dec. 2010.
103. A. Borri, G. Pola, M. D. Di Benedetto: An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications, 49th IEEE Conference on Decision and Control CDC'10, Atlanta, Dec. 2010.
104. A. Petriccone, G. Pola, M. D. Di Benedetto, E. De Santis: A Complexity Reduction Approach to the Detection of Safety Critical Situations in Air Traffic Management Systems, 49th IEEE Conference on Decision and Control CDC'10, Atlanta, Dec. 2010.
105. G. Pola, P. Pepe, M. D. Di Benedetto: Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time-Varying Delays, 49th IEEE Conference on Decision and Control CDC'10,Atlanta, Dec. 2010.
106. U. Tiberi, C. Fischione, K. H. Johansson, M. D. Di Benedetto: Adaptive Self-triggered Control over IEEE 802.15.4 Networks, 49th IEEE Conference on Decision and Control CDC'10, Atlanta, USA, Dec. 2010.
107. U. Tiberi, C. Fischione, K.H. Johansson, M.D. Di Benedetto: Self-Triggered Control of Multiple Loops Over IEEE 802.15.4 Networks, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
108. G. Pola, M. D. Di Benedetto, E. De Santis: A Compositional Approach to Bisimulation of Arenas of Finite State Machines, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
109. M.D.Di Benedetto, A. D'Innocenzo, E. Serra: Dynamical Power Optimization by Decentralized Routing Control in Multi-Hop Wireless Control Networks, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
110. M.D.Di Benedetto, A. D'Innocenzo, E. Serra: Fault Tolerant Stabilizability of Multi-Hop Control Networks, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
111. A. Borri, S. D. Bopardikar, J. Hespanha, M. D. Di Benedetto: Hide-and-Seek with Directional Sensing, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
112. D. Bianchi, A. Borri, B. Castillo-Toledo, M. D.Di Benedetto, S. Di Gennaro: Active Control of Vehicle Attitude, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
113. C. Rinaldi, A. DInnocenzo, M.D. Di Benedetto, F. Santucci: A framework for modeling wireless embedded control systems, 5th International Symposium on Communications, Control and Signal Processing ISCCSP 2012, May 2-4, 2012, Rome, Italy.
114. A. D'Innocenzo, C. Rinaldi, M.D. Di Benedetto, F. Santucci: Hybrid power optimization of a wireless control system, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), Eindhoven, The Netherlands, June 6-8, 2012.
115. A. Petriccone, G. Pola, M.D. Di Benedetto, E. De Santis: Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), Eindhoven, The Netherlands, June 6-8, 2012.
116. G. Pola, M.D. Di Benedetto, Sequences of Discrete Abstractions for Piecewise Affine Systems, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), Eindhoven, The Netherlands, June 6-8, 2012.
117. 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.
118. 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.
119. 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.
A.Borri, G. Pola, M.D. Di Benedetto: Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems, 51st IEEE Conference on Decision and Control CDC'12, Maui, Hawaii, USA, Dec. 2012, pp. 1374-1379.
120. D. Bianchi, M.D. Di Benedetto, A. Ferrara: Networked Model Predictive Traffic Control with Time Varying Optimization Horizon: the Grenoble South Ring Case Study, European Control Conference (ECC2013), July 17 - 19, 2013, Zurich (CH).
121. D. Bianchi, M.D. Di Benedetto, A. Ferrara: Adaptive Networked Model Predictive Control of Freeway Traffic Systems, 2013 American Control Conference, June 17 - 19, Washington, DC (U.S.A.)
122. 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 CDC'13, Firenze, Italy, Dec. 2013, pp. 5276-5281.
123. A. Borri, D. Bianchi, M.D. Di Benedetto, S. Di Gennaro: Vehicle Attitude Control with Saturating Actuators: Workload Balancing and Reference Adaptation, 52nd Conference on Decision and Control CDC'13, pp. 1558-1563, Florence, Italy, Dec. 2013, pp. 1558-1563.
124. D. Pezzuti, G. Pola, E. De Santis, M.D. Di Benedetto: A Critical Bisimulation Approach to Safety Criticality Analysis of Large-Scale Air Traffic Management Systems, 52nd IEEE Conference on Decision and Control CDC'12, Florence, Italy, Dec. 2013, pp. 4424-4429.
125. A. Borri, D.V. Dimarogonas, K.H. Johansson, M.D. Di Benedetto, G. Pola: Decentralized symbolic control of interconnected systems with application to vehicle Platooning, 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems, September 25-26, 2013, Koblenz, Germany.
126. E. De Santis, M.D. Di Benedetto, M. Everdij, D. Pezzuti, G. Pola, L. Scarciolla: Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach, SESAR Innovation Days, November 26-28, 2013, Stockholm, Sweden.
127. M.D. Di Benedetto, G. Pola: Networked Embedded Control Systems: from Modelling to Implementation, Electronic Proceedings in Theoretical Computer Science (EPTCS) 124, pp. 9-13, Bortolussi L., Bujorianu M.L., Pola G. (Eds.): HAS 2013 doi:10.4204/EPTCS.124.
128. 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.
129. 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.
130. 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.
2. G. Baudry, F. Destombes, M.D. Di Benedetto, J.P. Tubach, H.Reine: Un système microprocesseur d'aide à l'éducation de la parole. Actes du Congres AFCET Informatique, Nancy, Nov.1980, pp.217.226.
3. M.D. Di Benedetto, F. Destombes, J.P. Tubach: Utilisation de la théorie de l'information pour une étude quantitative de l'ambiguité en lecture labiale. Proc. 12emes Journees d'etude sur la parole, Montréal, May 1981, pp.289.303; also in Proc. 101-st Acoustical Society of America meeting, Ottawa, 1981.
4. G. Bruno, M.D. Di Benedetto, M.G. Di Benedetto, A. Gilio: A bayesian approach for the voiced - unvoiced - silence classification of segments of a speech signal. Proc. FASE Symp., Venice, 1981, pp.181.184.
5. G. Bruno, M.D. Di Benedetto, A. Gilio, P. Mandarini: A bayesian adaptive decision method for the voiced - unvoiced - silence classification of segments of a speech signal. Proc. Workshop Italy - USA on Digital Signal Proc., Porto-Venere (Italy), Aug.1981.
6. M.D. Di Benedetto, F. Destombes, B. Merialdo, J.P. Tubach: Phonetic recognition to assist lip-reading for deaf children. Proc. IEEE Int. Conf. Acous. Speech Signal Processing, Paris, 1982, pp.739.742.
7. M.D. Di Benedetto, J.P. Tubach: Two cooperative methods for the segmentation of running speech. Proc. FASE/DAGA Congress, Goettingen, 1982, pp.907.910. 8. M.D. Di Benedetto, J.P. Tubach: Automatic and computer-aided evaluation of speech segmentation. Proc. FASE/DAGA Congress, Goettingen, 1982, pp.911.914.
9. M.D. Di Benedetto, A. Isidori: Analysis and design of nonlinear feedback systems. Prepared for C.H.Sung (ed.), Sytems Theory, series "Contemporary Mathematics" of the American Mathematical Society (AMS), 1984, Invited Paper.
10. M.D. Di Benedetto, A. Isidori: Geometric properties of input/output linearization techniques with an application to asymptotic model matching. Workshop on Nonlinear Systems Theory, Grenoble, Sept. 1984, Invited paper.
11. M.D. Di Benedetto, A. Isidori: The matching of nonlinear models via dynamic state-feedback. Proc. IEEE 23rd Conf. Decision and Control, Las Vegas, 1984, pp.416.420.
12. M.D. Di Benedetto, A. Isidori: Nonlinear Model Matching. Int. School on Geometric Methods in Nonlinear System Theory, Bierutowice (Poland), Pr. Nauk. Politech. Wroclaw, Inst. Tech. Cyber. 70, Conf. 29, 1984, pp.9.16, Invited paper.
13. M.D. Di Benedetto, M.G. Di Benedetto: A study on vowel behavior and its description by a statistical model. Proc. IEEE Int. Conf. Acoustics, Speech and Signal Processing, Tampa (FL), 1985, pp.1557.1560.
14. M.D. Di Benedetto: Properties of the geometric approach to the structure at infinity of nonlinear systems. Proc. Colloque Σ : Proprietes structurelles des systemes lineaires multivariables, application a des problemes de commande, Invited paper, C.N.R.S., Paris, 18.20 June 1986.
15. M.D. Di Benedetto, J.W. Grizzle, C.H. Moog: Computing the differential output rank of a nonlinear system. Proc. IEEE 26th Conf. on Decision and Control, Los Angeles, Dec. 1987, pp.142.145.
16. M.D. Di Benedetto, J.W. Grizzle, C.H. Moog: A unified notion of rank for a nonlinear system. Proc. IEEE 27th Conf. on Decision and Control, Dec. 1988, pp.926.931.
17. M.D. Di Benedetto, P. Lucibello: Nonlinear observer design for a class of mechanical systems. Proc. IEEE 27th Conf. on Decision and Control, Dec. 1988, pp.934.935.
18. M.D. Di Benedetto, J.J.-E. Slotine: A note on zeros of nonlinear systems: inferring sliding surface selection from the zero-dynamics algorithm. Proc. IEEE 27th Conf. on Decision and Control, Dec. 1988, pp.915.920.
19. M.D. Di Benedetto, P. Lucibello: A nonlinear observer for flexible mechanisms using canonical forms. 1990 American Control Conference, San Diego (CA), 1990, pp.145.148.
20. R. Castro, M.D. Di Benedetto: Asymptotic nonlinear model matching. 29th IEEE Conference on Decision and Control, Honolulu, Dec. 1990, pp.3400.3403.
21. M.D. Di Benedetto, S. Sastry: Adaptive tracking for MIMO nonlinear systems. 1st European Control Conference '91, Hermès, Commault, Normand-Cyrot, Dion, Dugard, Fliess, Titli, Cohen, Benveniste, Landau (eds.), 1991, pp.1316.1321.
22. M.D. Di Benedetto, A. Glumineau, C.H. Moog: Equivalence of nonlinear systems under dynamic state feedback. Proc. 30th IEEE Conf. on Decision and Control, Brighton, 1991, pp.400.405.
23. G.Burgio, M.D. Di Benedetto, S. Sastry: Adaptive linearization by dynamic state feedback: a case study. 2nd IFAC Symposium on Nonlinear Control System Design, Bordeaux, 24.26 June 1992, pp.594.599.
24. M.D. Di Benedetto, J.W. Grizzle: Qualitative aspects of asymptotic nonlinear model matching. Invited paper, 2nd IFAC Symposium on Nonlinear Control System Design, Bordeaux, 24.26 June 1992, pp.543.545.
25. J.W. Grizzle, M.D. Di Benedetto, F.Lamnabhi-Lagarrigue: Regularity and minimum-phase properties in nonlinear asymptotic tracking loops. 31st IEEE Conf. on Decision and Control, Tucson (AZ), 1992, pp.2475.2481.
26. A. De Luca, M.D. Di Benedetto: Some structural aspects in the control of nonholonomic systems via dynamic compensation. 2nd IFAC Workshop on System Structure and Control, Prague, September 1992, pp.240.243.
27. L. Benvenuti, M.D. Di Benedetto, J.W. Grizzle: Trajectory control of an aircraft using approximate output tracking. 2nd European Control Conference, Groningen (HL), 1993, pp.1638-1643.
28. M.D. Di Benedetto, P. Lucibello, A.L. Sangiovanni-Vincentelli: Chain closure: a problem in molecular CAD. Design Automation Conference, San Diego, June 6.10, 1994, pp.497.502.
29. L. Benvenuti, M.D. Di Benedetto: End-point tracking for a flexible robot arm, IFAC Symposium on Robot Control '94, Capri (Italy), Sept. 19.21, 1994, pp.687.692.
30. M.D. Di Benedetto, A. Saldanha, A.L. Sangiovanni-Vincentelli: Model matching for finite state machines. 33rd IEEE Conference on Decision and Control, Lake Buena Vista, Florida, Dec. 1994, pp.3117.3124.
31. A. Aziz, F. Balarin, M.D. Di Benedetto, R. Brayton, A. Saldanha, A.L. Sangiovanni-Vincentelli: Supervisory control of finite state machines. Computer Aided Veri cationWorkshop, Stanford University, June 1995.
32. M.D. Di Benedetto, P. Lucibello, A.L. Sangiovanni-Vincentelli: A closure algorithm for a class of closed kinematic chains, European Control Conference'95, Roma, Sept.95, pp.2683.2689.
33. M.D. Di Benedetto, A. Saldanha, A.L. Sangiovanni-Vincentelli: Strong model matching for finite state machines. European Control Conference'95, Roma, Sept. 95, pp.2027.2034.
34. M.D. Di Benedetto, A. Saldanha, A.L. Sangiovanni-Vincentelli: Strong model matching for finite state machines with non-deterministic reference model. 34th IEEE Conference on Decision and Control, New Orleans, Louisiana, Dec.13.15, 1995.
35. A. Balluchi, M.D. Di Benedetto, C. Pinello, C. Rossi, A.L. Sangiovanni-Vincentelli: Cut-off in engine control: a hybrid system approach. 36th IEEE Conference on Decision and Control, San Diego, CA, Dec.10.12, 1997.
36. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A. Ferrari, C. Pinello, A.L. Sangiovanni-Vincentelli: The design of embedded controllers for automotive engine management: the cut-off case. Proc. of Cadence Technical Conference, San Antonio, TX, May 1998, pp. 183-190.
37. M.D. Di Benedetto, A. Saldanha, A.L. Sangiovanni-Vincentelli: Asymptotic model matching for finite state machines. Invited Paper, 4th IFAC Conference on System Structure and Control, Nantes, July 8.10, 1998.
38. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A. Ferrari, C. Pinello, A.L. Sangiovanni-Vincentelli: Hybrid systems and the design of embedded controllers for automotive engine management. Invited paper, 37th IEEE Conference on Decision and Control, Tampa, FL, Dec. 98, pp. 2656.2661.
39. L. Benvenuti, M.D. Di Benedetto, C. Rossi, A.L. Sangiovanni- Vincentelli: Injector characteristics estimation for Spark Ignition engines. 37th IEEE Conference on Decision and Control, Tampa, FL, Dec. 98, pp. 1546.1551.
40. A. Balluchi, M.D. Di Benedetto, C. Pinello, A.L. Sangiovanni-Vincentelli: A hybrid approach to the fast positive force transient tracking problem in automotive engine control. 37th IEEE Conference on Decision and Control, Tampa, FL, Dec. 98, pp. 3226.3231.
41. L. Berardi, E. De Santis, M.D. Di Benedetto: Control of switching constrained systems. Invited paper, AAAI 99, Stanford University, Palo Alto (USA), March 22.24, 1999.
42. L. Berardi, E. De Santis, M.D. Di Benedetto: Control of switching constrained systems under state and input constraints. Invited paper, European Control Conference '99, August 31-Sept. 3, Karlsruhe, Germany, 1999.
43. L. Berardi, E. De Santis, M.D. Di Benedetto: A structural approach to the control of switching systems with an application to engine control. Invited paper, 38th IEEE Conference on Decision and Control, Phoenix, AZ, Dec. 7-10, 1999.
44. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, S. Cardellino, A.L. Sangiovanni- Vincentelli: Hybrid control of the Air-Fuel ratio in force transients for multi-point injection engines. 38th IEEE Conference on Decision and Control, Phoenix, AZ, Dec. 7-10, 1999.
45. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, T. Villa, H. Wong-Toi, A.L. Sangiovanni-Vincentelli: Hybrid Controller Synthesis for Idle Speed Management of an Automotive Engine. Invited paper, Automatic Control Conference 2000, Chicago, IL, June 2000, pp.1181-1185.
46. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A.L. Sangiovanni- Vincentelli: Automotive Engine and Power-train Control: a Comprehensive Hybrid Model. Invited paper, IEEE Mediterranean Conf. on Control and Automation, Rio Patras, July 17.19, 2000.
47. L. Berardi, E. De Santis, M.D. Di Benedetto: Controlled safe sets for continuous-time linear systems, European Control Conference ECC01, Porto (Portugal), Sept. 4.7, 2001, pp.803-808.
48. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A.L. Sangiovanni- Vincentelli: A Hybrid Observer for the Driveline Dynamics. European Control Conference ECC01, Porto (Portugal), Sept. 4.7, 2001, pp.618.623.
49. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, G. Girasole, A.L. Sangiovanni- Vincentelli: Idle Speed Control Design and Verification for an Automotive Engine. MECA01, International Workshop on Modeling, Emissions and Control in Automotive Engines, Salerno (Italy), Sept. 9-10, 2001.
50. A. Balluchi, M.D. Di Benedetto, C. Pinello, A.L. Sangiovanni- Vincentelli: Mixed Models of computation in the design of automotive engine control. 40th IEEE Conference on Decision and Control, Orlando, FL, 2001, pp. 3308-3313.
51. E. De Santis, M.D. Di Benedetto, G. Pola: Inner approximations of domains of attraction for continuous-time linear systems. American Control Conference ACC2002, Anchorage, May 2002.
52. E. De Santis, M.D. Di Benedetto, G. Pola: Equivalence entre stabilité et sécurite pour les systèmes à commutation, CIFA 2002, Conference Internationale Francophone d'Automatique, Nantes, France, 8-10 July 2002.
53. A. Balluchi, L. Benvenuti, L. Berardi, E. De Santis, M.D. Di Benedetto, G. Girasole, G. Pola: Engine Idle Speed Control via Maximal Safe-Set Computation in the Crank-Angle Domain, IEEE{ISIE 2002, 2002 IEEE International Symposium on Industrial Electronics, L'Aquila, Italy, 8-11 July 2002.
54. L. Benvenuti, M.D. Di Benedetto, S. Di Gennaro, A. Sangiovanni-Vincentelli, Stima delle caratteristiche individuali dei Cilindri in un motore a scoppio, Workshop "Automazione e robotica: Esperienze industriali e universitarie a confronto", Università dell'Aquila, 25 October 2002.
55. A. Balluchi, L. Berardi, M.D. Di Benedetto, A. Ferrari, G. Girasole, A.L. Sangiovanni-Vincentelli: Integrated Control.Implementation Design, 41st IEEE Conference on Decision and Control, Las Vegas, Dec. 2002, pp.1337.1342.
56. M. Broucke, M.D. Di Benedetto, S. Di Gennaro, A.L. Sangiovanni.Vincentelli: Effective Synthesis of optimal controllers using bisimulations, 41st IEEE Conference on Decision and Control, Las Vegas, Dec. 2002, pp.3194-3199.
57. G. Pola, M. L. Bujorianu, J. Lygeros, M. D. Di Benedetto: Stochastic Hybrid Models: An Overview, IFAC Conference on Analysis and Design of Hybrid Systems (ADHS03), Saint Malo Bretagne, France, 16-18 June 2003.
58. M.D.Di Benedetto, J. Lygeros: Center of Excellence DEWS (Architectures and Design Methodologies for Embedded Controllers, Wireless Interconnect and System-on-Chip): a new experiment in research, innovation and use of hybrid systems, IFAC Conference on Analysis and Design of Hybrid Systems (ADHS03), Invited Plenary Talk, Saint Malo, Bretagne, France, 16-18 June 2003.
59. E. De Santis, M.D. Di Benedetto, G. Pola: Safety and stabilizability conditions for switching linear systems, International Workshop on Operator Theory and Applications IWOTA03, Extended Abstract, Cagliari, Italy, June 24-27, 2003.
60. E. De Santis, M.D. Di Benedetto, G. Pola: On observability and detectability of continuoustime linear switching systems, 42nd IEEE Conference on Decision and Control, Dec 2003, pp.5777-5782.
61. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A.L.Sangiovanni-Vincentelli: Observability for Hybrid Systems, 42nd IEEE Conference on Decision and Control, Maui (Hawaii), 9-12 Dec. 2003.
62. A. Balluchi, M. D. Di Benedetto, A. Ferrari, G. Gaviani, G. Girasole, C. Grossi, W. Nesci, M. Pennese, A. L. Sangiovanni Vincentelli, Design of a motorcycle engine control unit using an integrated control-implementation approach, First IFAC Symposium on Advance in Automotive Control, Salerno, 19-23 April 2004, pp.218-225.
63. E. De Santis, M.D. Di Benedetto, G. Pola, Structural discrete state space decompositions for a class of hybrid systems, 12th IEEE Mediterranean Conference on Control and Automation MED04, 6-9 June 2004, Kusadasi, Turkey.
64. E. De Santis, M.D. Di Benedetto, G. Pola, Can linear stabilizability analysis be generalized to switching systems?, Int. Symposium on Mathematical Theory of Networks and Systems MTNS04, July 5-9, 2004, Leuven (Belgium), 2004.
65. G. Pola, J.W. Polderman, M.D. Di Benedetto: Balancing dwell times for switchimg linear systems, Int. Symposium on Mathematical Theory of Networks and Systems MTNS04, July 5-9, 2004, Leuven (Belgium), 2004.
66. G. Pola, A.J. van der Schaft, M.D. Di Benedetto: Bisimulation Theory for Switching Linear Systems, 43rd IEEE Conference on Decision and Control CDC04, Atlantis, Paradise Island, Bahamas, 14-17 Dec. 2004.
67. E. De Santis, M.D. Di Benedetto, G. Pola: Digital control of continuous-time switching systems with safety constraints, 43rd IEEE Conference on Decision and Control CDC04, Atlantis, Paradise Island, Bahamas, 14-17 Dec. 2004.
68. E. De Santis, M.D. Di Benedetto, G. Girasole: Digital idle speed control of automotive engines using hybrid models, 16th IFAC World Congress, Special Session on Hybrid Systems, Prague, July 2005.
69. M.D. Di Benedetto, S. Di Gennaro, A.D'Innocenzo: Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management, Joint International Symposium on Intelligent Control/13th Mediterranean Conference on Control and Automation ISIC05/MED05, Cyprus, June 27-29, 2005.
70. E. De Santis, M.D. Di Benedetto: Design of Luenberger-like observers for detectable switching systems, Joint International Symposium on Intelligent Control/13th Mediterranean Conference on Control and Automation ISIC05/MED05, Cyprus, June 27-29, 2005.
71. M.D. Di Benedetto, S. Di Gennaro, A.D'Innocenzo: Error Detection within a Specific Time Horizon and Application to Air Traffic Management, 44th IEEE Conference on Decision and Control CDC05, Sevilla, Dec. 2005.
72. G. Pola, A.J. van der Schaft, M.D. Di Benedetto: Achievable bisimilar behaviour of abstract systems, 44th IEEE Conference on Decision and Control CDC05, Sevilla, Dec. 2005.
73. M.-G. Di Benedetto, G. Giancola, E. De Santis, M.D. Di Benedetto: Hybrid Modelling of Ultra Wide Band Self-organizing Networks, 2006 Second International Symposium on Communications, Control and Signal Processing (ISCCSP 2006), Marrakech, Marocco, 13.15 March 2006.
74. E. De Santis, M. D. Di Benedetto, G. Pola: Stabilizability.based state space reductions for hybrid systems, 2nd IFAC Conference on Analysis and Design of Hybrid Systems ADHS06, Invited session on Structural properties of hybrid systems, June 7.9, 2006, Alghero , Italy.
75. 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, 2nd IFAC Conference on Analysis and Design of Hybrid Systems ADHS06, June 7.9, 2006, Alghero , Italy.
76. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, T. Villa, A. Sanviovanni-Vinecentelli: Idle Speed Control - A Benchmark for Hybrid System Research, 2nd IFAC Conference on Analysis and Design of Hybrid Systems ADHS06, June 7.9, 2006, Alghero , Italy.
77. M. D. Di Benedetto, M. Prandini: Safety Analysis Methods in Air Traffic Management, Workshop ACARE Italia e sistema universitario: la collaborazione per la ricerca aeronautica, Naples, 14 July 2006.
78. G. Pola, J. Lygeros, M.D. Di Benedetto: Invariance in Stochastic Dynamical Control Systems, Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24-28, 2006.
79. M. D. Di Benedetto, A. DInnocenzo, G. Pola, C. Rinaldi, F. Santucci: A Theoretical Framework for Control Over Wireless Networks, Invited Mini-Symposium on "Distributed decisionmaking over ad-hoc networks", Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24.28, 2006.
80. E. De Santis, M.D. Di Benedetto, M.-G. Di Benedetto, G. Giancola: Application of Hybrid Models to the Design of Ultra Wide Band Self-Organizing Networks, Invited Mini-Symposium on "Control and estimation of networked systems", Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24.28, 2006.
81. E. De Santis, M. D. Di Benedetto, G. Pola: Detectability.based state space reductions for hybrid systems, Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24.28, 2006.
82. E. De Santis, M. D. Di Benedetto, G. Pola: Observability of Internal Variables in Interconnected Switching Systems, 45th IEEE Conference on Decision and Control CDC'06, Santa Barbara, U.S.A., December 12.15, 2006.
83. B. Castillo Toledo, M. D. Di Benedetto, S. Di Gennaro: Error Feedback Nonlinear Control of Electromagnetic Valves for Camless Engines, 45th IEEE Conference on Decision and Control CDC'06, Santa Barbara, U.S.A., December 12.15, 2006.
84. E. De Santis, M. D. Di Benedetto, G. Pola: Observability of discrete-time Linear Switching Systems, 1st IFAC Workshop on Dependable Control od Discrete Systems, DCDS'07, Special Session on Dependable Control, Cachan - Paris, France, June 13-15, 2007.
85. C. Acosta Lua, B. Castillo Toledo, M. D. Di Benedetto, S. Di Gennaro: Output Feedback Regulation of Electromagnetic Valves for Camless Engines, European Control Conference ECC07, Kos (Greece), 2.5 July 2007.
86. C. Acosta Lua, B. Castillo Toledo, M. D. Di Benedetto, S. Di Gennaro: Output Feedback Regulation of Electromagnetic Valves for Camless Engines, 2007 American Control Conference ACC07, New York City, 11- 13 July 2007.
87. M.D. Di Benedetto, A. D'Innocenzo, C. Rinaldi, F. Santucci, E. Serra: Modeling and design of control algorithms over wireless networks, Invited session on "Industrial control over wireless networks", IEEE Multi-conference on Systems and Control (MSC), the (16th IEEE Conference on Control Applications (CCA) and the 22nd IEEE International Symposium on Intelligent Control (ISIC)) CCA-ISIC07, Singapore, 1.3 October 2007.
88. E. De Santis, M. D. Di Benedetto: Observer design for discrete-time Linear Switching Systems, 3rd IFAC Symposium on System, Structure and Control, IFAC-SSSC07, Foz do Iguau, Brazil, 17-19 October, 2007.
89. A. D'Innocenzo, A.A. Julius, G. Pappas, M. D. Di Benedetto, S. Di Gennaro: Verification of Temporal Properties on Hybrid Automata by Simulation Relations, 46th IEEE Conference on Decision and Control CDC'07, New Orleans, U.S.A., Dec. 2007.
90. A. D'Innocenzo, A.A. Julius, M. D. Di Benedetto: Approximate timed abstractions of Hybrid Systems, 46th IEEE Conference on Decision and Control CDC'07, New Orleans, U.S.A., Dec. 2007.
91. M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo: Diagnosability Verification for Hybrid Automata and Durational Graphs, 46th IEEE Conference on Decision and Control CDC'07, New Orleans, U.S.A., Dec. 2007.
92. A. D'Innocenzo, M.D. Di Benedetto, S. Di Gennaro: Fault diagnosis in a wireless network, 17th IFAC World Congress, Seoul, 6-11 July 2008.
93. M. D. Di Benedetto, A. D'Innocenzo, E. Serra, E. Witrant: Automatic Verification of Wireless Control in a Mining Ventilation System, 2008 IEEE 4th IEEE Conference on Automation Science and Engineering (IEEE-CASE 2008), Key Bridge Marriott, Washington DC, August 23-26, 2008.
94. M. D.Di Benedetto, S. Di Gennaro, A. D'Innocenzo: Diagnosability of hybrid automata with measurement uncertainty, 47th IEEE Conference on Decision and Control CDC'08, Cancun, Mexico, Dec. 2008.
95. A. D'Innocenzo, A. Abate, M. D. Di Benedetto: Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems, 47th IEEE Conference on Decision and Control CDC'08, Cancun, Mexico, 9-11 Dec. 2008.
96. M. D. Di Benedetto, A. D'Innocenzo, A. Petriccone: Automatic verification of temporal properties of Air Traffic Management procedures using Hybrid Systems, EUROCONTROL INO Workshop, Brétigny, France, 2-4 Dec. 2008.
97. R. Bajcsy, A. Borri, A. Giani, M.D. Di Benedetto, C. Tomlin: Classification of Physical Interactions between Two Subjects, Proceedings 6th International Workshop on Wearable and Implantable Body Sensor Networks, Berkeley CA), June 3.5, 2009, pp. 187-192.
98. G. Pola, P. Pepe, M. D. Di Benedetto, P. Tabuada: A symbolic model approach to the digital control of nonlinear time-delay systems, 48th IEEE Conference on Decision and Control CDC'09, Shangai (China), 2009.
99. D. Bianchi, A. Borri, G. Burgio, M. D. Di Benedetto, S. Di Gennaro: Adaptive Integrated Vehicle Control using Active Front Steering and Active Rear Differential, 48th IEEE Conference on Decision and Control CDC'09, Shangai (China), Dec. 2009, pp. 3557-3562.
100. E. De Santis, M. D. Di Benedetto, A. Petriccone, G. Pola: A compositional hybrid system approach to the analysis of Air Traffic Management Systems, Proc. 8th Innovative Research Workshop and Exhibition, EUROCONTROL, Paris, France, Dec. 2009.
101. M. D. Di Benedetto, G. Di Matteo, A. D'Innocenzo: Stochastic validation of ATM procedures by abstraction algorithms, 4th International Conference on Research in Air Transportation ICRAT 2010, June 1.4, 2010 Budapest, Ungheria, 2010.
102. S. D. Bopardikar, A. Borri, J. P. Hespanha, M. Prandini, M. D. Di Benedetto: Randomized Sampling for Large Zero-Sum Games, 49th IEEE Conference on Decision and Control CDC'10, Atlanta, Dec. 2010.
103. A. Borri, G. Pola, M. D. Di Benedetto: An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications, 49th IEEE Conference on Decision and Control CDC'10, Atlanta, Dec. 2010.
104. A. Petriccone, G. Pola, M. D. Di Benedetto, E. De Santis: A Complexity Reduction Approach to the Detection of Safety Critical Situations in Air Traffic Management Systems, 49th IEEE Conference on Decision and Control CDC'10, Atlanta, Dec. 2010.
105. G. Pola, P. Pepe, M. D. Di Benedetto: Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time-Varying Delays, 49th IEEE Conference on Decision and Control CDC'10,Atlanta, Dec. 2010.
106. U. Tiberi, C. Fischione, K. H. Johansson, M. D. Di Benedetto: Adaptive Self-triggered Control over IEEE 802.15.4 Networks, 49th IEEE Conference on Decision and Control CDC'10, Atlanta, USA, Dec. 2010.
107. U. Tiberi, C. Fischione, K.H. Johansson, M.D. Di Benedetto: Self-Triggered Control of Multiple Loops Over IEEE 802.15.4 Networks, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
108. G. Pola, M. D. Di Benedetto, E. De Santis: A Compositional Approach to Bisimulation of Arenas of Finite State Machines, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
109. M.D.Di Benedetto, A. D'Innocenzo, E. Serra: Dynamical Power Optimization by Decentralized Routing Control in Multi-Hop Wireless Control Networks, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
110. M.D.Di Benedetto, A. D'Innocenzo, E. Serra: Fault Tolerant Stabilizability of Multi-Hop Control Networks, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
111. A. Borri, S. D. Bopardikar, J. Hespanha, M. D. Di Benedetto: Hide-and-Seek with Directional Sensing, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
112. D. Bianchi, A. Borri, B. Castillo-Toledo, M. D.Di Benedetto, S. Di Gennaro: Active Control of Vehicle Attitude, IFAC World Congress 2011, Milano, August 29-Sept. 3, 2011.
113. C. Rinaldi, A. DInnocenzo, M.D. Di Benedetto, F. Santucci: A framework for modeling wireless embedded control systems, 5th International Symposium on Communications, Control and Signal Processing ISCCSP 2012, May 2-4, 2012, Rome, Italy.
114. A. D'Innocenzo, C. Rinaldi, M.D. Di Benedetto, F. Santucci: Hybrid power optimization of a wireless control system, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), Eindhoven, The Netherlands, June 6-8, 2012.
115. A. Petriccone, G. Pola, M.D. Di Benedetto, E. De Santis: Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), Eindhoven, The Netherlands, June 6-8, 2012.
116. G. Pola, M.D. Di Benedetto, Sequences of Discrete Abstractions for Piecewise Affine Systems, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), Eindhoven, The Netherlands, June 6-8, 2012.
117. 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.
118. 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.
119. 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.
A.Borri, G. Pola, M.D. Di Benedetto: Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems, 51st IEEE Conference on Decision and Control CDC'12, Maui, Hawaii, USA, Dec. 2012, pp. 1374-1379.
120. D. Bianchi, M.D. Di Benedetto, A. Ferrara: Networked Model Predictive Traffic Control with Time Varying Optimization Horizon: the Grenoble South Ring Case Study, European Control Conference (ECC2013), July 17 - 19, 2013, Zurich (CH).
121. D. Bianchi, M.D. Di Benedetto, A. Ferrara: Adaptive Networked Model Predictive Control of Freeway Traffic Systems, 2013 American Control Conference, June 17 - 19, Washington, DC (U.S.A.)
122. 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 CDC'13, Firenze, Italy, Dec. 2013, pp. 5276-5281.
123. A. Borri, D. Bianchi, M.D. Di Benedetto, S. Di Gennaro: Vehicle Attitude Control with Saturating Actuators: Workload Balancing and Reference Adaptation, 52nd Conference on Decision and Control CDC'13, pp. 1558-1563, Florence, Italy, Dec. 2013, pp. 1558-1563.
124. D. Pezzuti, G. Pola, E. De Santis, M.D. Di Benedetto: A Critical Bisimulation Approach to Safety Criticality Analysis of Large-Scale Air Traffic Management Systems, 52nd IEEE Conference on Decision and Control CDC'12, Florence, Italy, Dec. 2013, pp. 4424-4429.
125. A. Borri, D.V. Dimarogonas, K.H. Johansson, M.D. Di Benedetto, G. Pola: Decentralized symbolic control of interconnected systems with application to vehicle Platooning, 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems, September 25-26, 2013, Koblenz, Germany.
126. E. De Santis, M.D. Di Benedetto, M. Everdij, D. Pezzuti, G. Pola, L. Scarciolla: Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach, SESAR Innovation Days, November 26-28, 2013, Stockholm, Sweden.
127. M.D. Di Benedetto, G. Pola: Networked Embedded Control Systems: from Modelling to Implementation, Electronic Proceedings in Theoretical Computer Science (EPTCS) 124, pp. 9-13, Bortolussi L., Bujorianu M.L., Pola G. (Eds.): HAS 2013 doi:10.4204/EPTCS.124.
128. 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.
129. 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.
130. 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.