Giordano Pola
Giordano Pola
Associate Professor at the University of L'Aquila
Verified email at univaq.it - Homepage
Title
Cited by
Cited by
Year
Approximately bisimilar symbolic models for incrementally stable switched systems
A Girard, G Pola, P Tabuada
IEEE Transactions on Automatic Control 55 (1), 116-126, 2009
2982009
Approximately bisimilar symbolic models for nonlinear control systems
G Pola, A Girard, P Tabuada
Automatica 44 (10), 2508-2516, 2008
2552008
Symbolic models for nonlinear control systems without stability assumptions
M Zamani, G Pola, M Mazo, P Tabuada
IEEE Transactions on Automatic Control 57 (7), 1804-1809, 2011
2052011
Stochastic Hybrid Models: An Overview.
G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto
ADHS, 45-50, 2003
1762003
Symbolic models for nonlinear control systems: Alternating approximate bisimulations
G Pola, P Tabuada
SIAM Journal on Control and Optimization 48 (2), 719-733, 2009
1192009
On observability and detectability of continuous-time linear switching systems
E De Santis, MD Di Benedetto, G Pola
42nd IEEE International Conference on Decision and Control (IEEE Cat. No …, 2003
1092003
Symbolic models for nonlinear time-delay systems using approximate bisimulations
G Pola, P Pepe, MD Di Benedetto, P Tabuada
Systems & Control Letters 59 (6), 365-373, 2010
662010
Symbolic models for networks of control systems
G Pola, P Pepe, MD Di Benedetto
IEEE Transactions on Automatic Control 61 (11), 3663-3668, 2016
602016
Digital idle speed control of automotive engines: A safety problem for hybrid systems
E De Santis, MD Di Benedetto, G Pola
Nonlinear Analysis: Theory, Methods & Applications 65 (9), 1705-1724, 2006
472006
Integrated design of symbolic controllers for nonlinear systems
G Pola, A Borri, MD Di Benedetto
IEEE Transactions on Automatic Control 57 (2), 534-539, 2011
392011
Critical observability of a class of hybrid systems and application to air traffic management
E De Santis, MD Di Benedetto, S Di Gennaro, A D’Innocenzo, G Pola
Stochastic Hybrid Systems, 141-170, 2006
322006
A structural approach to detectability for a class of hybrid systems
E De Santis, MD Di Benedetto, G Pola
Automatica 45 (5), 1202-1206, 2009
282009
Equivalence of switching linear systems by bisimulation
G Pola, AJ Van Der Schaft, MD Di Benedetto
International Journal of Control 79 (1), 74-92, 2006
282006
Symbolic models and control of discrete-time piecewise affine systems: An approximate simulation approach
G Pola, MD Di Benedetto
IEEE Transactions on Automatic Control 59 (1), 175-180, 2013
262013
Bisimulation theory for switching linear systems
G Pola, AJ Van Der Schaft, MD Di Benedetto
2004 43rd IEEE Conference on Decision and Control (CDC)(IEEE Cat. No …, 2004
262004
Symbolic models for time‐varying time‐delay systems via alternating approximate bisimulation
G Pola, P Pepe, MD Di Benedetto
International Journal of Robust and Nonlinear Control 25 (14), 2328-2347, 2015
232015
A symbolic approach to the design of nonlinear networked control systems
A Borri, G Pola, MD Di Benedetto
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
232012
Stabilizability of linear switching systems
E De Santis, MD Di Benedetto, G Pola
Nonlinear Analysis: Hybrid Systems 2 (3), 750-764, 2008
222008
Positive switching systems
E De Santis, G Pola
Lecture notes in control and information sciences 341, 49, 2006
202006
Approximately bisimilar symbolic models for incrementally stable switched systems
A Girard, G Pola, P Tabuada
International Workshop on Hybrid Systems: Computation and Control, 201-214, 2008
192008
The system can't perform the operation now. Try again later.
Articles 1–20