Maria Domenica Di Benedetto

Full Professor

Coppito 1, Room
mariadomenica.dibenedetto@univaq.it
+39 0862434449

Maria Domenica Di Benedetto has been Professor of Control Theory at University of l'Aquila since 1994. 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.

Since 2002, she has been IEEE Fellow. From 2007 to 2010, she has been 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. From 1995 to 1999, she has been Associate Editor of the IEEE Transactions of Automatic Control. From 2006 to 2009, she has been Associate Editor at Large of the IEEE Transactions on Automatic Control. Since 1995 she is Subject Editor of the International Journal of Robust and Nonlinear Control. Since 2015 she is a member of the Editorial Board of Annual Reviews in Control. Since 2016 she is member of the Editorial Board of Nonlinear Analysis Hybrid Systems.

She isthe Director of the Center of Excellence for Research DEWS "Architectures and Design methodologies for Embedded controllers, Wireless interconnect and System-on-Chip". She is President of the European Embedded Control Institute since 2009. She is Member of the International Advisory Board for LCCC - Lund Center for Control of Complex engineering systems since 2010. She has been Member of the scientific review panel (ICT panel) for the Swedish Research Council in 2012 and 2014. Since 2013 she is President of the Italian Association of Researchers in Automatic Control (SIDRA).

 Her research interests are in the area of nonlinear, hybrid and networked systems, and applications to energy and traffic control.

The information is available at the external address http://www.ing.univaq.it/personale/scheda_personale.php?codice=146.

Pubblicazioni (2012-2016)

RIVISTE INTERNAZIONALI

G. Pola, A. Borri, M.D. Di Benedetto: Integrated design of symbolic controllers for nonlinear systems, IEEE Trans. on Automatic Control, vol. 57, Issue 2, 2012, pp. 534-519.

 A. Borri, G. Pola, M.D. Di Benedetto: Symbolic models for nonlinear control systems affected by disturbances, International Journal of Control, vol. 85, Issue 10, 2012, pp. 1422-1432.

E. De Santis, M.D. Di Benedetto, Guest Editors, Special Issue on Observability and observer-based control of hybrid systems. International Journal of Robust and Nonlinear Control, vol. 19, Issue 14, 2009, pp. 1519-1520.

M.D. Di Benedetto: Sensors as the Enabling Technology for Future ICT Systems, Guest Editorial, TechTalk, Special Issue on "Sensors and Signal Processing", July 2012.

S. D. Bopardikar, A. Borri, J. P. Hespanha, M. Prandini, M.D. Di Benedetto: Randomized Sampling for Large Zero-Sum Games, Automatica, vol. 49, Issue 5, 2013, pp. 1184-1194.

A. D’Innocenzo, M.D. Di Benedetto, E. Serra. Fault Tolerant Control of Multi-Hop Control Networks. IEEE Transactions on Automatic Control, vol. 58, Issue 6, 2013, pp. 1377-1389.

U. Tiberi, C. Fischione, K.H. Johansson, M.D. Di Benedetto: Energy-efficient sampling of networked control systems over IEEE 802.15.4 wireless networks, Automatica, vol. 49, Issue 3, March 2013, pp. 712-7A. Balluchi, L. Benvenuti, M.D. Di Benedetto, A.L. Sangiovanni-Vincentelli: Dynamical observers for hybrid systems: Theory and Application to an Automotive Control Problem, Automatica, vol. 49, Issue 4, 2013, pp. 915-925

M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Digital Self Triggered Robust Control of Nonlinear Systems. International Journal of Control, vol.  86, 2013, pp. 1664-1672.

E. De Santis, M.D. Di Benedetto: Theory and computation of discrete state space decompositions for hybrid systems, European Journal of Control, vol. 19, 2013, pp. 1-10, DOI: 10.1016/j.ejcon.2012.09.001.

 G. Pola, M. D. Di Benedetto: Symbolic Models and Control of Discrete--Time Piecewise Affine Systems: An Approximate Simulation Approach, IEEE Trans. on Automatic Control, vol. 59, n. 1, 2014, p. 175-180, ISSN: 0018-9286.

 G. Pola, P. Pepe, M. D. Di Benedetto: Symbolic Models for Time–Varying Time–Delay Systems via Alternating Approximate Bisimulation,  International Journal of Robust and Nonlinear Control, vol. 25, pp. 2328–2347, September 2015.

M.D. Di Benedetto, S. Di Gennaro, A. D’Innocenzo: Hybrid Systems and Verification by Abstraction, in Hybrid Dynamical Systems, Springer International Publishing Switzerland 2015, M. Djemai and M. Defoort (eds.), Lecture Notes in Control and Information Sciences 457, DOI 10.1007/978-3-319-10795-0_1, 2015, pp. 1-25.

R. M. Jungers, A. D'Innocenzo, M. D. Di Benedetto. Controllability of Linear Systems with Switching Delays, IEEE Trans. on Automatic Control, 2016, 61(4):1117-1122.

Yi Deng, A. D'Innocenzo, M. D. Di Benedetto, S. Di Gennaro, A. A. Julius. Verification of Hybrid Automata Diagnosability with Measurement Uncertainty. IEEE Transactions on Automatic Control, 61(4):982-993, 2016.

E. De Santis and M.D. Di Benedetto: Observability of Hybrid Dynamical Systems, Invited Paper in Foundations and Trends in Systems and Control, Vol. 3, No. 4 (2016) 363–540 c2016  DOI: 10.1561/2600000009.

F. Smarra, M.D. Di Benedetto, A. D'Innocenzo. Resilient Stabilization of MIMO plants over Multi-Hop Control Networks. Automatica, provisionally accepted.

