Phonetic recognition to assist lip-reading for deaf children. - Maria Domenica Di Benedetto; Francis Destombes; Bernard Mérialdo; Jean-Pierre Tubach (ICASSP, 1982)

The design and construction of digital speech processing systems to serve as an aid to the hard-to-hearing. - Maria Domenica Di Benedetto (Speech Commun., 1982)

A study on vowel behaviour and its description by a statistical model. - Maria Domenica Di Benedetto; Maria-Gabriella Di Benedetto (ICASSP, 1985)

A Bayesian-adaptive decision method for the V/UV/S classification of segments of a speech signal. - Giordano Bruno; Maria Domenica Di Benedetto; Maria-Gabriella Di Benedetto; Angelo Gilio; Paolo Mandarini (IEEE Trans. Acoust. Speech Signal Process., 1987)

Control of nonholonomic systems via dynamic compensation. - Alessandro De Luca 001; Marika Domenica Di Benedetto (Kybernetika, 1993)

Inversion of nonlinear time-varying systems. - Maria Domenica Di Benedetto; Pasquale Lucibello (IEEE Trans. Autom. Control., 1993)

Chain Closure: A Problem in Molecular CAD. - Maria Domenica Di Benedetto; Pasquale Lucibello; Alberto L. Sangiovanni-Vincentelli; Ken Yamaguchi (DAC, 1994)

Asymptotic model matching for nonlinear systems. - Maria Domenica Di Benedetto; Jessy W. Grizzle (IEEE Trans. Autom. Control., 1994)

The nonlinear interactor and its application to input-output decoupling. - Maria Domenica Di Benedetto; Alain Glumineau; Claude H. Moog (IEEE Trans. Autom. Control., 1994)

Necessary conditions for asymptotic tracking in nonlinear systems. - Jessy W. Grizzle; Maria Domenica Di Benedetto; Françoise Lamnabhi-Lagarrigue (IEEE Trans. Autom. Control., 1994)

Supervisory Control of Finite State Machines. - Adnan Aziz; Felice Balarin; Robert K. Brayton; Marika Domenica Di Benedetto; Alexander Saldanha (CAV, 1995)

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

Control of switching systems under state and input constraints. - Luca Berardi; Elena De Santis; Maria Domenica Di Benedetto (ECC, 1999)

Hybrid control in automotive applications: the cut-off control. - Andrea Balluchi; Maria Domenica Di Benedetto; Claudio Pinello; Carlo Rossi; Alberto L. Sangiovanni-Vincentelli (Autom., 1999)

Hybrid controller synthesis for idle speed management of an automotive engine. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Tiziano Villa; Howard Wong-Toi; Alberto L. Sangiovanni-Vincentelli (ACC, 2000)

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

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

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

A new procedure for exact ring closure. - Maria Domenica Di Benedetto; Pasquale Lucibello; Alberto L. Sangiovanni-Vincentelli; Ken Yamaguchi (J. Comput. Chem., 2000)

Automotive engine control and hybrid systems: challenges and opportunities. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (Proc. IEEE, 2000)

Mixed models of computation in the design of automotive engine control. - Andrea Balluchi; Maria Domenica Di Benedetto; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (CDC, 2001)

A hybrid observer for the driveline dynamics. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Alberto L. Sangiovanni-Vincentelli (ECC, 2001)

Controlled safe sets for continuous time linear systems. - Luca Berardi; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (ECC, 2001)

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

Model matching for finite-state machines. - Maria Domenica Di Benedetto; Alberto L. Sangiovanni-Vincentelli; Tiziano Villa (IEEE Trans. Autom. Control., 2001)

Integrated control-implementation design. - Andrea Balluchi; Luca Beradi; Maria Domenica Di Benedetto; Alberto Ferrari; Giovanni Girasole; Alberto L. Sangiovanni-Vincentelli (CDC, 2002)

Design of Observers for Hybrid Systems. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Alberto L. Sangiovanni-Vincentelli (HSCC, 2002)

A New Experiment in Research on Hybrid Systems: The Center of Excellence DEWS. - Maria Domenica Di Benedetto; John Lygeros; The DEWS Team (ADHS, 2003)

Stochastic Hybrid Models: An Overview. - Giordano Pola; Manuela-Luminita Bujorianu; John Lygeros; Maria Domenica Di Benedetto (ADHS, 2003)

