Maria Domenica Di Benedetto - HOME PAGE
Position: | Professor |
Area: | Automatic Control |
E-mail: | mariadomenica.dibenedetto(at)univaq.it |
Phone: | +39 3209231095 |
Fax: |
Short Biography
Maria Domenica Di Benedetto has been a Professor of Electrical Engineering and Computer Science at the University of l'Aquila since 1994. She obtained the "Dr. Ing." degree (summa cum laude) of Electrical Engineering and Computer Science from the Università di Roma "La Sapienza", Italy, in 1976. In 1981, she obtained the degree ``Docteur-Ingenieur" and in 1987 the degree "Doctorat d'Etat ès Sciences" from the Université de Paris-Sud (Orsay, France). From 1979 to 1983, she was research engineer at the scientific centers of IBM in Paris and Rome. From 1983 to 1987, she was Assistant Professor at the University of Roma "La Sapienza". From 1987 to 1990, she was Associate Professor at the Istituto Universitario Navale of Naples. From 1990 to 1993 she was Associate Professor at the University of Roma "La Sapienza". From 1995 to 2002, she has been Adjunct Professor at the Department of EECS, University of California at Berkeley. In 1987, she was Visiting Scientist al MIT, in 1988, 1989 e 1992 Visiting Professor at the University of Michigan, Ann Arbor, in 1992 Chercheur Associé, C.N.R.S., Poste Rouge, Ecole Nationale Supérieure de Mécanique, Nantes, France, from 1990 to 1995 McKay Professor at the University of California Berkeley.
Prof. Di Benedetto has been the Principal Investigator of the University of L'Aquila for the trilateral scientific agreement among University of L'Aquila, University of Roma "La Sapienza" and University of California at Berkeley. She is the PI and Director of the Center of Excellence for Research DEWS "Architectures and Design methodologies for Embedded controllers, Wireless interconnect and System-on-Chip". Since 1995, she is Member of the Scientific Committee of the Center of Excellence for Research CETEMPS, University of L'Aquila. She is co-founder and member of the Governing Board of WEST Aquila S.r.L. She is Member of the Board of Fondazione MIRROR since 2008.
Prof. Di Benedetto has been a Fellow of the IEEE since 2002. Since May 2007, she is member of the IEEE Control Systems Technical Fields Award Committee, IEEE Control Systems Society. From 2003 to 2007 she has been Chair of the Standing Committee on Fellow Nominations, IEEE Control Systems Society. Since 2006, she is Associate Editor at Large of the IEEE Transactions on Automatic Control. From 1995 to 1999, she has been Associate Editor of the IEEE Transactions of Automatic Control. Since 1995 she is Subject Editor of the International Journal of Robust and Nonlinear Control. Her research interests are centered about analysis and control of hybrid systems, embedded control systems, networked control systems, with applications to automotive and air traffic management.
Research
Current Projects:
- Director, Center of Excellence DEWS “Design of Embedded Systems, Wireless Interconnect and System-on-chip”, University of L’Aquila, July 2001-present, www.dews.ing.univaq.it
- EC STREP Project iFly: Safety, Complexity and Responsibility based design and validation of highly automated Air Traffic Management ", 2007-2010, http://ifly.nlr.nl/
- EC IST Network of Excellence: HYCON, June 2004 – March 2009. http://www.ist-hycon.org/
- EC IST project COLUMBUS: Design of Embedded Controllers for Safety Critical Systems", July 2002- June 2004, http://www.columbus.gr/
- EECI- Networked Control Systems Laboratory, http://www.eeci-institute.eu/index.php?p=Home
- PI, PRIN05 “Sistemi di previsione e controllo di eventi franosi:integrazione di reti distribuite di sensori locali, tecniche di telerilevamento e modelli meteo-idro-geologici”
Editorial Activities
- IEEE Control Systems Award Committee, IEEE Control Systems Society, May 2007- present
- Subject Editor of International Journal of Robust and Nonlinear Control (1995-present)
- Associate Editor at Large of IEEE Transactions on Automatic Control (2006-2009)
- Guest Editor of Special Issue on “Observability and Observer Design for Hybrid Systems” of the International Journal of Robust and Nonlinear Control, 2008
- Guest Editor of Special Issue on “Industrial control over wireless networks” of the International Journal of Robust and Nonlinear Control, 2008
Publications
Selected Recent Publications
Journal Papers
- M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo: Verification of hybrid automata diagnosability by abstraction, IEEE Trans. Automatic Control, vol. 56, Sept. 2011, pp. 2050 - 2061.
- A. Abate, A. D'Innocenzo, M.D. Di Benedetto: Approximate abstractions of stochastic hybrid systems, IEEE Trans. Automatic Control, vol. 56, n.10, 2011, pp. 2688-2694.
- G. Pola,A. Borri, M.D. Di Benedetto: Integrated design of symbolic controllers for nonlinear systems, IEEE Trans. Automatic Controll, vol. 57, n.3, 2012, to appear.
- A. Borri, D. Bianchi, G. Burgio, M. D. Di Benedetto, S. Di Gennaro: Adaptive Integrated Vehicle Control using Active Front Steering and Rear Torque Vectoring, International Journal of Vehicle Autonomous Systems (IJVAS), Special Issue on “Autonomous and Semi-Autonomous Control for Safe Driving of Ground Vehicles”, J. Lu, P. Tsiotras Eds., vol. 8, No.2/3/4, 2010, pp. 85-105.
- E. De Santis, M.D. Di Benedetto, G. Pola: A complexity reduction approach to detectability of switching systems, International Journal of Control, vol. 83, Issue 9, 2010, pp. 1930 - 1938.
- G. Pola, P. Pepe, M. D. Di Benedetto, P. Tabuada: Symbolic models for nonlinear time-delay systems using approximate bisimulations, Systems and Control Letters, vol. 59, 2010, pp. 365-373, DOI information: 10.1016/j.sysconle.2010.04.001.
- A. Abate, A. D'Innocenzo, M.D. Di Benedetto and S. Sastry: Understanding deadlock and livelock behaviors in Hybrid Control Systems, Nonlinear Analysis: Hybrid Systems 3, 2009, pp. 150-162.
- M.D. Di Benedetto, S. Di Gennaro and A. D'Innocenzo: Discrete State Observability of Hybrid Systems, International Journal of Robust and Nonlinear Control, Special Issue on "Observability and Observer-Based Control of Hybrid Systems", vol. 19, Issue 14, 2009, pp. 1564-1580.
- A.A. Julius, A. D'Innocenzo, G.J. Pappas, M.D. Di Benedetto: Approximate equivalence and synchronization of metric transition systems, Systems and Control Letters, vol. 58, Issue 2, Feb. 2009, pp. 94-101.
- E. Witrant, A. D’Innocenzo, G. Sandou, F. Santucci, M.D. Di Benedetto, A.J. Isaksson, K.H.Johansson, S.-I. Niculescu, S. Olaru, E. Serra, S. Tennina, U. Tiberi: Wireless Ventilation Control for Large-Scale Systems: the Mining Industrial Case, International Journal of Robust and Nonlinear Control, Special Issue on "Industrial Control over Wireless Networks ICWN08", M.D.Di Benedetto, K.H. Johansson, M. Johansson, F. Santucci Eds., vol. 20, Issue 2, Feb. 2010, pp. 226 - 251.
- E. De Santis, M.D. Di Benedetto and G. Pola: Stabilizability of linear switching systems, Nonlinear Analysis: Theory, Methods and Applications, Special Issue on Hybrid Systems 2, February 2008, pp. 750-764.
- B. Castillo-Toledo, M.D. Di Benedetto and S. Di Gennaro: Nonlinear Control of Electromagnetic Valves for Camless Engines, International Journal of Control, HYCON Special Issue on Automotive Control, Vol. 80, No. 11, November 2007, pp. 1796-1813.
- E. De Santis, M.D. Di Benedetto and G. Pola: A structural approach to detectability for a class of hybrid systems, Automatica, 2009.
- M.D. Di Benedetto, G. Pola and A. Van der Schaft: Equivalence of switching linear systems by bisimulation, International Journal of Control, vol. 79, n.1, January 2006, pp.74-92.
- M.D. Di Benedetto, M.G. Di Benedetto and G. Giancola: Introducing Consciousness in UWB networks by Hybrid Modelling of Admission Control, Mobile Networks and Applications, ISSN:1383-469X. ACM/Springer Journal on Special Topics in Mobile Networks and Applications, Special Issue on "Ultra Wide Band for Sensor Networks" , 2006, vol.11, no.4, pp. 521-534.
- E. De Santis, M.D. Di Benedetto and G. Pola: Digital Idle Speed Control of Automotive Engines: A Safety Problem for Hybrid Systems, Nonlinear Analysis: Theory, Methods and Applications, Special Issue on Hybrid Systems and Applications, vol.65, n.7, October 2006, pp. 1705-1724.
- M. Broucke, M.D. Di Benedetto, S. Di Gennaro and A.L. Sangiovanni-Vincentelli: Efficient solution of optimal control problems using hybrid systems, SIAM Journal on Control and Optimization, vol. 43, n.6, 2005, pp. 1923-1952.
- L. Berardi, E. De Santis and M.D. Di Benedetto: Computation of maximal safe sets for switching systems, IEEE Trans. Automatic Control, vol.AC-48, n.2, Feb. 2004, pp. 184-195.
- L. Benvenuti, M.D. Di Benedetto, S. Di Gennaro and A.L. Sangiovanni-Vincentelli: Individual cylinder Air-Fuel ratio evaluation with a single EGO sensor, Automatica, 39, 2003, pp. 1157-1169.
- A. Balluchi, L. Benvenuti, M.D. Di Benedetto and A.L. Sangiovanni-Vincentelli: Hybrid Control of Force Transients for Multi-Point Injection Engines, International Journal of Robust and Nonlinear Control, Special Issue on Hybrid Systems in Control, vol. 11, n.5, pp.515-539, 2001.
- M.D. Di Benedetto, A.L. Sangiovanni- Vincentelli and T. Villa: Model matching for finite state machines. IEEE Trans. Automatic Control, vol.AC--46, n.11, 2001, pp.1726-1743.
- A. Balluchi, L. Benvenuti, M.D. Di Benedetto, C. Pinello and A.L. Sangiovanni-Vincentelli: Automotive Engine Control and Hybrid Systems: Challenges and Opportunities. Proceedings IEEE, Invited Paper, vol.88, n.7, July 2000, pp.888-912.
- M.D. Di Benedetto, P. Lucibello, A.L. Sangiovanni-Vincentelli and K. Yamaguchi: A new procedure for exact ring closure, Journal of Computational Chemistry, vol.21, n.10, pp.870-881, 2000.
International Conference Proceedings and Book Chapters:
- E. De Santis, M.D. Di Benedetto and G. Pola: "Observability of linear switching systems", in Chapter 4 "Switched and Piecewise Affine Systems" of Handbook of Hybrid Systems Control - Theory, Tools - Applications, Jan Lunze and F. Lamnabhi-Lagarrigue Eds., Cambridge University Press, Cambridge 2009.
- A. Bicchi, A. D'Innocenzo, M.D. Di Benedetto, K. Johansson, Anders Robertsson, F. Santucci, U. Tiberi, and Anthony Tzes: "Networked Control", Chapter 16 in Handbook of Hybrid Systems Control - Theory, Tools - Applications, Jan Lunze and F. Lamnabhi-Lagarrigue Eds., Cambridge University Press, Cambridge 2009.
- A. Borri, M.D. Di Benedetto and M.G. Di Benedetto: Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks, Hybrid Systems: Computation and Control, San Francisco, CA, USA, LNCS, Springer Verlag, April 2009.
- A. Abate, A. D'Innocenzo, M.D. Di Benedetto and S.. Sastry: Set-Chains as abstractions of Stochastic Hybrid Systems, Hybrid Systems: Computation and Control (HSCC08), Lecture Notes in Control and Information Sciences, St Louis, April 22-25, 2008.
- E. De Santis, M.D. Di Benedetto, M.G. Di Benedetto and G. Giancola: Analysis of Cognitive Radio Dynamics, Cognitive Wireless Communications Networks, Vijay Bhargava and Ekram Hossain Eds., Springer, 2007.
- E. De Santis, M.D. Di Benedetto and G. Pola: Stabilizability of affine switching systems: A Kalman-like approach, CTS-HYCON Workshop, Université Paris Sorbonne, 10-12 July 2006, In F. Lamnabhi Lagarrigue, S. Laghrouche, A. Loria, and E. Panteley, Editors, Taming Heterogeneity and Complexity of Embedded Control, International Scientific and Technical Encyclopedia (ISTE), 2006.
- A. D'Innocenzo, M.D. Di Benedetto and S. Di Gennaro: Observability of hybrid automata by abstraction, CTS-HYCON Workshop, Université Paris Sorbonne, 10-12 July 2006, In F. Lamnabhi-Lagarrigue, S. Laghrouche, A. Loria, and E. Panteley, Editors, Taming Heterogeneity and Complexity of Embedded Control, International Scientific and Technical Encyclopedia (ISTE), 2006.
- A. D'Innocenzo, M.D. Di Benedetto and S. Di Gennaro: Observability of hybrid automata by abstraction. Proc. 9th International Workshop HSCC 2006, Santa Barbara, CA, U.S.A., March 2006, Lecture Notes in Computer Science, vol. 3927, Springer Verlag, Hybrid Systems: Computation and Control (J. Hespanha and A. Tiwari, Eds.), pp. 169-183.
- A.D'Innocenzo, E. De Santis, M.D. Di Benedetto, S. Di Gennaro and G. Pola: Critical Observability for a Class of Hybrid Systems and Application to Air Traffic Management, Chapter in HYBRIDGE Final Deliverable Book "Stochastic Hybrid Systems: Theory and Safety Critical Applications", Lecture Notes in Control and Information Sciences, Springer-Verlag, 2006.
- A. D’Innocenzo, M.D. Di Benedetto and S. Di Gennaro: Fault diagnosis in a wireless network, 17th World Congress of IFAC, Seoul, 6-11 July 2008.
- A. D’Innocenzo, M.D. Di Benedetto, E. Serra and E. Witrant: Automatic Verification of Wireless Control in a Mining Ventilation System, 4th IEEE Conference on Automation Science and Engineering (IEEE-CASE 2008), Key Bridge Marriott, Washington DC, August 23-26, 2008.
- A. D’Innocenzo, M.D. Di Benedetto and A. Petriccone: Automatic verification of temporal properties of Air Traffic Management procedures using Hybrid Systems, EUROCONTROL INNO Workshop, Brétigny, France, 2-4 Dec. 2008.
- A. D’Innocenzo, M.D. Di Benedetto and S. Di Gennaro: Diagnosability of hybrid automata with measurement uncertainty, 47th IEEE Conference on Decision and Control (CDC'08), Cancun, Mexico, Dec. 2008.
- A. Abate, A. D’Innocenzo and M.D. Di Benedetto: Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems, 47th IEEE Conference on Decision and Control (CDC'08), Cancun, Mexico, Dec. 2008.
- E. De Santis, M.D. Di Benedetto and 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.
- C. Acosta Lua, B. Castillo Toledo, M.D. Di Benedetto and S. Di Gennaro: Output Feedback Regulation of Electromagnetic Valves for Camless Engines, European Control Conference 2007, Kos (Greece), 2-5 July 2007.
- C. Acosta Lua, B. Castillo Toledo, M.D. Di Benedetto and S. Di Gennaro: Output Feedback Regulation of Electromagnetic Valves for Camless Engines, 2007 American Control Conference, ACC07, New York City, 11- 13 July 2007.
- A. D’Innocenzo, M.D. Di Benedetto, C. Rinaldi, F. Santucci and 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.
- E. De Santis and M.D. Di Benedetto: Observer design for discrete-time Linear Switching Systems, 3rd IFAC Symposium on System, Structure and Control, IFAC-SSSC07, Foz do Iguaçu, Brazil, 17-19 October, 2007.
- A. D'Innocenzo, M.D. Di Benedetto, S. Di Gennaro, A.A. Julius and G. Pappas: 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.
- A. D'Innocenzo, M.D. Di Benedetto and A.A. Julius: Approximate timed abstractions of Hybrid Systems, 46th IEEE Conference on Decision and Control (CDC'07), New Orleans, U.S.A., Dec. 2007.
- A. D’Innocenzo, M.D. Di Benedetto and S. Di Gennaro: Diagnosability Verification for Hybrid Automata and Durational Graphs, 46th IEEE Conference on Decision and Control (CDC'07), New Orleans, U.S.A., Dec. 2007.
- E. De Santis, M.D. Di Benedetto, M.G. Di Benedetto and G. Giancola: 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.
- E. De Santis, M. D. Di Benedetto and G. Pola: Stabilizability-based state space reductions for hybrid systems, ADHS06: 2nd IFAC Conference on Analysis and Design of Hybrid Systems 2006, Invited session on "Structural properties of hybrid systems", June 7-9, 2006, Alghero, Italy.
- A. D'Innocenzo, M.D. Di Benedetto and S. Di Gennaro: Critical States Detection with Bounded Probability of False Alarm and Application to Air Traffic Management, ADHS06: 2nd IFAC Conference on Analysis and Design of Hybrid Systems 2006, June 7-9, 2006, Alghero, Italy.
- A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A. Sanviovanni-Vinecentelli and T. Villa,: Idle Speed Control - A Benchmark for Hybrid System Research, ADHS06: 2nd IFAC Conference on Analysis and Design of Hybrid Systems 2006, June 7-9, 2006, Alghero , Italy.
- M.D. Di Benedetto and 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.
- M.D. Di Benedetto, J. Lygeros and G. Pola: Invariance in Stochastic Dynamical Control Systems, Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24-28, 2006.
- A. D’Innocenzo, M.D. Di Benedetto, G. Pola, C. Rinaldi and F. Santucci: A Theoretical Framework for Control Over Wireless Networks, Invited Mini-Symposium on "Distributed decision-making over ad-hoc networks", Int. Symposium on Mathematical Theory of Networks and Systems MTNS06, Kyoto, July 24-28, 2006.
- E. De Santis, M.D. Di Benedetto, M.G. Di Benedetto and 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.
- E. De Santis, M.D. Di Benedetto and 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.
- E. De Santis, M.D. Di Benedetto and 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.
- B. Castillo Toledo, M.D. Di Benedetto and 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.
Group
Current Members:
- Giordano Pola (Assistant Professor)
- Alessandro D’Innocenzo (Assistant Professor)
- Domenico Bianchi (Ph.D. graduate student)
- Alessandro Borri (Ph.D. graduate student)
- Alessandro Petriccone (Ph.D. graduate student)
- Emmanuele Serra (Ph.D. graduate student)
Teaching
- Automatic Control
- Control Systems, ERASMUS MUNDUS
- Analysis and Control of Hybrid Systems
- Embedded Systems
News
Maria Domenica Di Benedetto received...