Seguir
Giordano Pola
Giordano Pola
Associate Professor at the University of L'Aquila
Dirección de correo verificada de univaq.it - Página principal
Título
Citado por
Citado por
Año
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
3742009
Approximately bisimilar symbolic models for nonlinear control systems
G Pola, A Girard, P Tabuada
Automatica 44 (10), 2508-2516, 2008
3332008
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
3052011
Stochastic hybrid models: An overview
G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto
IFAC Proceedings Volumes 36 (6), 45-50, 2003
2092003
Symbolic models for nonlinear control systems: Alternating approximate bisimulations
G Pola, P Tabuada
SIAM Journal on Control and Optimization 48 (2), 719-733, 2009
1602009
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
1212003
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
842010
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
532006
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
512019
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
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
492006
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
452018
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
412017
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
402017
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
332009
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
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
312004
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20