Observability for hybrid systems. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Alberto L. Sangiovanni-Vincentelli (CDC, 2003)

On observability and detectability of continuous-time linear switching systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2003)

Individual cylinder characteristic estimation for a spark injection engine. - Luca Benvenuti; Maria Domenica Di Benedetto; Stefano Di Gennaro; Alberto L. Sangiovanni-Vincentelli (Autom., 2003)

Bisimulation theory for switching linear systems. - Giordano Pola; Arjan J. van der Schaft; Maria Domenica Di Benedetto (CDC, 2004)

Digital control of continuous-time switching systems with safety constraints. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2004)

Computation of maximal safe sets for switching systems. - Elena De Santis; Maria Domenica Di Benedetto; Luca Berardi (IEEE Trans. Autom. Control., 2004)

Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (ISIC, 2005)

Design of Luenberger-Like Observers for Detectable Switching Systems. - Elena De Santis; Maria Domenica Di Benedetto (ISIC, 2005)

Error Detection within a Specific Time Horizon and Application to Air Traffic Management. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (CDC/ECC, 2005)

Achievable Bisimilar Behaviour of Abstract State Systems. - Giordano Pola; Arjan J. van der Schaft; Maria Domenica Di Benedetto (CDC/ECC, 2005)

Efficient Solution of Optimal Control Problems Using Hybrid Systems. - Mireille E. Broucke; Maria Domenica Di Benedetto; Stefano Di Gennaro; Alberto L. Sangiovanni-Vincentelli (SIAM J. Control. Optim., 2005)

Idle Speed control - a Benchmark for Hybrid System Research1. - Andrea Balluchi; Luca Benvenuti; Maria Domenica Di Benedetto; Tiziano Villa; Alberto L. Sangiovanni-Vincentelli (ADHS, 2006)

Critical States Detection with Bounded Probability of False Alarm and Application to Air Traffic Management. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (ADHS, 2006)

Stabilizability based State Space Reductions for Hybrid Systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (ADHS, 2006)

Nonlinear Regulation of Electromagnetic Valves for Camless Engines. - Stefano Di Gennaro; Bernardino Castillo-Toledo; Maria Domenica Di Benedetto (CDC, 2006)

Observability of Internal Variables in Interconnected Switching Systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2006)

Observability of Hybrid Automata by Abstraction. - Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Stefano Di Gennaro (HSCC, 2006)

Introducing consciousness in UWB networks by hybrid modelling of admission control. - Maria-Gabriella Di Benedetto; Guerino Giancola; Maria Domenica Di Benedetto (Mob. Networks Appl., 2006)

Modeling and design of control algorithms over wireless networks. - Maria Domenica Di Benedetto; Alessandro D'Innocenzo; Claudia Rinaldi; Fortunato Santucci; Emmanuele Serra (CCA, 2007)

Output Feedback Regulation of Electromagnetic Valves for Camless Engines. - Cuauhtemoc Acosta Lua; Bernardino Castillo-Toledo; Maria Domenica Di Benedetto; Stefano Di Gennaro (ACC, 2007)

Diagnosability verification for hybrid automata and durational graphs. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (CDC, 2007)

Approximate timed abstractions of hybrid automata. - Alessandro D'Innocenzo; A. Agung Julius; Maria Domenica Di Benedetto; George J. Pappas (CDC, 2007)

Verification of temporal properties on hybrid automata by simulation relations. - Alessandro D'Innocenzo; A. Agung Julius; George J. Pappas; Maria Domenica Di Benedetto; Stefano Di Gennaro (CDC, 2007)

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

Diagnosability Verification for Hybrid Automata. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (HSCC, 2007)

Non-linear control of electromagnetic valves for camless engines. - Stefano Di Gennaro; Bernardino Castillo-Toledo; Maria Domenica Di Benedetto (Int. J. Control, 2007)

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

Diagnosability of hybrid automata with measurement uncertainty. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (CDC, 2008)

Approximate abstractions of discrete-time controlled stochastic hybrid systems. - Alessandro D'Innocenzo; Alessandro Abate; Maria Domenica Di Benedetto (CDC, 2008)

Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. - Alessandro Abate; Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Shankar Sastry 001 (HSCC, 2008)

