Controlled safe sets for continuous time linear systems. - Luca Berardi; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (ECC, 2001)

Inner approximations of domains of attraction for constrained continuous time linear systems. - Elena De Santis; M. D. Di Benedeto; Giordano Pola (ACC, 2002)

Stochastic Hybrid Models: An Overview. - Giordano Pola; Manuela-Luminita Bujorianu; John Lygeros; Maria Domenica Di Benedetto (ADHS, 2003)

On observability and detectability of continuous-time linear switching systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2003)

Bisimulation theory for switching linear systems. - Giordano Pola; Arjan J. van der Schaft; Maria Domenica Di Benedetto (CDC, 2004)

Digital control of continuous-time switching systems with safety constraints. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2004)

Achievable Bisimilar Behaviour of Abstract State Systems. - Giordano Pola; Arjan J. van der Schaft; Maria Domenica Di Benedetto (CDC/ECC, 2005)

Stabilizability based State Space Reductions for Hybrid Systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (ADHS, 2006)

Optimal Dynamic Asset Allocation: A Stochastic Invariance Approach. - Gianni Pola; Giordano Pola (CDC, 2006)

Observability of Internal Variables in Interconnected Switching Systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2006)

Positive Switching Systems. - Elena De Santis; Giordano Pola (POSTA, 2006)

Symbolic models for nonlinear control systems using approximate bisimulation. - Giordano Pola; Antoine Girard; Paulo Tabuada (CDC, 2007)

Symbolic models for linear control systems with disturbances. - Giordano Pola; Paulo Tabuada (CDC, 2007)

The Concept of Deadlock and Livelock in Hybrid Control Systems. - Alessandro Abate; Alessandro D'Innocenzo; Giordano Pola; Maria Domenica Di Benedetto; Shankar Sastry 001 (HSCC, 2007)

Symbolic models for nonlinear control systems affected by disturbances. - Giordano Pola; Paulo Tabuada (CDC, 2008)

Approximately bisimilar symbolic models for nonlinear control systems. - Giordano Pola; Antoine Girard; Paulo Tabuada (Autom., 2008)

A symbolic model approach to the digital control of nonlinear time-delay systems. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto; Paulo Tabuada (CDC, 2009)

A structural approach to detectability for a class of hybrid systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (Autom., 2009)

Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations. - Giordano Pola; Paulo Tabuada (SIAM J. Control. Optim., 2009)

Symbolic models for unstable nonlinear control systems. - Majid Zamani 001; Giordano Pola; Paulo Tabuada (ACC, 2010)

An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (CDC, 2010)

A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems. - Alessandro Petriccone; Giordano Pola; Maria Domenica Di Benedetto; Elena De Santis (CDC, 2010)

Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto (CDC, 2010)

A complexity reduction approach to detectability of switching systems. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (Int. J. Control, 2010)

Symbolic models for nonlinear time-delay systems using approximate bisimulations. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto; Paulo Tabuada (Syst. Control. Lett., 2010)

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. - Antoine Girard; Giordano Pola; Paulo Tabuada (IEEE Trans. Autom. Control., 2010)

Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (CDC/ECC, 2011)

Arenas of Finite State Machines - Giordano Pola; Maria Domenica Di Benedetto; Elena De Santis (CoRR, 2011)

Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation. - Alessandro Petriccone; Giordano Pola; Maria Domenica Di Benedetto; Elena De Santis (ADHS, 2012)

Sequences of Discrete Abstractions for Piecewise Affine Systems. - Giordano Pola; Maria Domenica Di Benedetto (ADHS, 2012)

Integrated symbolic design of unstable nonlinear Networked Control Systems. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (CDC, 2012)

A symbolic approach to the design of nonlinear networked control systems. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (HSCC, 2012)

Symbolic models for nonlinear control systems affected by disturbances. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (Int. J. Control, 2012)

