Maria Domenica Di Benedetto

Ubaldo Tiberi, Carlo Fischione, Karl Henrik Johansson, Maria Domenica Di Benedetto: Energy-efficient sampling of networked control systems over IEEE 802.15.4 wireless networks. Automatica 49(3): 712-724 (2013)

Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli: The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem. Automatica 49(4): 915-925 (2013)

Shaunak Dattaprasad Bopardikar, Alessandro Borri, João P. Hespanha, Maria Prandini, Maria Domenica Di Benedetto: Randomized sampling for large zero-sum games. Automatica 49(5): 1184-1194 (2013)

Giordano Pola, Alessandro Borri, Maria Domenica Di Benedetto: Integrated Design of Symbolic Controllers for Nonlinear Systems. IEEE Trans. Automat. Contr. 57(2): 534-539 (2012)

Raphael M. Jungers, Alessandro D'Innocenzo, Maria Domenica Di Benedetto: Feedback stabilization of dynamical systems with switched delays. CDC 2012: 1325-1330

Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: Integrated symbolic design of unstable nonlinear Networked Control Systems. CDC 2012: 1374-1379

F. Smarra, Alessandro D'Innocenzo, Maria Domenica Di Benedetto: Optimal co-design of control, scheduling and routing in multi-hop control networks. CDC 2012: 1960-1965

Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: A symbolic approach to the design of nonlinear networked control systems. HSCC 2012: 255-264

Giordano Pola, Maria Domenica Di Benedetto: Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach. CoRR abs/1202.1372 (2012)

Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: A Symbolic Approach to the Design of Nonlinear Networked Control Systems. CoRR abs/1203.1069 (2012)

Raphael M. Jungers, Alessandro D'Innocenzo, Maria Domenica Di Benedetto: Feedback stabilization of dynamical systems with switched delays. CoRR abs/1207.5119 (2012)

F. Smarra, Alessandro D'Innocenzo, Maria Domenica Di Benedetto: Optimal co-design of control, scheduling and routing in multi-hop control networks. CoRR abs/1208.5604 (2012)

Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems. CoRR abs/1209.0320 (2012)

Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Verification of Hybrid Automata Diagnosability by Abstraction. IEEE Trans. Automat. Contr. 56(9): 2050-2061 (2011)

Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto: Approximate Abstractions of Stochastic Hybrid Systems. IEEE Trans. Automat. Contr. 56(11): 2688-2694 (2011)

Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances. CDC-ECE 2011: 552-557

Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Digital self triggered robust control of nonlinear systems. CDC-ECE 2011: 1674-1679

Domenico Bianchi, Alessandro Borri, Bernardino Castillo-Toledo, Maria Domenica Di Benedetto, Stefano Di Gennaro: Smart management of actuator saturation in integrated vehicle control. CDC-ECE 2011: 2529-2534

Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra: Link failure detection in Multi-Hop Control Networks. CDC-ECE 2011: 5248-5253

Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra: Fault Tolerant Stabilizability of Multi-Hop Control Networks. CoRR abs/1103.4340 (2011)

Alessandro Borri, Shaunak Dattaprasad Bopardikar, João Pedro Hespanha, Maria Domenica Di Benedetto: Hide-and-Seek with Directional Sensing. CoRR abs/1104.1268 (2011)

Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis: Arenas of Finite State Machines. CoRR abs/1106.0342 (2011)

Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Digital Self Triggered Robust Control of Nonlinear Systems. CoRR abs/1108.5128 (2011)

Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra: Link Failure Detection in Multi-hop Control Networks. CoRR abs/1108.5316 (2011)

Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada: Symbolic models for nonlinear time-delay systems using approximate bisimulations. Systems & Control Letters 59(6): 365-373 (2010)

Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications. CDC 2010: 1528-1533

Alessandro Petriccone, Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis: A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems. CDC 2010: 2081-2086