Classification of Physical Interactions between Two Subjects. - Ruzena Bajcsy; Alessandro Borri; Maria Domenica Di Benedetto; Annarita Giani; Claire J. Tomlin (BSN, 2009)

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

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

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

Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks. - Alessandro Borri; Maria Domenica Di Benedetto; Maria-Gabriella Di Benedetto (HSCC, 2009)

A structural approach to detectability for a class of hybrid systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (Autom., 2009)

Approximate equivalence and synchronization of metric transition systems. - A. Agung Julius; Alessandro D'Innocenzo; Maria Domenica Di Benedetto; George J. Pappas (Syst. Control. Lett., 2009)

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

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

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

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

A complexity reduction approach to detectability of switching systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (Int. J. Control, 2010)

Symbolic models for nonlinear time-delay systems using approximate bisimulations. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto; Paulo Tabuada (Syst. Control. Lett., 2010)

Smart management of actuator saturation in integrated vehicle control. - Domenico Bianchi; Alessandro Borri; Bernardino Castillo-Toledo; Maria Domenica Di Benedetto; Stefano Di Gennaro (CDC/ECC, 2011)

Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (CDC/ECC, 2011)

Link failure detection in Multi-Hop Control Networks. - Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Emmanuele Serra (CDC/ECC, 2011)

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

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

Arenas of Finite State Machines - Giordano Pola; Maria Domenica Di Benedetto; Elena De Santis (CoRR, 2011)

Approximate Abstractions of Stochastic Hybrid Systems. - Alessandro Abate; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2011)

Verification of Hybrid Automata Diagnosability by Abstraction. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (IEEE Trans. Autom. Control., 2011)

Hybrid power control on a wireless networked control system. - Alessandro D'Innocenzo; Claudia Rinaldi; Maria Domenica Di Benedetto; Fortunato Santucci (ADHS, 2012)

Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation. - Alessandro Petriccone; Giordano Pola; Maria Domenica Di Benedetto; Elena De Santis (ADHS, 2012)

Sequences of Discrete Abstractions for Piecewise Affine Systems. - Giordano Pola; Maria Domenica Di Benedetto (ADHS, 2012)

Integrated symbolic design of unstable nonlinear Networked Control Systems. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (CDC, 2012)

Feedback stabilization of dynamical systems with switched delays. - Raphaël M. Jungers; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (CDC, 2012)

Optimal co-design of control, scheduling and routing in multi-hop control networks. - Francesco Smarra; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (CDC, 2012)

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

A framework for modeling wireless embedded control systems. - Claudia Rinaldi; Alessandro D'Innocenzo; Fortunato Santucci; Maria Domenica Di Benedetto (ISCCSP, 2012)

Symbolic models for nonlinear control systems affected by disturbances. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (Int. J. Control, 2012)

Integrated Design of Symbolic Controllers for Nonlinear Systems. - Giordano Pola; Alessandro Borri; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2012)

Adaptive networked model predictive control of freeway traffic systems. - Domenico Bianchi; Antonella Ferrara; Maria Domenica Di Benedetto (ACC, 2013)

Vehicle attitude control with saturating actuators: Workload balancing and reference adaptation. - Alessandro Borri; Domenico Bianchi; Maria Domenica Di Benedetto; Stefano Di Gennaro (CDC, 2013)

Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks. - Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Francesco Smarra (CDC, 2013)

A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems. - Davide Pezzuti; Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (CDC, 2013)

Networked model predictive traffic control with time varying optimization horizon: The Grenoble South Ring case study. - Domenico Bianchi; Antonella Ferrara; Maria Domenica Di Benedetto (ECC, 2013)

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

Randomized sampling for large zero-sum games. - Shaunak Dattaprasad Bopardikar; Alessandro Borri; João P. Hespanha 001; Maria Prandini; Maria Domenica Di Benedetto (Autom., 2013)

Energy-efficient sampling of networked control systems over IEEE 802.15.4 wireless networks. - Ubaldo Tiberi; Carlo Fischione; Karl Henrik Johansson; Maria Domenica Di Benedetto (Autom., 2013)

Networked Embedded Control Systems: from Modelling to Implementation. - Maria Domenica Di Benedetto; Giordano Pola (HAS, 2013)

Theory and computation of discrete state space decompositions for hybrid systems. - Elena De Santis; Maria Domenica Di Benedetto (Eur. J. Control, 2013)

Reply to the Discussion on "Theory and computation of discrete state space". - Elena De Santis; Maria Domenica Di Benedetto (Eur. J. Control, 2013)

Digital self-triggered robust control of nonlinear systems. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (Int. J. Control, 2013)

Fault Tolerant Control of Multi-Hop Control Networks. - Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Emmanuele Serra (IEEE Trans. Autom. Control., 2013)

Symbolic models for networks of discrete-time nonlinear control systems. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto (ACC, 2014)

Modeling of traffic congestion and re-routing in a service provider network. - Maria Domenica Di Benedetto; A. Di Loreto; Alessandro D'Innocenzo; T. Ionta (ICC Workshops, 2014)

Fault-tolerant control of a wireless HVAC control system. - Maria Domenica Di Benedetto; Alessandro D'Innocenzo; Francesco Smarra (ISCCSP, 2014)

Symbolic Control Design of Nonlinear Networked Control Systems. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (CoRR, 2014)

Modelling, Analysis and Co-Design of Wireless Control Networks. - Maria Domenica Di Benedetto; Alessandro D'Innocenzo (ERCIM News, 2014)

Towards a Unified Theory for the Control of CPS: A Symbolic Approach. - Alessandro Borri; Maria Domenica Di Benedetto; Giordano Pola (ERCIM News, 2014)

Cyber-Physical Systems - Introduction to the Special Theme. - Françoise Lamnabhi-Lagarrigue; Maria Domenica Di Benedetto; Erwin Schoitsch (ERCIM News, 2014)

Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems? Approach. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (ERCIM News, 2014)

Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach. - Giordano Pola; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2014)

Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control. - Alessio Iovine; Francesco Valentini; Elena De Santis; Maria Domenica Di Benedetto; Marco Pratesi (ADHS, 2015)

On equivalence notions for discrete-time stochastic control systems. - Giordano Pola; Costanzo Manes; Arjan van der Schaft; Maria Domenica Di Benedetto (CDC, 2015)

Further results on fault detection and isolation of malicious nodes in Multi-hop Control Networks. - Alessandro D'Innocenzo; Francesco Smarra; Maria Domenica Di Benedetto (ECC, 2015)

Critical observability of networks of Finite State Machines. - Davide Pezzuti; Sina Lessanibahri; Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (ECC, 2015)

Approximation methods for optimal network coding in a multi-hop control network with packet losses. - Francesco Smarra; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (ECC, 2015)

On stability of time-inhomogeneous Markov jump linear systems. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (CDC, 2016)

On Lyapunov-Krasovskii characterizations of stability notions for discrete-time systems with unknown time-varying time-delays. - Pierdomenico Pepe; Giordano Pola; Maria Domenica Di Benedetto (CDC, 2016)

On symbolic control design of discrete-time nonlinear systems with state quantized measurements. - Giordano Pola; Alessandro Borri; Maria Domenica Di Benedetto (CDC, 2016)

On external behavior equivalence of continuous-time stochastic linear control systems. - Giordano Pola; Costanzo Manes; Maria Domenica Di Benedetto (CDC, 2016)

Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence. - Giordano Pola; Costanzo Manes; Arjan van der Schaft; Maria Domenica Di Benedetto (CDC, 2016)

Nonlinear control of an AC-connected DC MicroGrid. - Alessio Iovine; Sabah Benamane Siad; Gilney Damm; Elena De Santis; Maria Domenica Di Benedetto (IECON, 2016)

Resilient stabilization of Multi-Hop Control Networks subject to malicious attacks. - Alessandro D'Innocenzo; Francesco Smarra; Maria Domenica Di Benedetto (Autom., 2016)

Safe Human-Inspired Mesoscopic Hybrid Automaton for Autonomous Vehicles. - Alessio Iovine; Francesco Valentini; Elena De Santis; Maria Domenica Di Benedetto; Marco Pratesi (CoRR, 2016)

Cyber-Physical Systems Security: a Systematic Mapping Study. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Ivano Malavolta; Maria Domenica Di Benedetto (CoRR, 2016)

Observability of Hybrid Dynamical Systems. - Elena De Santis; Maria Domenica Di Benedetto (Found. Trends Syst. Control., 2016)

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty. - Yi Deng 004; Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Stefano Di Gennaro; A. Agung Julius (IEEE Trans. Autom. Control., 2016)