Integrated Design of Symbolic Controllers for Nonlinear Systems. - Giordano Pola; Alessandro Borri; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2012)

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. - Majid Zamani 001; Giordano Pola; Manuel Mazo Jr. 002; Paulo Tabuada (IEEE Trans. Autom. Control., 2012)

A Stochastic Reachability Approach to Portfolio Construction in Finance Industry. - Giordano Pola; Gianni Pola (IEEE Trans. Control. Syst. Technol., 2012)

A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems. - Davide Pezzuti; Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (CDC, 2013)

Networked Embedded Control Systems: from Modelling to Implementation. - Maria Domenica Di Benedetto; Giordano Pola (HAS, 2013)

Symbolic models for networks of discrete-time nonlinear control systems. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto (ACC, 2014)

Symbolic Control Design of Nonlinear Networked Control Systems. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (CoRR, 2014)

Towards a Unified Theory for the Control of CPS: A Symbolic Approach. - Alessandro Borri; Maria Domenica Di Benedetto; Giordano Pola (ERCIM News, 2014)

Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems? Approach. - Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (ERCIM News, 2014)

Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach. - Giordano Pola; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2014)

On equivalence notions for discrete-time stochastic control systems. - Giordano Pola; Costanzo Manes; Arjan van der Schaft; Maria Domenica Di Benedetto (CDC, 2015)

Critical observability of networks of Finite State Machines. - Davide Pezzuti; Sina Lessanibahri; Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (ECC, 2015)

On Lyapunov-Krasovskii characterizations of stability notions for discrete-time systems with unknown time-varying time-delays. - Pierdomenico Pepe; Giordano Pola; Maria Domenica Di Benedetto (CDC, 2016)

On symbolic control design of discrete-time nonlinear systems with state quantized measurements. - Giordano Pola; Alessandro Borri; Maria Domenica Di Benedetto (CDC, 2016)

On external behavior equivalence of continuous-time stochastic linear control systems. - Giordano Pola; Costanzo Manes; Maria Domenica Di Benedetto (CDC, 2016)

Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence. - Giordano Pola; Costanzo Manes; Arjan van der Schaft; Maria Domenica Di Benedetto (CDC, 2016)

Symbolic Models for Networks of Control Systems. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2016)

A hybrid controller for purity control of a pressure swing adsorption process. - Mohammad Fakhroleslam; Shohreh Fatemi; Ramin Bozorgmehry Boozarjomehry; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2017)

On achievable behavior of stochastic descriptor systems. - Giordano Pola (CDC, 2017)

Approximate supervisory control of nonlinear systems with outputs. - Giordano Pola; Maria Domenica Di Benedetto (CDC, 2017)

On Approximate Diagnosability of Metric Systems. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (SEFM, 2017)

Design of decentralized critical observers for networks of finite state machines: A formal method approach. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto; Davide Pezzuti (Autom., 2017)

On approximate predictability of metric systems. - Gabriella Fiore; Elena De Santis; Giordano Pola; Maria Domenica Di Benedetto (ADHS, 2018)

Maximal safe set computation for pressure swing adsorption processes. - Mohammad Fakhroleslam; Shohreh Fatemi; Ramin Bozorgmehry Boozarjomehry; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (Comput. Chem. Eng., 2018)

Approximate Diagnosis of Metric Systems. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (IEEE Control. Syst. Lett., 2018)

On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems With Uncertain Time-Varying Time Delays. - Pierdomenico Pepe; Giordano Pola; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2018)

Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems. - Giordano Pola; Costanzo Manes; Arjan van der Schaft; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2018)

Decentralized Supervisory Control of Networks of Nonlinear Control Systems. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2018)

Symbolic models approximating possibly unstable time-delay systems with application to the artificial pancreas. - Giordano Pola; Alessandro Borri; Pierdomenico Pepe; Pasquale Palumbo; Maria Domenica Di Benedetto (ECC, 2019)

Control of Cyber-Physical-Systems with logic specifications: A formal methods approach. - Giordano Pola; Maria Domenica Di Benedetto (Annu. Rev. Control., 2019)

