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
3262009
Approximately bisimilar symbolic models for nonlinear control systems
G Pola, A Girard, P Tabuada
Automatica 44 (10), 2508-2516, 2008
2812008
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
2472011
Stochastic hybrid models: An overview
G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto
IFAC Proceedings Volumes 36 (6), 45-50, 2003
1882003
Symbolic models for nonlinear control systems: Alternating approximate bisimulations
G Pola, P Tabuada
SIAM Journal on Control and Optimization 48 (2), 719-733, 2009
1332009
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
1112003
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
782010
Symbolic models for networks of control systems
G Pola, P Pepe, MD Di Benedetto
IEEE Transactions on Automatic Control 61 (11), 3663-3668, 2016
712016
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
502006
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
452011
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
372006
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
312015
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
292009
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
292006
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
272013
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
272004
Design of symbolic controllers for networked control systems
A Borri, G Pola, MD Di Benedetto
IEEE Transactions on Automatic Control 64 (3), 1034-1046, 2018
252018
Decentralized supervisory control of networks of nonlinear control systems
G Pola, P Pepe, MD Di Benedetto
IEEE Transactions on Automatic Control 63 (9), 2803-2817, 2017
252017
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
252012
Control of cyber-physical-systems with logic specifications: A formal methods approach
G Pola, MD Di Benedetto
Annual Reviews in Control 47, 178-192, 2019
212019
The system can't perform the operation now. Try again later.
Articles 1–20