Controllability of Linear Systems With Switching Delays. - Raphaël M. Jungers; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2016)

Symbolic Models for Networks of Control Systems. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2016)

Secure state estimation for Cyber Physical Systems with sparse malicious packet drops. - Gabriella Fiore; Young Hwan Chang; Qie Hu; Maria Domenica Di Benedetto; Claire J. Tomlin (ACC, 2017)

Secure state estimation for DC microgrids control. - Gabriella Fiore; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto (CASE, 2017)

A hybrid controller for purity control of a pressure swing adsorption process. - Mohammad Fakhroleslam; Shohreh Fatemi; Ramin Bozorgmehry Boozarjomehry; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2017)

Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Alessandro Abate; Maria Domenica Di Benedetto (CDC, 2017)

Approximate supervisory control of nonlinear systems with outputs. - Giordano Pola; Maria Domenica Di Benedetto (CDC, 2017)

On Approximate Diagnosability of Metric Systems. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (SEFM, 2017)

Design of decentralized critical observers for networks of finite state machines: A formal method approach. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto; Davide Pezzuti (Autom., 2017)

Observability and diagnosability of finite state systems: A unifying framework. - Elena De Santis; Maria Domenica Di Benedetto (Autom., 2017)

Secure Mode Distinguishability for Switching Systems Subject to Sparse Attacks. - Gabriella Fiore; Elena De Santis; Maria Domenica Di Benedetto (CoRR, 2017)

Safe Human-Inspired Adaptive Cruise Control for Autonomous Vehicles. - Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Rafael Wisniewski (ERCIM News, 2017)

Optimal workload actuator balancing and dynamic reference generation in active vehicle control. - Alessandro Borri; Domenico Bianchi; Maria Domenica Di Benedetto; Stefano Di Gennaro (J. Frankl. Inst., 2017)

Nonlinear Control of a DC MicroGrid for the Integration of Photovoltaic Panels. - Alessio Iovine; Sabah Benamane Siad; Gilney Damm; Elena De Santis; Maria Domenica Di Benedetto (IEEE Trans Autom. Sci. Eng., 2017)

On approximate predictability of metric systems. - Gabriella Fiore; Elena De Santis; Giordano Pola; Maria Domenica Di Benedetto (ADHS, 2018)

Voltage Stabilization in a DC MicroGrid by an ISS-like Lyapunov Function implementing Droop Control. - Alessio Iovine; Gilney Damm; Elena De Santis; Maria Domenica Di Benedetto; Lilia Galai-Dol; Pierdomenico Pepe (ECC, 2018)

Maximal safe set computation for pressure swing adsorption processes. - Mohammad Fakhroleslam; Shohreh Fatemi; Ramin Bozorgmehry Boozarjomehry; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (Comput. Chem. Eng., 2018)

Approximate Diagnosis of Metric Systems. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (IEEE Control. Syst. Lett., 2018)

On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems With Uncertain Time-Varying Time Delays. - Pierdomenico Pepe; Giordano Pola; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2018)

Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems. - Giordano Pola; Costanzo Manes; Arjan van der Schaft; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2018)

Decentralized Supervisory Control of Networks of Nonlinear Control Systems. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2018)

Symbolic models approximating possibly unstable time-delay systems with application to the artificial pancreas. - Giordano Pola; Alessandro Borri; Pierdomenico Pepe; Pasquale Palumbo; Maria Domenica Di Benedetto (ECC, 2019)

Decentralized Model Predictive Control of Freeway Traffic Systems over Lossy Communication Networks. - Domenico Bianchi; Alessandro Borri; Maria Domenica Di Benedetto; Antonella Ferrara (SMC, 2019)

Control of Cyber-Physical-Systems with logic specifications: A formal methods approach. - Giordano Pola; Maria Domenica Di Benedetto (Annu. Rev. Control., 2019)

Robust stability of polytopic time-inhomogeneous Markov jump linear systems. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (Autom., 2019)

Symbolic control design of nonlinear systems with outputs. - Giordano Pola; Maria Domenica Di Benedetto; Alessandro Borri (Autom., 2019)

Output Feedback Control via Bisimulation of Stochastic Linear Systems. - Giordano Pola; Costanzo Manes; Maria Domenica Di Benedetto (IEEE Control. Syst. Lett., 2019)

