Giordano Pola

According to our database1, Giordano Pola
  • authored at least 43 papers between 2007 and 2018.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Approximate Diagnosis of Metric Systems.
IEEE Control Systems Letters, 2018

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

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

2016
Symbolic Models for Networks of Control Systems.
IEEE Trans. Automat. Contr., 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

2015
Critical observability of networks of Finite State Machines.
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

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

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

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

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

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

2013
Networked Embedded Control Systems: from Modelling to Implementation.
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.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
A Stochastic Reachability Approach to Portfolio Construction in Finance Industry.
IEEE Trans. Contr. Sys. Techn., 2012

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.
IEEE Trans. Automat. Contr., 2012

Integrated Design of Symbolic Controllers for Nonlinear Systems.
IEEE Trans. Automat. Contr., 2012

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

Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems
CoRR, 2012

A Symbolic Approach to the Design of Nonlinear Networked Control Systems
CoRR, 2012

Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
CoRR, 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

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

2011
Arenas of Finite State Machines
CoRR, 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

2010
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
IEEE Trans. Automat. Contr., 2010

Symbolic models for nonlinear time-delay systems using approximate bisimulations.
Systems & Control Letters, 2010

A complexity reduction approach to detectability of switching systems.
Int. J. 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
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations.
SIAM J. Control and Optimization, 2009

A structural approach to detectability for a class of hybrid systems.
Automatica, 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

2008
Approximately bisimilar symbolic models for nonlinear control systems.
Automatica, 2008

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Symbolic models for nonlinear control systems affected by disturbances.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

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

Symbolic models for linear control systems with disturbances.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Symbolic models for nonlinear control systems using approximate bisimulation.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007


  Loading...