Follow
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
3712009
Approximately bisimilar symbolic models for nonlinear control systems
G Pola, A Girard, P Tabuada
Automatica 44 (10), 2508-2516, 2008
3302008
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
3022011
Stochastic hybrid models: An overview
G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto
IFAC Proceedings Volumes 36 (6), 45-50, 2003
2072003
Symbolic models for nonlinear control systems: Alternating approximate bisimulations
G Pola, P Tabuada
SIAM Journal on Control and Optimization 48 (2), 719-733, 2009
1572009
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
1222003
Symbolic models for networks of control systems
G Pola, P Pepe, MD Di Benedetto
IEEE Transactions on Automatic Control 61 (11), 3663-3668, 2016
902016
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
832010
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
542006
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
512011
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
492019
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
442018
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
402017
On Lyapunov–Krasovskii characterizations of stability notions for discrete-time systems with uncertain time-varying time delays
P Pepe, G Pola, MD Di Benedetto
IEEE Transactions on Automatic Control 63 (6), 1603-1617, 2017
382017
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: Theory and Safety Critical Applications, 141-170, 2006
352006
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
342015
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
342009
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
332006
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
282012
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
282004
The system can't perform the operation now. Try again later.
Articles 1–20