Maria Domenica Di Benedetto

IEEE Control. Syst. Lett., 2024

Adaptive responses of cancer cells to tumor microenvironment changes: an evolutionary model perspective.

[BibT_eX]

[DOI]

Chiara Romano

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

A Mesoscopic Human-Inspired Adaptive Cruise Control for Eco-Driving.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., September, 2023

On Nash Equilibria for Decentralized Symbolic Control of Interconnected Finite State Systems.

[BibT_eX]

[DOI]

Carlos Eduardo Celeste Junior

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Co-Design of Resource Limited Genetic Modules.

[BibT_eX]

[DOI]

Ilaria Di Loreto

Theodore W. Grunberg

Domitilla Del Vecchio

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Voltage Regulation and Current Sharing in DC Microgrids With Different Information Scenarios.

[BibT_eX]

[DOI]

Miguel Jiménez Carrizosa

IEEE Trans. Control. Syst. Technol., 2022

Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes.

[BibT_eX]

[DOI]

Pasquale Palumbo

IEEE Trans. Control. Syst. Technol., 2022

Mesoscopic Controller for String Stability of Platoons With Disturbances.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2022

Scalable Mesh Stability of Nonlinear Interconnected Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems.

[BibT_eX]

[DOI]

Tommaso Masciulli

IEEE Control. Syst. Lett., 2022

Sampled-data glucose regulation with reach-and-stay specifications through time-varying contracts.

[BibT_eX]

[DOI]

Ilaria Di Loreto

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

String Stability of a Vehicular Platoon With the Use of Macroscopic Information.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2021

Data-driven controller synthesis for abstract systems with regular language specifications.

[BibT_eX]

[DOI]

Tommaso Masciulli

Autom., 2021

Critical Observability of Finite State Machines Under Attacks.

[BibT_eX]

[DOI]

Naeimeh Fakhr Shamloo

Proceedings of the 29th Mediterranean Conference on Control and Automation, 2021

2020

A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving.

[BibT_eX]

[DOI]

Proceedings of the 18th European Control Conference, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

An assume-guarantee approach to sampled-data quantized glucose control.

[BibT_eX]

[DOI]

Ilaria Di Loreto

Ramin Bozorgmehry Boozarjomehry

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Design of a Hybrid Controller for Pressure Swing Adsorption Processes.

[BibT_eX]

[DOI]

Mohammad Fakhroleslam

Shohreh Fatemi

IEEE Trans. Control. Syst. Technol., 2019

Design of Symbolic Controllers for Networked Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

State of the art of cyber-physical systems security: An automatic control perspective.

[BibT_eX]

[DOI]

Ivano Malavolta

J. Syst. Softw., 2019

Output Feedback Control via Bisimulation of Stochastic Linear Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2019

Symbolic control design of nonlinear systems with outputs.

[BibT_eX]

[DOI]

Autom., 2019

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

[BibT_eX]

[DOI]

Autom., 2019

Control of Cyber-Physical-Systems with logic specifications: A formal methods approach.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2019

Decentralized Model Predictive Control of Freeway Traffic Systems over Lossy Communication Networks.

[BibT_eX]

[DOI]

Antonella Ferrara

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.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

2018

Decentralized Supervisory Control of Networks of Nonlinear Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems.

[BibT_eX]

[DOI]

Arjan van der Schaft

IEEE Trans. Autom. Control., 2018

On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems With Uncertain Time-Varying Time Delays.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Approximate Diagnosis of Metric Systems.

[BibT_eX]

[DOI]

Ramin Bozorgmehry Boozarjomehry

IEEE Control. Syst. Lett., 2018

Maximal safe set computation for pressure swing adsorption processes.

[BibT_eX]

[DOI]

Mohammad Fakhroleslam

Shohreh Fatemi

Comput. Chem. Eng., 2018

Voltage Stabilization in a DC MicroGrid by an ISS-like Lyapunov Function implementing Droop Control.

[BibT_eX]

[DOI]

Gilney Damm

Lilia Galai-Dol

Proceedings of the 16th European Control Conference, 2018

On approximate predictability of metric systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2017

Optimal workload actuator balancing and dynamic reference generation in active vehicle control.

[BibT_eX]

[DOI]

J. Frankl. Inst., 2017

Safe Human-Inspired Adaptive Cruise Control for Autonomous Vehicles.

[BibT_eX]

[DOI]

Rafael Wisniewski

ERCIM News, 2017

Secure Mode Distinguishability for Switching Systems Subject to Sparse Attacks.

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

Autom., 2017

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

[BibT_eX]

