Maria Domenica Di Benedetto

196 papers A* 1B 2C 9Misc 2Journal 88Unranked 93
YearRankTypeTitle / Venue / Authors
2026 J jnl
Decentralized control of finite state systems: A game theoretic approach.
Autom.
Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2026 J jnl
Evolution-Informed Modeling and Control of Tumor Growth.
IEEE Trans Autom. Sci. Eng.
Chiara Romano, Maria Domenica Di Benedetto, Alessandro Borri
2026 J jnl
Mesoscopic Digital Control for Disturbance String Stability via Constant Time-Headway Spacing Policies.
IEEE Control. Syst. Lett.
Pietro Bonsanto, Mattia Mattioni, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto
2026 J jnl
Sampled-data observer-based exponential stabilization of nonlinear systems with an application to tumor control.
Autom.
Chiara Romano, Alessandro Borri, Mario Di Ferdinando, Maria Domenica Di Benedetto, Pierdomenico Pepe
2025 — conf
Digital control for disturbance string stability via a mesoscopic approach and redundant macroscopic measurements.
CDC
Pietro Bonsanto, Mattia Mattioni, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto
2025 J jnl
Security and Diagnosability of Finite State Machines Under Cyber-Attacks.
IEEE Trans Autom. Sci. Eng.
Naeimeh Fakhr Shamloo, Elena De Santis, Maria Domenica Di Benedetto
2025 J jnl
Stackelberg Evolutionary Games With Modulated Leadership: A Three-Agent Framework for Tumor-Immune Dynamics.
IEEE Control. Syst. Lett.
Chiara Romano, Maria Domenica Di Benedetto, Alessandro Borri
2024 — conf
Adaptive responses of cancer cells to tumor microenvironment changes: an evolutionary model perspective.
CASE
Chiara Romano, Alessandro Borri, Maria Domenica Di Benedetto
2024 J jnl
Decentralized Control of Networks of Nondeterministic and Metric Finite State Systems.
IEEE Control. Syst. Lett.
Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2024 — conf
Mesoscopic digital control for Practical String Stability of vehicular platoons.
CDC
Pietro Bonsanto, Mattia Mattioni, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto
2024 — conf
Observer Decomposition for Finite State Machines and its Application to Opacity.
CDC
Bushra Bushra, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2024 — conf
Quantized Event-Based Sampled-Data Nonlinear Control for PEM Fuel Cell Air Supply.
CDC
P. Salucci, Mario Di Ferdinando, Maria Domenica Di Benedetto, A. Balluchi, Stefano Di Gennaro, Pierdomenico Pepe
2024 — conf
Stackelberg evolutionary games for cancer modeling and treatment.
CDC
Chiara Romano, Alessandro Borri, Maria Domenica Di Benedetto
2023 J jnl
A Mesoscopic Human-Inspired Adaptive Cruise Control for Eco-Driving.
IEEE Trans. Intell. Transp. Syst.
Marco Mirabilio, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2023 — conf
Co-Design of Resource Limited Genetic Modules.
CDC
Carlos Eduardo Celeste Junior, Ilaria Di Loreto, Theodore W. Grunberg, Maria Domenica Di Benedetto, Alessandro Borri, Domitilla Del Vecchio
2023 — conf
On Nash Equilibria for Decentralized Symbolic Control of Interconnected Finite State Systems.
CDC
Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2022 J jnl
Mesoscopic Controller for String Stability of Platoons With Disturbances.
IEEE Trans. Control. Netw. Syst.
Marco Mirabilio, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2022 J jnl
Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems.
IEEE Control. Syst. Lett.
Tommaso Masciulli, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2022 — conf
Sampled-data glucose regulation with reach-and-stay specifications through time-varying contracts.
CDC
Ilaria Di Loreto, Alessandro Borri, Maria Domenica Di Benedetto
2022 J jnl
Scalable Mesh Stability of Nonlinear Interconnected Systems.
IEEE Control. Syst. Lett.
Marco Mirabilio, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2022 J jnl
Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes.
IEEE Trans. Control. Syst. Technol.
Alessandro Borri, Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Pasquale Palumbo
2022 J jnl
Voltage Regulation and Current Sharing in DC Microgrids With Different Information Scenarios.
IEEE Trans. Control. Syst. Technol.
Alessio Iovine, Miguel Jiménez Carrizosa, Elena De Santis, Maria Domenica Di Benedetto, Pierdomenico Pepe, Alberto L. Sangiovanni-Vincentelli
2021 — conf
Critical Observability of Finite State Machines Under Attacks.
MED
Naeimeh Fakhr Shamloo, Elena De Santis, Maria Domenica Di Benedetto
2021 J jnl
Data-driven controller synthesis for abstract systems with regular language specifications.
Autom.
Giordano Pola, Tommaso Masciulli, Elena De Santis, Maria Domenica Di Benedetto
2021 J jnl
String Stability of a Vehicular Platoon With the Use of Macroscopic Information.
IEEE Trans. Intell. Transp. Syst.
Marco Mirabilio, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2020 — conf
A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving.
ECC
Marco Mirabilio, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2020 — conf
An assume-guarantee approach to sampled-data quantized glucose control.
CDC
Ilaria Di Loreto, Alessandro Borri, Maria Domenica Di Benedetto
2020 — conf
On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon.
CDC
Marco Mirabilio, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2020 J jnl
On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon.
CoRR
Marco Mirabilio, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2020 J jnl
String Stability of a Vehicular Platoon with the use of Macroscopic Information.
CoRR
Marco Mirabilio, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2019 J jnl
Control of Cyber-Physical-Systems with logic specifications: A formal methods approach.
Annu. Rev. Control.
Giordano Pola, Maria Domenica Di Benedetto
2019 B conf
Decentralized Model Predictive Control of Freeway Traffic Systems over Lossy Communication Networks.
SMC
Domenico Bianchi, Alessandro Borri, Maria Domenica Di Benedetto, Antonella Ferrara
2019 J jnl
Design of Symbolic Controllers for Networked Control Systems.
IEEE Trans. Autom. Control.
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
2019 J jnl
Design of a Hybrid Controller for Pressure Swing Adsorption Processes.
IEEE Trans. Control. Syst. Technol.
Mohammad Fakhroleslam, Ramin Bozorgmehry Boozarjomehry, Shohreh Fatemi, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2019 J jnl
Output Feedback Control via Bisimulation of Stochastic Linear Systems.
IEEE Control. Syst. Lett.
Giordano Pola, Costanzo Manes, Maria Domenica Di Benedetto
2019 J jnl
Robust stability of polytopic time-inhomogeneous Markov jump linear systems.
Autom.
Yuriy Zacchia Lun, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2019 J jnl
State of the art of cyber-physical systems security: An automatic control perspective.
J. Syst. Softw.
Yuriy Zacchia Lun, Alessandro D'Innocenzo, Francesco Smarra, Ivano Malavolta, Maria Domenica Di Benedetto
2019 J jnl
Symbolic control design of nonlinear systems with outputs.
Autom.
Giordano Pola, Maria Domenica Di Benedetto, Alessandro Borri
2019 — conf
Symbolic models approximating possibly unstable time-delay systems with application to the artificial pancreas.
ECC
Giordano Pola, Alessandro Borri, Pierdomenico Pepe, Pasquale Palumbo, Maria Domenica Di Benedetto
2018 J jnl
Approximate Diagnosis of Metric Systems.
IEEE Control. Syst. Lett.
Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2018 J jnl
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems.
IEEE Trans. Autom. Control.
Giordano Pola, Costanzo Manes, Arjan van der Schaft, Maria Domenica Di Benedetto
2018 J jnl
Decentralized Supervisory Control of Networks of Nonlinear Control Systems.
IEEE Trans. Autom. Control.
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
2018 J jnl
Maximal safe set computation for pressure swing adsorption processes.
Comput. Chem. Eng.
Mohammad Fakhroleslam, Shohreh Fatemi, Ramin Bozorgmehry Boozarjomehry, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2018 J jnl
On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems With Uncertain Time-Varying Time Delays.
IEEE Trans. Autom. Control.
Pierdomenico Pepe, Giordano Pola, Maria Domenica Di Benedetto
2018 — conf
On approximate predictability of metric systems.
ADHS
Gabriella Fiore, Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto
2018 — conf
Voltage Stabilization in a DC MicroGrid by an ISS-like Lyapunov Function implementing Droop Control.
ECC
Alessio Iovine, Gilney Damm, Elena De Santis, Maria Domenica Di Benedetto, Lilia Galai-Dol, Pierdomenico Pepe
2017 — conf
A hybrid controller for purity control of a pressure swing adsorption process.
CDC
Mohammad Fakhroleslam, Shohreh Fatemi, Ramin Bozorgmehry Boozarjomehry, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2017 — conf
Approximate supervisory control of nonlinear systems with outputs.
CDC
Giordano Pola, Maria Domenica Di Benedetto
2017 J jnl
Design of decentralized critical observers for networks of finite state machines: A formal method approach.
Autom.
Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto, Davide Pezzuti
2017 J jnl
Nonlinear Control of a DC MicroGrid for the Integration of Photovoltaic Panels.
IEEE Trans Autom. Sci. Eng.
Alessio Iovine, Sabah Benamane Siad, Gilney Damm, Elena De Santis, Maria Domenica Di Benedetto
2017 J jnl
Observability and diagnosability of finite state systems: A unifying framework.
Autom.
Elena De Santis, Maria Domenica Di Benedetto
2017 B conf
On Approximate Diagnosability of Metric Systems.
SEFM
Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2017 — conf
Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems.
CDC
Yuriy Zacchia Lun, Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto
2017 J jnl
Optimal workload actuator balancing and dynamic reference generation in active vehicle control.
J. Frankl. Inst.
Alessandro Borri, Domenico Bianchi, Maria Domenica Di Benedetto, Stefano Di Gennaro
2017 J jnl
Safe Human-Inspired Adaptive Cruise Control for Autonomous Vehicles.
ERCIM News
Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Rafael Wisniewski
2017 J jnl
Secure Mode Distinguishability for Switching Systems Subject to Sparse Attacks.
CoRR
Gabriella Fiore, Elena De Santis, Maria Domenica Di Benedetto
2017 C conf
Secure state estimation for Cyber Physical Systems with sparse malicious packet drops.
ACC
Gabriella Fiore, Young Hwan Chang, Qie Hu, Maria Domenica Di Benedetto, Claire J. Tomlin
2017 — conf
Secure state estimation for DC microgrids control.
CASE
Gabriella Fiore, Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto
2016 J jnl
Controllability of Linear Systems With Switching Delays.
IEEE Trans. Autom. Control.
Raphaël M. Jungers, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2016 J jnl
Cyber-Physical Systems Security: a Systematic Mapping Study.
CoRR
Yuriy Zacchia Lun, Alessandro D'Innocenzo, Ivano Malavolta, Maria Domenica Di Benedetto
2016 — conf
Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence.
CDC
Giordano Pola, Costanzo Manes, Arjan van der Schaft, Maria Domenica Di Benedetto
2016 C conf
Nonlinear control of an AC-connected DC MicroGrid.
IECON
Alessio Iovine, Sabah Benamane Siad, Gilney Damm, Elena De Santis, Maria Domenica Di Benedetto
2016 J jnl
Observability of Hybrid Dynamical Systems.
Found. Trends Syst. Control.
Elena De Santis, Maria Domenica Di Benedetto
2016 — conf
On Lyapunov-Krasovskii characterizations of stability notions for discrete-time systems with unknown time-varying time-delays.
CDC
Pierdomenico Pepe, Giordano Pola, Maria Domenica Di Benedetto
2016 — conf
On external behavior equivalence of continuous-time stochastic linear control systems.
CDC
Giordano Pola, Costanzo Manes, Maria Domenica Di Benedetto
2016 — conf
On stability of time-inhomogeneous Markov jump linear systems.
CDC
Yuriy Zacchia Lun, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2016 — conf
On symbolic control design of discrete-time nonlinear systems with state quantized measurements.
CDC
Giordano Pola, Alessandro Borri, Maria Domenica Di Benedetto
2016 J jnl
Resilient stabilization of Multi-Hop Control Networks subject to malicious attacks.
Autom.
Alessandro D'Innocenzo, Francesco Smarra, Maria Domenica Di Benedetto
2016 J jnl
Safe Human-Inspired Mesoscopic Hybrid Automaton for Autonomous Vehicles.
CoRR
Alessio Iovine, Francesco Valentini, Elena De Santis, Maria Domenica Di Benedetto, Marco Pratesi
2016 J jnl
Symbolic Models for Networks of Control Systems.
IEEE Trans. Autom. Control.
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
2016 J jnl
Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.
IEEE Trans. Autom. Control.
Yi Deng, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro, A. Agung Julius
2015 — conf
Approximation methods for optimal network coding in a multi-hop control network with packet losses.
ECC
Francesco Smarra, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2015 — conf
Critical observability of networks of Finite State Machines.
ECC
Davide Pezzuti, Sina Lessanibahri, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2015 — conf
Further results on fault detection and isolation of malicious nodes in Multi-hop Control Networks.
ECC
Alessandro D'Innocenzo, Francesco Smarra, Maria Domenica Di Benedetto
2015 — conf
On equivalence notions for discrete-time stochastic control systems.
CDC
Giordano Pola, Costanzo Manes, Arjan van der Schaft, Maria Domenica Di Benedetto
2015 — conf
Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control.
ADHS
Alessio Iovine, Francesco Valentini, Elena De Santis, Maria Domenica Di Benedetto, Marco Pratesi
2014 J jnl
Cyber-Physical Systems - Introduction to the Special Theme.
ERCIM News
Françoise Lamnabhi-Lagarrigue, Maria Domenica Di Benedetto, Erwin Schoitsch
2014 — conf
Fault-tolerant control of a wireless HVAC control system.
ISCCSP
Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Francesco Smarra
2014 — conf
Modeling of traffic congestion and re-routing in a service provider network.
ICC Workshops
Maria Domenica Di Benedetto, A. Di Loreto, Alessandro D'Innocenzo, T. Ionta
2014 J jnl
Modelling, Analysis and Co-Design of Wireless Control Networks.
ERCIM News
Maria Domenica Di Benedetto, Alessandro D'Innocenzo
2014 J jnl
Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems? Approach.
ERCIM News
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2014 J jnl
Symbolic Control Design of Nonlinear Networked Control Systems.
CoRR
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
2014 J jnl
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach.
IEEE Trans. Autom. Control.
Giordano Pola, Maria Domenica Di Benedetto
2014 C conf
Symbolic models for networks of discrete-time nonlinear control systems.
ACC
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
2014 J jnl
Towards a Unified Theory for the Control of CPS: A Symbolic Approach.
ERCIM News
Alessandro Borri, Maria Domenica Di Benedetto, Giordano Pola
2013 — conf
A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems.
CDC
Davide Pezzuti, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2013 C conf
Adaptive networked model predictive control of freeway traffic systems.
ACC
Domenico Bianchi, Antonella Ferrara, Maria Domenica Di Benedetto
2013 J jnl
Digital self-triggered robust control of nonlinear systems.
Int. J. Control
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2013 J jnl
Energy-efficient sampling of networked control systems over IEEE 802.15.4 wireless networks.
Autom.
Ubaldo Tiberi, Carlo Fischione, Karl Henrik Johansson, Maria Domenica Di Benedetto
2013 J jnl
Fault Tolerant Control of Multi-Hop Control Networks.
IEEE Trans. Autom. Control.
Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra
2013 — conf
Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks.
CDC
Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Francesco Smarra
2013 — conf
Networked Embedded Control Systems: from Modelling to Implementation.
HAS
Maria Domenica Di Benedetto, Giordano Pola
2013 — conf
Networked model predictive traffic control with time varying optimization horizon: The Grenoble South Ring case study.
ECC
Domenico Bianchi, Antonella Ferrara, Maria Domenica Di Benedetto
2013 J jnl
Randomized sampling for large zero-sum games.
Autom.
Shaunak Dattaprasad Bopardikar, Alessandro Borri, João P. Hespanha, Maria Prandini, Maria Domenica Di Benedetto
2013 J jnl
Reply to the Discussion on "Theory and computation of discrete state space".
Eur. J. Control
Elena De Santis, Maria Domenica Di Benedetto
2013 J jnl
The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem.
Autom.
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2013 J jnl
Theory and computation of discrete state space decompositions for hybrid systems.
Eur. J. Control
Elena De Santis, Maria Domenica Di Benedetto
2013 — conf
Vehicle attitude control with saturating actuators: Workload balancing and reference adaptation.
CDC
Alessandro Borri, Domenico Bianchi, Maria Domenica Di Benedetto, Stefano Di Gennaro
2012 J jnl
A Symbolic Approach to the Design of Nonlinear Networked Control Systems
CoRR
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
2012 — conf
A framework for modeling wireless embedded control systems.
ISCCSP
Claudia Rinaldi, Alessandro D'Innocenzo, Fortunato Santucci, Maria Domenica Di Benedetto
2012 — conf
A symbolic approach to the design of nonlinear networked control systems.
HSCC
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
2012 J jnl
Feedback stabilization of dynamical systems with switched delays
CoRR
Raphaël M. Jungers, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2012 — conf
Feedback stabilization of dynamical systems with switched delays.
CDC
Raphaël M. Jungers, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2012 — conf
Hybrid power control on a wireless networked control system.
ADHS
Alessandro D'Innocenzo, Claudia Rinaldi, Maria Domenica Di Benedetto, Fortunato Santucci
2012 J jnl
Integrated Design of Symbolic Controllers for Nonlinear Systems.
IEEE Trans. Autom. Control.
Giordano Pola, Alessandro Borri, Maria Domenica Di Benedetto
2012 J jnl
Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems
CoRR
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
2012 — conf
Integrated symbolic design of unstable nonlinear Networked Control Systems.
CDC
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
2012 J jnl
Optimal co-design of control, scheduling and routing in multi-hop control networks
CoRR
Francesco Smarra, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2012 — conf
Optimal co-design of control, scheduling and routing in multi-hop control networks.
CDC
Francesco Smarra, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2012 — conf
Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation.
ADHS
Alessandro Petriccone, Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis
2012 — conf
Sequences of Discrete Abstractions for Piecewise Affine Systems.
ADHS
Giordano Pola, Maria Domenica Di Benedetto
2012 J jnl
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
CoRR
Giordano Pola, Maria Domenica Di Benedetto
2012 J jnl
Symbolic models for nonlinear control systems affected by disturbances.
Int. J. Control
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
2011 — conf
Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances.
CDC/ECC
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
2011 J jnl
Approximate Abstractions of Stochastic Hybrid Systems.
IEEE Trans. Autom. Control.
Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto
2011 J jnl
Arenas of Finite State Machines
CoRR
Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis
2011 J jnl
Digital Self Triggered Robust Control of Nonlinear Systems
CoRR
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2011 — conf
Digital self triggered robust control of nonlinear systems.
CDC/ECC
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2011 J jnl
Fault Tolerant Stabilizability of Multi-Hop Control Networks
CoRR
Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra
2011 J jnl
Hide-and-Seek with Directional Sensing
CoRR
Alessandro Borri, Shaunak Dattaprasad Bopardikar, João Pedro Hespanha, Maria Domenica Di Benedetto
2011 J jnl
Link Failure Detection in Multi-hop Control Networks
CoRR
Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra
2011 — conf
Link failure detection in Multi-Hop Control Networks.
CDC/ECC
Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra
2011 — conf
Smart management of actuator saturation in integrated vehicle control.
CDC/ECC
Domenico Bianchi, Alessandro Borri, Bernardino Castillo-Toledo, Maria Domenica Di Benedetto, Stefano Di Gennaro
2011 J jnl
Verification of Hybrid Automata Diagnosability by Abstraction.
IEEE Trans. Autom. Control.
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2010 J jnl
A complexity reduction approach to detectability of switching systems.
Int. J. Control
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2010 — conf
A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems.
CDC
Alessandro Petriccone, Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis
2010 — conf
Adaptive self-triggered control over IEEE 802.15.4 networks.
CDC
Ubaldo Tiberi, Carlo Fischione, Karl Henrik Johansson, Maria Domenica Di Benedetto
2010 — conf
Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays.
CDC
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
2010 — conf
An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications.
CDC
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
2010 — conf
Randomized sampling for large zero-sum games.
CDC
Shaunak Dattaprasad Bopardikar, Alessandro Borri, João Pedro Hespanha, Maria Prandini, Maria Domenica Di Benedetto
2010 J jnl
Symbolic models for nonlinear time-delay systems using approximate bisimulations.
Syst. Control. Lett.
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada
2009 J jnl
A structural approach to detectability for a class of hybrid systems.
Autom.
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2009 — conf
A symbolic model approach to the digital control of nonlinear time-delay systems.
CDC
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada
2009 — conf
Adaptive integrated vehicle control using active front steering and rear torque vectoring.
CDC
Domenico Bianchi, Alessandro Borri, Gilberto Burgio, Maria Domenica Di Benedetto, Stefano Di Gennaro
2009 J jnl
Approximate equivalence and synchronization of metric transition systems.
Syst. Control. Lett.
A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas
2009 C conf
Classification of Physical Interactions between Two Subjects.
BSN
Ruzena Bajcsy, Alessandro Borri, Maria Domenica Di Benedetto, Annarita Giani, Claire J. Tomlin
2009 — conf
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks.
HSCC
Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto
2009 C conf
Multihop Multi-channel Scheduling for Wireless Control in WirelessHART Networks.
ETFA
Gabriella Fiore, Valeria Ercoli, Alf J. Isaksson, Krister Landernäs, Maria Domenica Di Benedetto
2008 — conf
Approximate abstractions of discrete-time controlled stochastic hybrid systems.
CDC
Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto
2008 — conf
Automatic verification of wireless control in a mining ventilation system.
CASE
Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra, Emmanuel Witrant
2008 — conf
Diagnosability of hybrid automata with measurement uncertainty.
CDC
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2008 — conf
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.
HSCC
Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry
2007 — conf
Approximate timed abstractions of hybrid automata.
CDC
Alessandro D'Innocenzo, A. Agung Julius, Maria Domenica Di Benedetto, George J. Pappas
2007 — conf
Diagnosability Verification for Hybrid Automata.
HSCC
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2007 — conf
Diagnosability verification for hybrid automata and durational graphs.
CDC
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2007 C conf
Modeling and design of control algorithms over wireless networks.
CCA
Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Claudia Rinaldi, Fortunato Santucci, Emmanuele Serra
2007 J jnl
Non-linear control of electromagnetic valves for camless engines.
Int. J. Control
Stefano Di Gennaro, Bernardino Castillo-Toledo, Maria Domenica Di Benedetto
2007 C conf
Output Feedback Regulation of Electromagnetic Valves for Camless Engines.
ACC
Cuauhtemoc Acosta Lua, Bernardino Castillo-Toledo, Maria Domenica Di Benedetto, Stefano Di Gennaro
2007 — conf
The Concept of Deadlock and Livelock in Hybrid Control Systems.
HSCC
Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry
2007 — conf
Verification of temporal properties on hybrid automata by simulation relations.
CDC
Alessandro D'Innocenzo, A. Agung Julius, George J. Pappas, Maria Domenica Di Benedetto, Stefano Di Gennaro
2006 — conf
Critical States Detection with Bounded Probability of False Alarm and Application to Air Traffic Management.
ADHS
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2006 — conf
Idle Speed control - a Benchmark for Hybrid System Research1.
ADHS
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2006 J jnl
Introducing consciousness in UWB networks by hybrid modelling of admission control.
Mob. Networks Appl.
Maria-Gabriella Di Benedetto, Guerino Giancola, Maria Domenica Di Benedetto
2006 — conf
Nonlinear Regulation of Electromagnetic Valves for Camless Engines.
CDC
Stefano Di Gennaro, Bernardino Castillo-Toledo, Maria Domenica Di Benedetto
2006 — conf
Observability of Hybrid Automata by Abstraction.
HSCC
Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro
2006 — conf
Observability of Internal Variables in Interconnected Switching Systems.
CDC
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2006 — conf
Stabilizability based State Space Reductions for Hybrid Systems.
ADHS
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2005 — conf
Achievable Bisimilar Behaviour of Abstract State Systems.
CDC/ECC
Giordano Pola, Arjan J. van der Schaft, Maria Domenica Di Benedetto
2005 — conf
Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management.
ISIC
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2005 — conf
Design of Luenberger-Like Observers for Detectable Switching Systems.
ISIC
Elena De Santis, Maria Domenica Di Benedetto
2005 J jnl
Efficient Solution of Optimal Control Problems Using Hybrid Systems.
SIAM J. Control. Optim.
Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
2005 — conf
Error Detection within a Specific Time Horizon and Application to Air Traffic Management.
CDC/ECC
Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2004 — conf
Bisimulation theory for switching linear systems.
CDC
Giordano Pola, Arjan J. van der Schaft, Maria Domenica Di Benedetto
2004 J jnl
Computation of maximal safe sets for switching systems.
IEEE Trans. Autom. Control.
Elena De Santis, Maria Domenica Di Benedetto, Luca Berardi
2004 — conf
Digital control of continuous-time switching systems with safety constraints.
CDC
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2003 — conf
A New Experiment in Research on Hybrid Systems: The Center of Excellence DEWS.
ADHS
Maria Domenica Di Benedetto, John Lygeros, The DEWS Team
2003 J jnl
Individual cylinder characteristic estimation for a spark injection engine.
Autom.
Luca Benvenuti, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
2003 — conf
Observability for hybrid systems.
CDC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2003 — conf
On observability and detectability of continuous-time linear switching systems.
CDC
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2003 — conf
Stochastic Hybrid Models: An Overview.
ADHS
Giordano Pola, Manuela-Luminita Bujorianu, John Lygeros, Maria Domenica Di Benedetto
2002 — conf
Design of Observers for Hybrid Systems.
HSCC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2002 — conf
Integrated control-implementation design.
CDC
Andrea Balluchi, Luca Beradi, Maria Domenica Di Benedetto, Alberto Ferrari, Giovanni Girasole, Alberto L. Sangiovanni-Vincentelli
2001 — conf
A hybrid observer for the driveline dynamics.
ECC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2001 — conf
Controlled safe sets for continuous time linear systems.
ECC
Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2001 — ed.
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings
HSCC
Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2001 — conf
Mixed models of computation in the design of automotive engine control.
CDC
Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2001 J jnl
Model matching for finite-state machines.
IEEE Trans. Autom. Control.
Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa
2001 — conf
Optimal Control Using Bisimulations: Implementation.
HSCC
Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
2000 J jnl
A new procedure for exact ring closure.
J. Comput. Chem.
Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, Ken Yamaguchi
2000 J jnl
Automotive engine control and hybrid systems: challenges and opportunities.
Proc. IEEE
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2000 C conf
Hybrid controller synthesis for idle speed management of an automotive engine.
ACC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
2000 — conf
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications.
HSCC
Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto
2000 — conf
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.
HSCC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
2000 — conf
Theory of Optimal Control Using Bisimulations.
HSCC
Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro
1999 — conf
Control of switching systems under state and input constraints.
ECC
Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto
1999 J jnl
Hybrid control in automotive applications: the cut-off control.
Autom.
Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli
1998 — conf
Hybrid Control for Automotive Engine Management: The Cut-Off Case.
HSCC
Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli
1994 J jnl
Asymptotic model matching for nonlinear systems.
IEEE Trans. Autom. Control.
Maria Domenica Di Benedetto, Jessy W. Grizzle
1994 A* conf
Chain Closure: A Problem in Molecular CAD.
DAC
Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, Ken Yamaguchi
1994 J jnl
Necessary conditions for asymptotic tracking in nonlinear systems.
IEEE Trans. Autom. Control.
Jessy W. Grizzle, Maria Domenica Di Benedetto, Françoise Lamnabhi-Lagarrigue
1994 J jnl
The nonlinear interactor and its application to input-output decoupling.
IEEE Trans. Autom. Control.
Maria Domenica Di Benedetto, Alain Glumineau, Claude H. Moog
1993 J jnl
Inversion of nonlinear time-varying systems.
IEEE Trans. Autom. Control.
Maria Domenica Di Benedetto, Pasquale Lucibello
1987 J jnl
A Bayesian-adaptive decision method for the V/UV/S classification of segments of a speech signal.
IEEE Trans. Acoust. Speech Signal Process.
Giordano Bruno, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto, Angelo Gilio, Paolo Mandarini
1985 Misc conf
A study on vowel behaviour and its description by a statistical model.
ICASSP
Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto
1982 Misc conf
Phonetic recognition to assist lip-reading for deaf children.
ICASSP
Maria Domenica Di Benedetto, Francis Destombes, Bernard Mérialdo, Jean-Pierre Tubach
1982 J jnl
The design and construction of digital speech processing systems to serve as an aid to the hard-to-hearing.
Speech Commun.
Maria Domenica Di Benedetto