State of the art of cyber-physical systems security: An automatic control perspective. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Francesco Smarra; Ivano Malavolta; Maria Domenica Di Benedetto (J. Syst. Softw., 2019)

Design of Symbolic Controllers for Networked Control Systems. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2019)

Design of a Hybrid Controller for Pressure Swing Adsorption Processes. - Mohammad Fakhroleslam; Ramin Bozorgmehry Boozarjomehry; Shohreh Fatemi; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Trans. Control. Syst. Technol., 2019)

An assume-guarantee approach to sampled-data quantized glucose control. - Ilaria Di Loreto; Alessandro Borri; Maria Domenica Di Benedetto (CDC, 2020)

On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2020)

A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (ECC, 2020)

Critical Observability of Finite State Machines Under Attacks. - Naeimeh Fakhr Shamloo; Elena De Santis; Maria Domenica Di Benedetto (MED, 2021)

Data-driven controller synthesis for abstract systems with regular language specifications. - Giordano Pola; Tommaso Masciulli; Elena De Santis; Maria Domenica Di Benedetto (Autom., 2021)

String Stability of a Vehicular Platoon With the Use of Macroscopic Information. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Trans. Intell. Transp. Syst., 2021)

Sampled-data glucose regulation with reach-and-stay specifications through time-varying contracts. - Ilaria Di Loreto; Alessandro Borri; Maria Domenica Di Benedetto (CDC, 2022)

Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems. - Tommaso Masciulli; Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (IEEE Control. Syst. Lett., 2022)

Scalable Mesh Stability of Nonlinear Interconnected Systems. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Control. Syst. Lett., 2022)

Mesoscopic Controller for String Stability of Platoons With Disturbances. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Trans. Control. Netw. Syst., 2022)

Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes. - Alessandro Borri; Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto; Pasquale Palumbo (IEEE Trans. Control. Syst. Technol., 2022)

Voltage Regulation and Current Sharing in DC Microgrids With Different Information Scenarios. - Alessio Iovine; Miguel Jiménez Carrizosa; Elena De Santis; Maria Domenica Di Benedetto; Pierdomenico Pepe; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Control. Syst. Technol., 2022)

Co-Design of Resource Limited Genetic Modules. - Carlos Eduardo Celeste Junior; Ilaria Di Loreto; Theodore W. Grunberg; Maria Domenica Di Benedetto; Alessandro Borri; Domitilla Del Vecchio (CDC, 2023)

On Nash Equilibria for Decentralized Symbolic Control of Interconnected Finite State Systems. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (CDC, 2023)

A Mesoscopic Human-Inspired Adaptive Cruise Control for Eco-Driving. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Trans. Intell. Transp. Syst., 2023)

Adaptive responses of cancer cells to tumor microenvironment changes: an evolutionary model perspective. - Chiara Romano; Alessandro Borri; Maria Domenica Di Benedetto (CASE, 2024)

Mesoscopic digital control for Practical String Stability of vehicular platoons. - Pietro Bonsanto; Mattia Mattioni; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto (CDC, 2024)

Observer Decomposition for Finite State Machines and its Application to Opacity. - Bushra Bushra; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2024)

Stackelberg evolutionary games for cancer modeling and treatment. - Chiara Romano; Alessandro Borri; Maria Domenica Di Benedetto (CDC, 2024)

Quantized Event-Based Sampled-Data Nonlinear Control for PEM Fuel Cell Air Supply. - P. Salucci; Mario Di Ferdinando; Maria Domenica Di Benedetto; A. Balluchi; Stefano Di Gennaro; Pierdomenico Pepe (CDC, 2024)

Decentralized Control of Networks of Nondeterministic and Metric Finite State Systems. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (IEEE Control. Syst. Lett., 2024)

Stackelberg Evolutionary Games With Modulated Leadership: A Three-Agent Framework for Tumor-Immune Dynamics. - Chiara Romano; Maria Domenica Di Benedetto; Alessandro Borri (IEEE Control. Syst. Lett., 2025)

Security and Diagnosability of Finite State Machines Under Cyber-Attacks. - Naeimeh Fakhr Shamloo; Elena De Santis; Maria Domenica Di Benedetto (IEEE Trans Autom. Sci. Eng., 2025)