[DOI]

Davide Pezzuti

Autom., 2017

On Approximate Diagnosability of Metric Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Approximate supervisory control of nonlinear systems with outputs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ramin Bozorgmehry Boozarjomehry

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

A hybrid controller for purity control of a pressure swing adsorption process.

[BibT_eX]

[DOI]

Mohammad Fakhroleslam

Shohreh Fatemi

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Secure state estimation for DC microgrids control.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Secure state estimation for Cyber Physical Systems with sparse malicious packet drops.

[BibT_eX]

[DOI]

Young Hwan Chang

Qie Hu

Claire J. Tomlin

Proceedings of the 2017 American Control Conference, 2017

2016

Symbolic Models for Networks of Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Controllability of Linear Systems With Switching Delays.

[BibT_eX]

[DOI]

Raphaël M. Jungers

IEEE Trans. Autom. Control., 2016

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.

[BibT_eX]

[DOI]

Yi Deng

IEEE Trans. Autom. Control., 2016

Observability of Hybrid Dynamical Systems.

[BibT_eX]

[DOI]

Found. Trends Syst. Control., 2016

Cyber-Physical Systems Security: a Systematic Mapping Study.

[BibT_eX]

[DOI]

Ivano Malavolta

CoRR, 2016

Safe Human-Inspired Mesoscopic Hybrid Automaton for Autonomous Vehicles.

[BibT_eX]

[DOI]

Francesco Valentini

Marco Pratesi

CoRR, 2016

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

[BibT_eX]

[DOI]

Autom., 2016

Nonlinear control of an AC-connected DC MicroGrid.

[BibT_eX]

[DOI]

Proceedings of the IECON 2016, 2016

Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence.

[BibT_eX]

[DOI]

Arjan van der Schaft

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On external behavior equivalence of continuous-time stochastic linear control systems.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On symbolic control design of discrete-time nonlinear systems with state quantized measurements.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On stability of time-inhomogeneous Markov jump linear systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 14th European Control Conference, 2015

Critical observability of networks of Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the 14th European Control Conference, 2015

Further results on fault detection and isolation of malicious nodes in Multi-hop Control Networks.

[BibT_eX]

[DOI]

Proceedings of the 14th European Control Conference, 2015

On equivalence notions for discrete-time stochastic control systems.

[BibT_eX]

[DOI]

Arjan van der Schaft

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control.

[BibT_eX]

[DOI]

Francesco Valentini

Marco Pratesi

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.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

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

[BibT_eX]

[DOI]

Françoise Lamnabhi-Lagarrigue

ERCIM News, 2014

Cyber-Physical Systems - Introduction to the Special Theme.

[BibT_eX]

[DOI]

Erwin Schoitsch

ERCIM News, 2014

Towards a Unified Theory for the Control of CPS: A Symbolic Approach.

[BibT_eX]

[DOI]

ERCIM News, 2014

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

[BibT_eX]

[DOI]

ERCIM News, 2014

Symbolic Control Design of Nonlinear Networked Control Systems.

[BibT_eX]

[DOI]

CoRR, 2014

Fault-tolerant control of a wireless HVAC control system.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Communications, 2014

Modeling of traffic congestion and re-routing in a service provider network.

[BibT_eX]

[DOI]

A. Di Loreto

T. Ionta

Proceedings of the IEEE International Conference on Communications, 2014

Symbolic models for networks of discrete-time nonlinear control systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Fault Tolerant Control of Multi-Hop Control Networks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

Digital self-triggered robust control of nonlinear systems.

[BibT_eX]

[DOI]

Int. J. Control, 2013

Reply to the Discussion on "Theory and computation of discrete state space".

[BibT_eX]

[DOI]

Eur. J. Control, 2013

Theory and computation of discrete state space decompositions for hybrid systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2013

Networked Embedded Control Systems: from Modelling to Implementation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ubaldo Tiberi

Carlo Fischione

Karl Henrik Johansson

Shaunak Dattaprasad Bopardikar

Autom., 2013

Randomized sampling for large zero-sum games.

[BibT_eX]

[DOI]

João P. Hespanha

Maria Prandini

Autom., 2013

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

[BibT_eX]

[DOI]

Autom., 2013

Networked model predictive traffic control with time varying optimization horizon: The Grenoble South Ring case study.

[BibT_eX]

[DOI]

Antonella Ferrara

Proceedings of the 12th European Control Conference, 2013

A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems.

[BibT_eX]

[DOI]

Davide Pezzuti

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Vehicle attitude control with saturating actuators: Workload balancing and reference adaptation.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Adaptive networked model predictive control of freeway traffic systems.