A.Borri G. Pola, M. D. Di Benedetto: Symbolic Control Design of Nonlinear Networked Control Systems, 2015, Provisionally accepted in IEEE Trans. on Automatic Control.

D. Pezzuti, G. Pola, E. De Santis, M.D. Di Benedetto: Decentralized Critical Observers of Networks of Finite State Machines and Model Reduction, 2014, provisionally accepted in Automatica.

G. Pola, P. Pepe, M. D. Di Benedetto: Symbolic Models for Networks of Control Systems, 2015, IEEE Trans. on Automatic Control, to appear in Feb.2017.

E. De Santis, M. D. Di Benedetto: Observability and Diagnosability of Finite State Systems: a Unifying Framework, 2015, submitted to Automatica.

 CONFERENZE INTERNAZIONALI

 A. Borri, G. Pola, M.D. Di Benedetto: A symbolic approach to the design of nonlinear networked control systems, Hybrid Systems: Computation and Control, HSCC2012, Thao Dang and Ian Mitchell Eds., Beijing, April 17-19, pp. 255-264, 2012.

 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, pp. 1-4.

 A. D'Innocenzo, C. Rinaldi, M.D. Di Benedetto, F. Santucci: Hybrid power control on a wireless networked control system, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), Eindhoven, The Netherlands, June 6-8, 2012.

 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.

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.

 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.

 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.

 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, Dec. 2012, pp. 1960-1965.

 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, Dec. 2012, pp. 1325-1330.

 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).

 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.)

 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.

 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.

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.

 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.

 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.

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.

 M. D. Di Benedetto, A. D'Innocenzo, F. Smarra: Fault-tolerant control of a wireless HVAC control system, {it 6th International Symposium on Communications, Control, and Signal Processing (ISCCSP-2014)}, Athens, Greece, May 21-23, 2014

 G. Pola, P. Pepe, M. D. Di Benedetto: Symbolic Models for Networks of Discrete-Time Nonlinear Control Systems, Invited paper, American Control Conference 2014 (ACC2014), June 4 - 6, 2014, Portland, OR, pp. 1787-1792.

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'14 WS - QoENAM, Sidney, Australia, June12--14, 2014.

R. Jungers, A. D'Innocenzo, M. D. Di Benedetto: How to control Linear Systems with switching delays, {it European Control Conference (ECC2014), Strasbourg, France, June 24--27, 2014.

R. Jungers, A. D'Innocenzo, M. D. Di Benedetto: Further results on controllability of linear systems with switching delays, IFAC World Congress, Cape Town, South Africa, 24--29 August, 2014.

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 2015, Linz (Germany), July 15--17, 2015, Best application paper award.

D. Pezzuti, S. Lessanibahri, G. Pola, E. De Santis, M. D. Di Benedetto: Critical Observability of Networks of Finite State Machines, European Control Conference 2015, Linz (Germany), July 15--18, 2015.

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 2015, Linz (Germany), July 15--17, 2015.

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.

 A. Iovine, F. Valentini, E. De Santis, M. D. Di Benedetto, M. Pratesi: Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control,  5th IFAC Conference on Analysis and Design of Hybrid Systems ADHS2015, Oct. 14--16, 2015, Atlanta (Georgia), USA.

A.Iovine, G. Fiore, E. De Santis, M. D. Di Benedetto: Direct Current MicroGrids for Urban Sustainability, CINI Annual Conference on ICT for Smart Cities & Communities (I-CITIES 2016), Benevento, September 29-30, 2016.

A.Iovine, F. Valentini, E. De Santis, M. D. Di Benedetto, M. Pratesi: Safe Human-Inspired Mesoscopic Hybrid Automaton for Autonomous Vehicles, CINI Annual Conference on ICT for Smart Cities & Communities (I-CITIES 2016), Benevento, September 29-30, 2016.

A. Iovine, G. Damm, E. De Santis, M. D. Di Benedetto, A. Benchaib, S. B. Siad: Nonlinear Control of an AC-connected DC MicroGrid, 42nd Annual Conference of IEEE Industrial Electronics Society IECON 2016, October 24-27, Oct. 2016, Firenze (Italy).

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 (CDC2016), Las Vegas, USA, 12--14 Dec. 2016.

 G. Pola, C. Manes, A. J. van der Schaft, M. D. Di Benedetto: Model Reduction of Continuous–Time Stochastic Linear Control Systems via Bisimulation Equivalence, 55th IEEE Conference on Decision and Control (CDC2016), Las Vegas, USA, 12--14 Dec. 2016.

G. Pola, C. Manes, M. D. Di Benedetto: On External Behavior Equivalence of Continuous–Time Stochastic Linear Control Systems, 55th IEEE Conference on Decision and Control (CDC2016), Las Vegas, USA, 12--14 Dec. 2016.

G. Pola, A. Borri, M.D. Di Benedetto: On Symbolic Control Design of Discrete–Time Nonlinear Systems with State Quantized Measurements, 55th IEEE Conference on Decision and Control (CDC2016), Las Vegas, USA, 12--14 Dec. 2016.

G. Pola, P. Pepe, M.D. Di Benedetto, On Decentralized Approximate Supervisory Control of Networks of Nonlinear Control Systems, 55th IEEE Conference on Decision and Control (CDC2016), Las Vegas, USA, 12--14 Dec. 2016.

MAGAZINES

E. De Santis, M. D. Di Benedetto, G. Pola: Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems' Approach, ERCIM News No. 97, April 2014

A.Borri, M. D. Di Benedetto, G. Pola: Towards a Unified Theory for the Control of CPS: A Symbolic Approach, ERCIM News No. 97, April 2014

M.D. Di Benedetto, A. D’Innocenzo: Modeling, Analysis and Co-design of Wireless Control Networks, ERCIM News No. 97, April 2014