Takip et
Giordano Pola
Giordano Pola
Associate Professor at the University of L'Aquila
univaq.it üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
3932009
Approximately bisimilar symbolic models for nonlinear control systems
G Pola, A Girard, P Tabuada
Automatica 44 (10), 2508-2516, 2008
3512008
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
3222011
Stochastic hybrid models: An overview
G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto
IFAC Proceedings Volumes 36 (6), 45-50, 2003
2172003
Symbolic models for nonlinear control systems: Alternating approximate bisimulations
G Pola, P Tabuada
SIAM Journal on Control and Optimization 48 (2), 719-733, 2009
1672009
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
1002016
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
882010
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
632019
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
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
512018
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
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
492017
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
452017
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
422006
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
352015
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
352009
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
Design of decentralized critical observers for networks of finite state machines: A formal method approach
G Pola, E De Santis, MD Di Benedetto, D Pezzuti
Automatica 86, 174-182, 2017
292017
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20