[BibT_eX]

[DOI]

Antonella Ferrara

Proceedings of the American Control Conference, 2013

2012

Integrated Design of Symbolic Controllers for Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Symbolic models for nonlinear control systems affected by disturbances.

[BibT_eX]

[DOI]

Int. J. Control, 2012

A framework for modeling wireless embedded control systems.

[BibT_eX]

[DOI]

Claudia Rinaldi

Fortunato Santucci

Proceedings of the 5th International Symposium on Communications, 2012

A symbolic approach to the design of nonlinear networked control systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Feedback stabilization of dynamical systems with switched delays.

[BibT_eX]

[DOI]

Raphaël M. Jungers

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Integrated symbolic design of unstable nonlinear Networked Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Sequences of Discrete Abstractions for Piecewise Affine Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alessandro Petriccone

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

Hybrid power control on a wireless networked control system.

[BibT_eX]

[DOI]

Claudia Rinaldi

Fortunato Santucci

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Verification of Hybrid Automata Diagnosability by Abstraction.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Approximate Abstractions of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Arenas of Finite State Machines

[BibT_eX]

[DOI]

CoRR, 2011

Hide-and-Seek with Directional Sensing

[BibT_eX]

[DOI]

Shaunak Dattaprasad Bopardikar

João Pedro Hespanha

CoRR, 2011

Fault Tolerant Stabilizability of Multi-Hop Control Networks

[BibT_eX]

[DOI]

CoRR, 2011

Link failure detection in Multi-Hop Control Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Smart management of actuator saturation in integrated vehicle control.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Paulo Tabuada

Syst. Control. Lett., 2010

A complexity reduction approach to detectability of switching systems.

[BibT_eX]

[DOI]

Int. J. Control, 2010

Adaptive self-triggered control over IEEE 802.15.4 networks.

[BibT_eX]

[DOI]

Ubaldo Tiberi

Carlo Fischione

Karl Henrik Johansson

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alessandro Petriccone

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.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Approximate equivalence and synchronization of metric transition systems.

[BibT_eX]

[DOI]

George J. Pappas

Syst. Control. Lett., 2009

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

[BibT_eX]

[DOI]

Autom., 2009

Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Multihop Multi-channel Scheduling for Wireless Control in WirelessHART Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Paulo Tabuada

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Adaptive integrated vehicle control using active front steering and rear torque vectoring.

[BibT_eX]

[DOI]

Gilberto Burgio

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Classification of Physical Interactions between Two Subjects.

[BibT_eX]

[DOI]

Ruzena Bajcsy

Annarita Giani

Claire J. Tomlin

Proceedings of the Sixth International Workshop on Wearable and Implantable Body Sensor Networks, 2009

2008

Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Shankar Sastry

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Approximate abstractions of discrete-time controlled stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Diagnosability of hybrid automata with measurement uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Automatic verification of wireless control in a mining ventilation system.

[BibT_eX]

[DOI]

Emmanuel Witrant

Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

2007

Non-linear control of electromagnetic valves for camless engines.

[BibT_eX]

[DOI]

Int. J. Control, 2007

Diagnosability Verification for Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

The Concept of Deadlock and Livelock in Hybrid Control Systems.

[BibT_eX]

[DOI]

Shankar Sastry

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Verification of temporal properties on hybrid automata by simulation relations.

[BibT_eX]

[DOI]

George J. Pappas

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Approximate timed abstractions of hybrid automata.

[BibT_eX]

[DOI]

George J. Pappas

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Diagnosability verification for hybrid automata and durational graphs.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Output Feedback Regulation of Electromagnetic Valves for Camless Engines.

[BibT_eX]

[DOI]

Cuauhtemoc Acosta Lua

Proceedings of the American Control Conference, 2007

Modeling and design of control algorithms over wireless networks.

[BibT_eX]

[DOI]

Claudia Rinaldi

Fortunato Santucci

Proceedings of the IEEE International Conference on Control Applications, 2007

2006

Introducing consciousness in UWB networks by hybrid modelling of admission control.

[BibT_eX]

[DOI]

Guerino Giancola

Mob. Networks Appl., 2006

Observability of Hybrid Automata by Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Observability of Internal Variables in Interconnected Switching Systems.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Nonlinear Regulation of Electromagnetic Valves for Camless Engines.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Stabilizability based State Space Reductions for Hybrid Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

Idle Speed control - a Benchmark for Hybrid System Research1.

[BibT_eX]

[DOI]

Tiziano Villa

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Efficient Solution of Optimal Control Problems Using Hybrid Systems.

