Giordano Pola

97 papers B 1C 3Journal 45Unranked 47
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
2025 — conf
Decentralized Attack Detection and Localization for Finite State Machines.
CDC
Bushra Bushra, Elena De Santis, Giordano Pola
2024 J jnl
A Condition and Fault Prevention Monitoring System for Industrial Computer Numerical Control Machinery.
IEEE Access
Mattia Ragnoli, Marino Pavone, Nicola Epicoco, Giordano Pola, Elena De Santis, Gianluca Barile, Vincenzo Stornelli
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
Modelling Sensors Degradation for Water Quality Monitoring: A Data-Driven Approach.
CASE
Marino Pavone, Nicola Epicoco, Giordano Pola, Andrea Manno
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 J jnl
On Sampled-Data Control of Nonlinear Asynchronous Switched Systems.
IEEE Control. Syst. Lett.
Mario Di Ferdinando, Giordano Pola, Stefano Di Gennaro, Pierdomenico Pepe
2024 J jnl
On the digital event-based control for nonlinear time-delay systems with exogenous disturbances.
Autom.
Mario Di Ferdinando, Stefano Di Gennaro, Alessandro Borri, Giordano Pola, Pierdomenico Pepe
2024 — conf
Security and Localization of Cyber Attacks in Finite State Machines.
CASE
Bushra Bushra, Elena De Santis, Giordano Pola
2023 — conf
A Generalized Approach for Feature Selection in Water Quality Monitoring.
MED
Marino Pavone, Nicola Epicoco, Francesco Magliocca, Giordano Pola
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
On Nash Equilibria for Decentralized Symbolic Control of Interconnected Finite State Systems.
CDC
Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2023 — conf
On the Digital Event-Based Implementation of a Glucose Regulator via Subcutaneous Insulin Infusion.
CDC
Mario Di Ferdinando, Stefano Di Gennaro, Alessandro Borri, Giordano Pola, Pierdomenico Pepe
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 — conf
Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications.
MED
Daniel Ajedamola Ajeleye, Tommaso Masciulli, 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 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
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
2021 J jnl
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications.
Autom.
Tommaso Masciulli, 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
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 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
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
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 B conf
On Approximate Diagnosability of Metric Systems.
SEFM
Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
2017 — conf
On achievable behavior of stochastic descriptor systems.
CDC
Giordano Pola
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 — 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 symbolic control design of discrete-time nonlinear systems with state quantized measurements.
CDC
Giordano Pola, Alessandro Borri, Maria Domenica Di Benedetto
2016 J jnl
Symbolic Models for Networks of Control Systems.
IEEE Trans. Autom. Control.
Giordano Pola, Pierdomenico Pepe, 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
On equivalence notions for discrete-time stochastic control systems.
CDC
Giordano Pola, Costanzo Manes, Arjan van der Schaft, Maria Domenica Di Benedetto
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 — conf
Networked Embedded Control Systems: from Modelling to Implementation.
HAS
Maria Domenica Di Benedetto, Giordano Pola
2013 — ed.
Proceedings Third International Workshop on Hybrid Autonomous Systems, HAS 2013, Rome, Italy, 17th March 2013.
HAS
Luca Bortolussi, Manuela-Luminita Bujorianu, Giordano Pola
2012 J jnl
A Stochastic Reachability Approach to Portfolio Construction in Finance Industry.
IEEE Trans. Control. Syst. Technol.
Giordano Pola, Gianni Pola
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 symbolic approach to the design of nonlinear networked control systems.
HSCC
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
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 — 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 Without Stability Assumptions.
IEEE Trans. Autom. Control.
Majid Zamani, Giordano Pola, Manuel Mazo Jr., Paulo Tabuada
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
Arenas of Finite State Machines
CoRR
Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis
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
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 J jnl
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
IEEE Trans. Autom. Control.
Antoine Girard, Giordano Pola, Paulo Tabuada
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
2010 C conf
Symbolic models for unstable nonlinear control systems.
ACC
Majid Zamani, Giordano Pola, 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 J jnl
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations.
SIAM J. Control. Optim.
Giordano Pola, Paulo Tabuada
2008 — conf
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
HSCC
Antoine Girard, Giordano Pola, Paulo Tabuada
2008 J jnl
Approximately bisimilar symbolic models for nonlinear control systems.
Autom.
Giordano Pola, Antoine Girard, Paulo Tabuada
2008 — conf
Symbolic models for nonlinear control systems affected by disturbances.
CDC
Giordano Pola, Paulo Tabuada
2007 — conf
Symbolic models for linear control systems with disturbances.
CDC
Giordano Pola, Paulo Tabuada
2007 — conf
Symbolic models for nonlinear control systems using approximate bisimulation.
CDC
Giordano Pola, Antoine Girard, Paulo Tabuada
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
2006 — conf
Observability of Internal Variables in Interconnected Switching Systems.
CDC
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
2006 — conf
Optimal Dynamic Asset Allocation: A Stochastic Invariance Approach.
CDC
Gianni Pola, Giordano Pola
2006 — conf
Positive Switching Systems.
POSTA
Elena De Santis, 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
2004 — conf
Bisimulation theory for switching linear systems.
CDC
Giordano Pola, Arjan J. van der Schaft, Maria Domenica Di Benedetto
2004 — conf
Digital control of continuous-time switching systems with safety constraints.
CDC
Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola
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 C conf
Inner approximations of domains of attraction for constrained continuous time linear systems.
ACC
Elena De Santis, M. D. Di Benedeto, Giordano Pola
2001 — conf
Controlled safe sets for continuous time linear systems.
ECC
Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola