Maria Domenica Di Benedetto

According to our database1, Maria Domenica Di Benedetto authored at least 141 papers between 1982 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
String Stability of a Vehicular Platoon with the use of Macroscopic Information.
CoRR, 2020

On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon.
CoRR, 2020

A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving.
Proceedings of the 2020 European Control Conference, 2020

2019
Design of a Hybrid Controller for Pressure Swing Adsorption Processes.
IEEE Trans. Control. Syst. Technol., 2019

Design of Symbolic Controllers for Networked Control Systems.
IEEE Trans. Autom. Control., 2019

State of the art of cyber-physical systems security: An automatic control perspective.
J. Syst. Softw., 2019

Output Feedback Control via Bisimulation of Stochastic Linear Systems.
IEEE Control. Syst. Lett., 2019

Symbolic control design of nonlinear systems with outputs.
Autom., 2019

Robust stability of polytopic time-inhomogeneous Markov jump linear systems.
Autom., 2019

Control of Cyber-Physical-Systems with logic specifications: A formal methods approach.
Annu. Rev. Control., 2019

Decentralized Model Predictive Control of Freeway Traffic Systems over Lossy Communication Networks.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Symbolic models approximating possibly unstable time-delay systems with application to the artificial pancreas.
Proceedings of the 18th European Control Conference, 2019

2018
Decentralized Supervisory Control of Networks of Nonlinear Control Systems.
IEEE Trans. Autom. Control., 2018

Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems.
IEEE Trans. Autom. Control., 2018

On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems With Uncertain Time-Varying Time Delays.
IEEE Trans. Autom. Control., 2018

Approximate Diagnosis of Metric Systems.
IEEE Control. Syst. Lett., 2018

Maximal safe set computation for pressure swing adsorption processes.
Comput. Chem. Eng., 2018

Voltage Stabilization in a DC MicroGrid by an ISS-like Lyapunov Function implementing Droop Control.
Proceedings of the 2018 European Control Conference, 2018

On approximate predictability of metric systems.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Nonlinear Control of a DC MicroGrid for the Integration of Photovoltaic Panels.
IEEE Trans Autom. Sci. Eng., 2017

Optimal workload actuator balancing and dynamic reference generation in active vehicle control.
J. Frankl. Inst., 2017

Safe Human-Inspired Adaptive Cruise Control for Autonomous Vehicles.
ERCIM News, 2017

Secure Mode Distinguishability for Switching Systems Subject to Sparse Attacks.
CoRR, 2017

Observability and diagnosability of finite state systems: A unifying framework.
Autom., 2017

Design of decentralized critical observers for networks of finite state machines: A formal method approach.
Autom., 2017

On Approximate Diagnosability of Metric Systems.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Approximate supervisory control of nonlinear systems with outputs.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

A hybrid controller for purity control of a pressure swing adsorption process.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Secure state estimation for DC microgrids control.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Secure state estimation for Cyber Physical Systems with sparse malicious packet drops.
Proceedings of the 2017 American Control Conference, 2017

2016
Symbolic Models for Networks of Control Systems.
IEEE Trans. Autom. Control., 2016

Controllability of Linear Systems With Switching Delays.
IEEE Trans. Autom. Control., 2016

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.
IEEE Trans. Autom. Control., 2016

Observability of Hybrid Dynamical Systems.
Found. Trends Syst. Control., 2016

Cyber-Physical Systems Security: a Systematic Mapping Study.
CoRR, 2016

Safe Human-Inspired Mesoscopic Hybrid Automaton for Autonomous Vehicles.
CoRR, 2016

Resilient stabilization of Multi-Hop Control Networks subject to malicious attacks.
Autom., 2016

Nonlinear control of an AC-connected DC MicroGrid.
Proceedings of the IECON 2016, 2016

Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On external behavior equivalence of continuous-time stochastic linear control systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On symbolic control design of discrete-time nonlinear systems with state quantized measurements.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On Lyapunov-Krasovskii characterizations of stability notions for discrete-time systems with unknown time-varying time-delays.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On stability of time-inhomogeneous Markov jump linear systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Approximation methods for optimal network coding in a multi-hop control network with packet losses.
Proceedings of the European Control Conference, 2015

Critical observability of networks of Finite State Machines.
Proceedings of the European Control Conference, 2015

Further results on fault detection and isolation of malicious nodes in Multi-hop Control Networks.
Proceedings of the European Control Conference, 2015

On equivalence notions for discrete-time stochastic control systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach.
IEEE Trans. Autom. Control., 2014

Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems? Approach.
ERCIM News, 2014

Cyber-Physical Systems - Introduction to the Special Theme.
ERCIM News, 2014

Towards a Unified Theory for the Control of CPS: A Symbolic Approach.
ERCIM News, 2014

Modelling, Analysis and Co-Design of Wireless Control Networks.
ERCIM News, 2014

Symbolic Control Design of Nonlinear Networked Control Systems.
CoRR, 2014

Fault-tolerant control of a wireless HVAC control system.
Proceedings of the 6th International Symposium on Communications, 2014

Modeling of traffic congestion and re-routing in a service provider network.
Proceedings of the IEEE International Conference on Communications, 2014

Symbolic models for networks of discrete-time nonlinear control systems.
Proceedings of the American Control Conference, 2014

2013
Fault Tolerant Control of Multi-Hop Control Networks.
IEEE Trans. Autom. Control., 2013

Digital self-triggered robust control of nonlinear systems.
Int. J. Control, 2013

Reply to the Discussion on "Theory and computation of discrete state space".
Eur. J. Control, 2013