[BibT_eX]

[DOI]

Mireille E. Broucke

SIAM J. Control. Optim., 2005

Achievable Bisimilar Behaviour of Abstract State Systems.

[BibT_eX]

[DOI]

Arjan J. van der Schaft

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Error Detection within a Specific Time Horizon and Application to Air Traffic Management.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Design of Luenberger-Like Observers for Detectable Switching Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Control, 2005

Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Control, 2005

2004

Computation of maximal safe sets for switching systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2004

Digital control of continuous-time switching systems with safety constraints.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Bisimulation theory for switching linear systems.

[BibT_eX]

[DOI]

Arjan J. van der Schaft

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Individual cylinder characteristic estimation for a spark injection engine.

[BibT_eX]

[DOI]

Autom., 2003

On observability and detectability of continuous-time linear switching systems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Observability for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Stochastic Hybrid Models: An Overview.

[BibT_eX]

[DOI]

Manuela-Luminita Bujorianu

John Lygeros

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.

[BibT_eX]

[DOI]

John Lygeros

The DEWS Team

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002

Design of Observers for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Integrated control-implementation design.

[BibT_eX]

[DOI]

Luca Beradi

Alberto Ferrari

Giovanni Girasole

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Model matching for finite-state machines.

[BibT_eX]

[DOI]

Tiziano Villa

IEEE Trans. Autom. Control., 2001

Optimal Control Using Bisimulations: Implementation.

[BibT_eX]

[DOI]

Mireille E. Broucke

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Controlled safe sets for continuous time linear systems.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

A hybrid observer for the driveline dynamics.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

Mixed models of computation in the design of automotive engine control.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Automotive engine control and hybrid systems: challenges and opportunities.

[BibT_eX]

[DOI]

Proc. IEEE, 2000

A new procedure for exact ring closure.

[BibT_eX]

[DOI]

Pasquale Lucibello

Ken Yamaguchi

J. Comput. Chem., 2000

Theory of Optimal Control Using Bisimulations.

[BibT_eX]

[DOI]

Mireille E. Broucke

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Hybrid controller synthesis for idle speed management of an automotive engine.

[BibT_eX]

[DOI]

Tiziano Villa

Howard Wong-Toi

Proceedings of the American Control Conference, 2000

1999

Hybrid control in automotive applications: the cut-off control.

[BibT_eX]

[DOI]

Carlo Rossi

Autom., 1999

Control of switching systems under state and input constraints.

[BibT_eX]

[DOI]

Proceedings of the 5th European Control Conference, 1999

1998

Hybrid Control for Automotive Engine Management: The Cut-Off Case.

[BibT_eX]

[DOI]

Carlo Rossi

Marika Domenica Di Benedetto

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1995

Supervisory Control of Finite State Machines.

[BibT_eX]

[DOI]

Adnan Aziz

Felice Balarin

Robert K. Brayton

Alexander Saldanha

Proceedings of the Computer Aided Verification, 1995

1994

Necessary conditions for asymptotic tracking in nonlinear systems.

[BibT_eX]

[DOI]

Jessy W. Grizzle

Françoise Lamnabhi-Lagarrigue

IEEE Trans. Autom. Control., 1994

The nonlinear interactor and its application to input-output decoupling.

[BibT_eX]

[DOI]

Alain Glumineau

Claude H. Moog

IEEE Trans. Autom. Control., 1994

Asymptotic model matching for nonlinear systems.

[BibT_eX]

[DOI]

Jessy W. Grizzle

IEEE Trans. Autom. Control., 1994

Chain Closure: A Problem in Molecular CAD.

[BibT_eX]

[DOI]

Pasquale Lucibello

Ken Yamaguchi

Proceedings of the 31st Conference on Design Automation, 1994

1993

Inversion of nonlinear time-varying systems.

[BibT_eX]

[DOI]

Marika Domenica Di Benedetto

Pasquale Lucibello

IEEE Trans. Autom. Control., 1993

Control of nonholonomic systems via dynamic compensation.

[BibT_eX]

[DOI]

Alessandro De Luca

Kybernetika, 1993

1987

A Bayesian-adaptive decision method for the V/UV/S classification of segments of a speech signal.

[BibT_eX]

[DOI]

Giordano Bruno

Angelo Gilio

Paolo Mandarini

IEEE Trans. Acoust. Speech Signal Process., 1987

1985

A study on vowel behaviour and its description by a statistical model.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Speech Commun., 1982

Phonetic recognition to assist lip-reading for deaf children.

[BibT_eX]

[DOI]