Segui
Giordano Pola
Giordano Pola
Associate Professor at the University of L'Aquila
Email verificata su univaq.it - Home page
Titolo
Citata da
Citata da
Anno
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
3692009
Approximately bisimilar symbolic models for nonlinear control systems
G Pola, A Girard, P Tabuada
Automatica 44 (10), 2508-2516, 2008
3262008
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
2982011
Stochastic hybrid models: An overview
G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto
IFAC Proceedings Volumes 36 (6), 45-50, 2003
2062003
Symbolic models for nonlinear control systems: Alternating approximate bisimulations
G Pola, P Tabuada
SIAM Journal on Control and Optimization 48 (2), 719-733, 2009
1552009
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
882016
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
482019
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
422018
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
392017
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
362017
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
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
342006
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
322006
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
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
272012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20