Theory and computation of discrete state space decompositions for hybrid systems.
Eur. J. Control, 2013

Networked Embedded Control Systems: from Modelling to Implementation.
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Energy-efficient sampling of networked control systems over IEEE 802.15.4 wireless networks.
Autom., 2013

Randomized sampling for large zero-sum games.
Autom., 2013

The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem.
Autom., 2013

Networked model predictive traffic control with time varying optimization horizon: The Grenoble South Ring case study.
Proceedings of the European Control Conference, 2013

A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Vehicle attitude control with saturating actuators: Workload balancing and reference adaptation.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Adaptive networked model predictive control of freeway traffic systems.
Proceedings of the American Control Conference, 2013

2012
Integrated Design of Symbolic Controllers for Nonlinear Systems.
IEEE Trans. Autom. Control., 2012

Symbolic models for nonlinear control systems affected by disturbances.
Int. J. Control, 2012

A framework for modeling wireless embedded control systems.
Proceedings of the 5th International Symposium on Communications, 2012

A symbolic approach to the design of nonlinear networked control systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Optimal co-design of control, scheduling and routing in multi-hop control networks.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Feedback stabilization of dynamical systems with switched delays.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Integrated symbolic design of unstable nonlinear Networked Control Systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Sequences of Discrete Abstractions for Piecewise Affine Systems.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

Hybrid power control on a wireless networked control system.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
Verification of Hybrid Automata Diagnosability by Abstraction.
IEEE Trans. Autom. Control., 2011

Approximate Abstractions of Stochastic Hybrid Systems.
IEEE Trans. Autom. Control., 2011

Arenas of Finite State Machines
CoRR, 2011

Hide-and-Seek with Directional Sensing
CoRR, 2011

Fault Tolerant Stabilizability of Multi-Hop Control Networks
CoRR, 2011

Link failure detection in Multi-Hop Control Networks.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Smart management of actuator saturation in integrated vehicle control.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Symbolic models for nonlinear time-delay systems using approximate bisimulations.
Syst. Control. Lett., 2010

A complexity reduction approach to detectability of switching systems.
Int. J. Control, 2010

Adaptive self-triggered control over IEEE 802.15.4 networks.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Approximate equivalence and synchronization of metric transition systems.
Syst. Control. Lett., 2009

A structural approach to detectability for a class of hybrid systems.
Autom., 2009

Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Multihop Multi-channel Scheduling for Wireless Control in WirelessHART Networks.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

A symbolic model approach to the digital control of nonlinear time-delay systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Adaptive integrated vehicle control using active front steering and rear torque vectoring.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Classification of Physical Interactions between Two Subjects.
Proceedings of the Sixth International Workshop on Wearable and Implantable Body Sensor Networks, 2009

2008
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Approximate abstractions of discrete-time controlled stochastic hybrid systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Diagnosability of hybrid automata with measurement uncertainty.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Automatic verification of wireless control in a mining ventilation system.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

2007
Non-linear control of electromagnetic valves for camless engines.
Int. J. Control, 2007

Diagnosability Verification for Hybrid Automata.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

The Concept of Deadlock and Livelock in Hybrid Control Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Verification of temporal properties on hybrid automata by simulation relations.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Approximate timed abstractions of hybrid automata.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Diagnosability verification for hybrid automata and durational graphs.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Modeling and design of control algorithms over wireless networks.
Proceedings of the IEEE International Conference on Control Applications, 2007

2006
Introducing consciousness in UWB networks by hybrid modelling of admission control.
Mob. Networks Appl., 2006

Observability of Hybrid Automata by Abstraction.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Observability of Internal Variables in Interconnected Switching Systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Nonlinear Regulation of Electromagnetic Valves for Camless Engines.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Stabilizability based State Space Reductions for Hybrid Systems.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

Critical States Detection with Bounded Probability of False Alarm and Application to Air Traffic Management.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

Idle Speed control - a Benchmark for Hybrid System Research1.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
Efficient Solution of Optimal Control Problems Using Hybrid Systems.
SIAM J. Control. Optim., 2005

2004
Computation of maximal safe sets for switching systems.
IEEE Trans. Autom. Control., 2004

2003
Individual cylinder characteristic estimation for a spark injection engine.
Autom., 2003

Stochastic Hybrid Models: An Overview.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

A New Experiment in Research on Hybrid Systems: The Center of Excellence DEWS.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002
Design of Observers for Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001
Model matching for finite-state machines.
IEEE Trans. Autom. Control., 2001

Optimal Control Using Bisimulations: Implementation.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

2000
A new procedure for exact ring closure.
J. Comput. Chem., 2000

Theory of Optimal Control Using Bisimulations.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
Hybrid control in automotive applications: the cut-off control.
Autom., 1999

1998
Hybrid Control for Automotive Engine Management: The Cut-Off Case.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1995
Supervisory Control of Finite State Machines.
Proceedings of the Computer Aided Verification, 1995

1994
Chain Closure: A Problem in Molecular CAD.
Proceedings of the 31st Conference on Design Automation, 1994

1993
Control of nonholonomic systems via dynamic compensation.
Kybernetika, 1993

1987
A Bayesian-adaptive decision method for the V/UV/S classification of segments of a speech signal.
IEEE Trans. Acoust. Speech Signal Process., 1987

1985
A study on vowel behaviour and its description by a statistical model.
Proceedings of the IEEE International Conference on Acoustics, 1985

1982
The design and construction of digital speech processing systems to serve as an aid to the hard-to-hearing.
Speech Commun., 1982

Phonetic recognition to assist lip-reading for deaf children.
Proceedings of the IEEE International Conference on Acoustics, 1982


  Loading...