| 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 | 381 | 2009 |
| Approximately bisimilar symbolic models for nonlinear control systems G Pola, A Girard, P Tabuada Automatica 44 (10), 2508-2516, 2008 | 338 | 2008 |
| 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 | 311 | 2011 |
| Stochastic hybrid models: An overview G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto IFAC Proceedings Volumes 36 (6), 45-50, 2003 | 212 | 2003 |
| Symbolic models for nonlinear control systems: Alternating approximate bisimulations G Pola, P Tabuada SIAM Journal on Control and Optimization 48 (2), 719-733, 2009 | 161 | 2009 |
| 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 | 121 | 2003 |
| Symbolic models for networks of control systems G Pola, P Pepe, MD Di Benedetto IEEE Transactions on Automatic Control 61 (11), 3663-3668, 2016 | 94 | 2016 |
| 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 | 85 | 2010 |
| 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 | 53 | 2006 |
| 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 | 52 | 2019 |
| 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 | 51 | 2011 |
| 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 | 48 | 2018 |
| 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 | 42 | 2017 |
| 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 | 41 | 2017 |
| 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 | 39 | 2006 |
| 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 | 35 | 2015 |
| 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 | 33 | 2009 |
| 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 | 33 | 2006 |
| 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 | 31 | 2004 |
| 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 | 28 | 2012 |
Maria Domenica Di BenedettoProfessor, University of L'Aquila, Italy在 univaq.it 的电子邮件经过验证