Ubaldo Tiberi, Carlo Fischione, Karl Henrik Johansson, Maria Domenica Di Benedetto: Adaptive self-triggered control over IEEE 802.15.4 networks. CDC 2010: 2099-2104

Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto: Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays. CDC 2010: 7649-7654

Shaunak Dattaprasad Bopardikar, Alessandro Borri, João Pedro Hespanha, Maria Prandini, Maria Domenica Di Benedetto: Randomized sampling for large zero-sum games. CDC 2010: 7675-7680

Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola: A structural approach to detectability for a class of hybrid systems. Automatica 45(5): 1202-1206 (2009)

A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas: Approximate equivalence and synchronization of metric transition systems. Systems & Control Letters 58(2): 94-101 (2009)

Ruzena Bajcsy, Alessandro Borri, Maria Domenica Di Benedetto, Annarita Giani, Claire Tomlin: Classification of Physical Interactions between Two Subjects. BSN 2009: 187-192

Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada: A symbolic model approach to the digital control of nonlinear time-delay systems. CDC 2009: 2216-2221

Domenico Bianchi, Alessandro Borri, Gilberto Burgio, Maria Domenica Di Benedetto, Stefano Di Gennaro: Adaptive integrated vehicle control using active front steering and rear torque vectoring. CDC 2009: 3557-3562

Gabriella Fiore, Valeria Ercoli, Alf J. Isaksson, Krister Landernäs, Maria Domenica Di Benedetto: Multihop Multi-channel Scheduling for Wireless Control in WirelessHART Networks. ETFA 2009: 1-8

Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto: Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks. HSCC 2009: 76-89

Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra, Emmanuel Witrant: Automatic verification of wireless control in a mining ventilation system. CASE 2008: 858-863

Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto: Approximate abstractions of discrete-time controlled stochastic hybrid systems. CDC 2008: 221-226

Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Diagnosability of hybrid automata with measurement uncertainty. CDC 2008: 1042-1047

Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry: Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. HSCC 2008: 1-15

Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry: The Concept of Deadlock and Livelock in Hybrid Control Systems. HSCC 2007: 628-632

Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Diagnosability Verification for Hybrid Automata. HSCC 2007: 684-687

Maria-Gabriella Di Benedetto, Guerino Giancola, Maria Domenica Di Benedetto: Introducing consciousness in UWB networks by hybrid modelling of admission control. MONET 11(4): 521-534 (2006)

Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro: Observability of Hybrid Automata by Abstraction. HSCC 2006: 169-183

Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Efficient Solution of Optimal Control Problems Using Hybrid Systems. SIAM J. Control and Optimization 43(6): 1923-1952 (2005)

Elena De Santis, Maria Domenica Di Benedetto, Luca Berardi: Computation of maximal safe sets for switching systems. IEEE Trans. Automat. Contr. 49(2): 184-195 (2004)

Luca Benvenuti, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Individual cylinder characteristic estimation for a spark injection engine. Automatica 39(7): 1157-1169 (2003)

Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli: Design of Observers for Hybrid Systems. HSCC 2002: 76-89

Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Optimal Control Using Bisimulations: Implementation. HSCC 2001: 175-188

Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli (Eds.): Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings. Lecture Notes in Computer Science 2034, Springer 2001, isbn 3-540-41866-0

Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, K. Yamaguchi: A new procedure for exact ring closure. Journal of Computational Chemistry 21(10): 870-881 (2000)

Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli: Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. HSCC 2000: 32-44

Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto: Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications. HSCC 2000: 59-72

Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro: Theory of Optimal Control Using Bisimulations. HSCC 2000: 89-102

Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli: Hybrid control in automotive applications: the cut-off control. Automatica 35(3): 519-535 (1999)

Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli: Hybrid Control for Automotive Engine Management: The Cut-Off Case. HSCC 1998: 13-32

Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, K. Yamaguchi: Chain Closure: A Problem in Molecular CAD. DAC 1994: 497-502

Maria Domenica Di Benedetto: The design and construction of digital speech processing systems to serve as an aid to the hard-to-hearing. Speech Communication 1(3-4): 299-300 (1982)