Symbolic control design of nonlinear systems with outputs. - Giordano Pola; Maria Domenica Di Benedetto; Alessandro Borri (Autom., 2019)

Output Feedback Control via Bisimulation of Stochastic Linear Systems. - Giordano Pola; Costanzo Manes; Maria Domenica Di Benedetto (IEEE Control. Syst. Lett., 2019)

Design of Symbolic Controllers for Networked Control Systems. - Alessandro Borri; Giordano Pola; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2019)

Design of a Hybrid Controller for Pressure Swing Adsorption Processes. - Mohammad Fakhroleslam; Ramin Bozorgmehry Boozarjomehry; Shohreh Fatemi; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Trans. Control. Syst. Technol., 2019)

On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2020)

A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (ECC, 2020)

Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications. - Tommaso Masciulli; Giordano Pola (Autom., 2021)

Data-driven controller synthesis for abstract systems with regular language specifications. - Giordano Pola; Tommaso Masciulli; Elena De Santis; Maria Domenica Di Benedetto (Autom., 2021)

String Stability of a Vehicular Platoon With the Use of Macroscopic Information. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Trans. Intell. Transp. Syst., 2021)

Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications. - Daniel Ajedamola Ajeleye; Tommaso Masciulli; Giordano Pola (MED, 2022)

Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems. - Tommaso Masciulli; Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (IEEE Control. Syst. Lett., 2022)

Scalable Mesh Stability of Nonlinear Interconnected Systems. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Control. Syst. Lett., 2022)

Mesoscopic Controller for String Stability of Platoons With Disturbances. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Trans. Control. Netw. Syst., 2022)

Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes. - Alessandro Borri; Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto; Pasquale Palumbo (IEEE Trans. Control. Syst. Technol., 2022)

On the Digital Event-Based Implementation of a Glucose Regulator via Subcutaneous Insulin Infusion. - Mario Di Ferdinando; Stefano Di Gennaro; Alessandro Borri; Giordano Pola; Pierdomenico Pepe (CDC, 2023)

On Nash Equilibria for Decentralized Symbolic Control of Interconnected Finite State Systems. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (CDC, 2023)

A Generalized Approach for Feature Selection in Water Quality Monitoring. - Marino Pavone; Nicola Epicoco; Francesco Magliocca; Giordano Pola (MED, 2023)

A Mesoscopic Human-Inspired Adaptive Cruise Control for Eco-Driving. - Marco Mirabilio; Alessio Iovine; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (IEEE Trans. Intell. Transp. Syst., 2023)

Security and Localization of Cyber Attacks in Finite State Machines. - Bushra Bushra; Elena De Santis; Giordano Pola (CASE, 2024)

Modelling Sensors Degradation for Water Quality Monitoring: A Data-Driven Approach. - Marino Pavone; Nicola Epicoco; Giordano Pola; Andrea Manno (CASE, 2024)

Observer Decomposition for Finite State Machines and its Application to Opacity. - Bushra Bushra; Elena De Santis; Maria Domenica Di Benedetto; Giordano Pola (CDC, 2024)

A Condition and Fault Prevention Monitoring System for Industrial Computer Numerical Control Machinery. - Mattia Ragnoli; Marino Pavone; Nicola Epicoco; Giordano Pola; Elena De Santis; Gianluca Barile; Vincenzo Stornelli (IEEE Access, 2024)

On the digital event-based control for nonlinear time-delay systems with exogenous disturbances. - Mario Di Ferdinando; Stefano Di Gennaro; Alessandro Borri; Giordano Pola; Pierdomenico Pepe (Autom., 2024)

On Sampled-Data Control of Nonlinear Asynchronous Switched Systems. - Mario Di Ferdinando; Giordano Pola; Stefano Di Gennaro; Pierdomenico Pepe (IEEE Control. Syst. Lett., 2024)

Decentralized Control of Networks of Nondeterministic and Metric Finite State Systems. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (IEEE Control. Syst. Lett., 2024)