Giordano Pola

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

A Generalized Approach for Feature Selection in Water Quality Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 31st Mediterranean Conference on Control and Automatio, 2023

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

[BibT_eX]

[DOI]

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

On the Digital Event-Based Implementation of a Glucose Regulator via Subcutaneous Insulin Infusion.

[BibT_eX]

[DOI]

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

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]

IEEE Control. Syst. Lett., 2022

Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications.

[BibT_eX]

[DOI]

Daniel Ajedamola Ajeleye

Proceedings of the 30th Mediterranean Conference on Control and Automation, 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]

Autom., 2021

Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications.

[BibT_eX]

[DOI]

Autom., 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]

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

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

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

[BibT_eX]

[DOI]

Annu. Rev. Control., 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

On approximate predictability of metric systems.

[BibT_eX]

[DOI]

Gabriella Fiore

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

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

On achievable behavior of stochastic descriptor 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

2016

Symbolic Models for Networks of Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 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

2015

Critical observability of networks of Finite State Machines.

[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

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]

ERCIM News, 2014

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

[BibT_eX]

[DOI]

ERCIM News, 2014

Symbolic Control Design of Nonlinear Networked Control Systems.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Networked Embedded Control Systems: from Modelling to Implementation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 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

2012

A Stochastic Reachability Approach to Portfolio Construction in Finance Industry.

[BibT_eX]

[DOI]

Gianni Pola

IEEE Trans. Control. Syst. Technol., 2012

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 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 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

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

2011

Arenas of Finite State Machines

[BibT_eX]

[DOI]

CoRR, 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

2010

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.

[BibT_eX]

[DOI]

Antoine Girard

IEEE Trans. Autom. Control., 2010

Symbolic models for nonlinear time-delay systems using approximate bisimulations.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2010

A complexity reduction approach to detectability of switching systems.

[BibT_eX]

[DOI]

Int. J. 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

Symbolic models for unstable nonlinear control systems.

[BibT_eX]

[DOI]

Majid Zamani

Proceedings of the American Control Conference, 2010

2009

Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2009

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

[BibT_eX]

[DOI]

Autom., 2009

A symbolic model approach to the digital control of nonlinear time-delay systems.

[BibT_eX]

[DOI]

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

2008

Approximately bisimilar symbolic models for nonlinear control systems.

[BibT_eX]

[DOI]

Antoine Girard

Autom., 2008

Symbolic models for nonlinear control systems affected by disturbances.

[BibT_eX]

[DOI]

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

2007

The Concept of Deadlock and Livelock in Hybrid Control Systems.

[BibT_eX]

[DOI]

Alessandro Abate

Alessandro D'Innocenzo

Shankar Sastry

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

Symbolic models for linear control systems with disturbances.

[BibT_eX]

[DOI]

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

Symbolic models for nonlinear control systems using approximate bisimulation.

[BibT_eX]

[DOI]

Antoine Girard

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

2006

Positive Switching Systems.

[BibT_eX]

[DOI]

Proceedings of the Positive Systems, 2006

Observability of Internal Variables in Interconnected Switching Systems.

[BibT_eX]

[DOI]

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

Optimal Dynamic Asset Allocation: A Stochastic Invariance Approach.

[BibT_eX]

[DOI]

Gianni Pola

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

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

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

On observability and detectability of continuous-time linear switching 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

2002

Inner approximations of domains of attraction for constrained continuous time linear systems.

[BibT_eX]

[DOI]

M. D. Di Benedeto

Proceedings of the American Control Conference, 2002

2001

Controlled safe sets for continuous time linear systems.

[BibT_eX]

[DOI]

Luca Berardi