Professore Associato
Giordano Pola
cyber-physical systems, mathematical systems theory
10 Analisi e Controllo di Sistemi Complessi
ING-INF/04 - Automatica
Information Engineering
Publications
Edited Books & Proceedings
P01. Third International Workshop on Hybrid Autonomous Systems (HAS), Rome, 17th March 2013
Electronic Proceedings in Theoretical Computer Science (EPTCS) no. 124
Luca Bortolussi, Manuela L. Bujorianu and Giordano Pola Eds.
Published: August 22nd 2013, DOI: 10.4204/EPTCS.124, ISSN: 2075-2180
Journal Papers
J32. Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems
Masciulli, T., Pola, G., De Santis, E., Di Benedetto, M.D.,
IEEE Control Systems Letters, accepted for publication, 2021
J31. Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
Masciulli, T., Pola, G.
Automatica, in press, 2021
Mirabilio, M., Iovine, A., De Santis, E., Di Benedetto, M.D., Pola, G.
IEEE Transactions on Intelligent Transportation Systems, 2021
De Santis, E., Di Benedetto, M.D., Fiore, G., Pola, G.
Nonlinear Analysis: Hybrid Systems, 2020
Pola, G., Di Benedetto, M.D., Borri, A.
Automatica, November, 2019
Fakhroleslam, M., Pola, G., De Santis, E., Di Benedetto, M.D.
Journal of Process Control, 81(2019):126–135
Pola, G., Di Benedetto, M.D.
Annual Reviews in Control, 47(2019):178-192
Pola, G., Manes, C., Di Benedetto, M.D.
IEEE Control Systems Letters, 3(1): 25-30, January 2019
Fakhroleslam, M., Fatemi, S., Boozarjomehry, R.B., De Santis, E., Di Benedetto, M.D., Pola, G.,
IEEE Transactions on Control Systems Technology 27(5):1878-1892, September 2019
Borri, A., Pola, G., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, 63(3):1034-1046, March 2019
Pola, G., Pepe, P., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, 63(9):2803-2817, September 2018
Pola, G., Manes, C., van der Schaft, A.J., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, 63(7):1897-1912, July 2018
Extended version available at https://arxiv.org/abs/1611.08352
Pepe, P., Pola, G., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, 63(6): 1603-1617, June 2018
Fakhroleslam, M., Fatemi, S., Boozarjomehry, R.B., De Santis, E., Di Benedetto, M.D., Pola, G.
Computers & Chemical Engineering, no. 109, pp. 179-190, 2018
Pola, G., De Santis, E., Di Benedetto, M.D.
IEEE Control Systems Letter, 2(1): 115-120, January 2018
Pola, G., Pezzuti, D. De Santis, E., Di Benedetto, M.D.
Pola, G., Pepe, P., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, 61(11):3663-3668, November 2016
Pola, G., Pepe, P., Di Benedetto, M.D.
International Journal of Robust and Nonlinear Control, 25:2328–2347, September, 2015
Pola, G., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, 59(1):175-180, January, 2014
Borri, A., Pola, G., Di Benedetto, M.D.
International Journal of Control, 85(10):1422-1432, September, 2012
Zamani, M., Pola, G., Mazo, M., Tabuada, P.
IEEE Transactions on Automatic Control, 57(7):1804-1809, July 2012
Pola, G., Borri, A., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, 57(2):534-539, February 2012
Pola, G., Pola, G.
IEEE Transactions of Control Systems Technology, 20(1):189-195, January 2012
De Santis, E., Di Benedetto, M.D., Pola, G.
International Journal of Control, 83(9):1930-1938, September 2010
Pola, G., Pepe, P., Di Benedetto, M.D., Tabuada, P.
Systems & Control Letters 59 (2010) 365-373
Girard, A., Pola, G., Tabuada, P.
IEEE Transaction on Automatic Control, 55(1):116-126, January 2010
De Santis, E., Di Benedetto, M.D., Pola, G.
Automatica, 45(5):1202-1206, 2009
Pola, G., Tabuada, P.
SIAM Journal on Control and Optimization, 48(2):719-733, 2009
Pola, G., Girard A., Tabuada, P.
Automatica, 44(10):2508-2516, October 2008
De Santis, E., Di Benedetto, M.D., Pola, G.
Nonlinear Analysis, Special Issue Hybrid Systems 2 (2008) 750-764
De Santis, E., Di Benedetto, M.D., Pola, G.
Nonlinear Analysis, Special Issue Hybrid Systems and Applications, 65 (2006) 1705-1724
Pola, G., Van der Schaft, A.J., Di Benedetto, M.D.
International Journal of Control, 79, 74–92, January 2006
Book Chapters:
B10. Approximate diagnosability of metric transition systems
Pola, G., De Santis, E., Di Benedetto, M.D.
15th International Conference on Software Engineering and Formal Methods, September 4-8, 2017, Trento (Italy)
A. Cimatti and M. Sirjani Eds.
Lecture Notes in Computer Science, Springer Verlag, vol. no. 10469, pp. 269-283
B09. Networked Embedded Control Systems: from Modelling to Implementation
Di Benedetto, M.D., Pola, G.
Electronic Proceedings in Theoretical Computer Science (EPTCS) 124, pp. 9-13
Bortolussi L., Bujorianu M.L., Pola G. (Eds.): HAS 2013, doi:10.4204/EPTCS
B08. Switched and piecewise affine systems
J. Daafouz, M.D. Di Benedetto, V.D.Blondel, G. Ferrari-Trecate, L. Hetel, M. Johansson, A.l. Joluvski, S. Paoletti, G. Pola, E. De Santis, R. Vidal
Handbook of Hybrid Systems Control, Theory, Tools, Application
J. Lunze and F. Lamnabhi-Lararrigue, Eds.
Cambridge University Press, 2009, pp. 87-137
B07. Observability of linear switched systems
De Santis, E., Di Benedetto, M.D., Pola, G.
Handbook of Hybrid Systems Control, Theory, Tools, Application
J. Lunze and F. Lamnabhi-Lararrigue, Eds.
Cambridge University Press, 2009, 106-112
B06. Approximately bisimilar symbolic models for Incrementally Stable Switched Systems
Girard, A., Pola, G., Tabuada, P.
Hybrid Systems: Computation and Control 2008
M. Egerstedt and B. Mishra, Eds.
Lecture Notes on Computer Information Sciences, Springer Verlag, Vol. no. 4981, 201-214
B05. The Concepts of Deadlock and Livelock in Hybrid Control Systems
Abate, A., D’Innocenzo, A., Pola, G., Sastry, S., Di Benedetto, M.D.
Hybrid Systems: Computation and Control 2007
A. Bemporad, A. Bicchi and G. Buttazzo Eds.
Lecture Notes on Computer Information Sciences, Springer Verlag, Vol. no. 4416, 628-632, (Short Paper)
B04. Stabilizability of affine switching systems: A Kalman-like approach
De Santis, E., Di Benedetto, M.D., Pola, G.
Taming Heterogeneity and Complexity of Embedded Control
F. Lamnabhi-Lagarrigue, S. Laghrouche, A. Loria and E. Panteley Eds.
International Scientific & Technical Encyclopedia (ISTE), London, 2006, 263-276
B03. Positive switching systems
De Santis, E., Pola, G.
Positive Systems: Theory and Applications (POSTA 2006)
C. Commault and N. Marchand Eds.
Lecture Notes on Control and Information Sciences, Springer Verlag, Vol. no. 341, 49-56
B02. Critical Observability of a Class of Hybrid Systems and Application to Air Traffic Management
De Santis, E., Di Benedetto, M.D., Di Gennaro, S., D’Innocenzo, A., Pola, G.
Stochastic Hybrid Systems: Theory and Safety Critical Applications
H.A.P. Blom and J. Lygeros Eds.
Lecture Notes on Control and Information Sciences, Springer Verlag, Vol. no. 337, 141-170
B01. Approximations of maximal controlled safe sets for hybrid systems
Berardi, L., De Santis, E., Di Benedetto, M.D., Pola, G.
Nonlinear and Hybrid Systems in Automotive Control
R. Johansson and A. Rantzer Eds.
Springer Verlag, London, 2003, 335–349
Magazines:
M02. Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems’ Approach
De Santis, E., Di Benedetto, M.D., Pola, G.
ERCIM News No. 97, April 2014
M01. Towards a Unified Theory for the Control of CPS: A Symbolic Approach
Borri, A., Di Benedetto, M.D., Pola, G.
ERCIM News No. 97, April 2014
Peer Reviewed Conference Papers:
C54. On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon,
Mirabilio, M., Iovine, A., De Santis, E., Di Benedetto, M.D., Pola, G.,
IEEE-CDC 2020
C53. On data–driven controller synthesis with regular language specifications,
Pola, G., Masciulli, T., De Santis, E., Di Benedetto, M.D.
IFAC-WC 2020
C52. On symbolic control design of nonlinear systems with dynamic regular language specifications,
Masciulli, T., Pola, G.
IFAC-WC 2020
C51. A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving,
Mirabilio, M., Iovine, A., De Santis, E., Di Benedetto, M.D., Pola, G.
ECC 2020
C50. Symbolic models approximating possibly unstable time–delay systems with application to the artificial pancreas,
Pola, G., Borri, A. Pepe, P., Palumbo, P., Di Benedetto, M.D.,
ECC 2019
C49. On approximate predictability of metric systems
Fiore, G., De Santis, E., Pola, G., Di Benedetto, M.D.,
IFAC-ADHS 2018
C48. An Event-Driven Controller for Pressure Swing Adsorption Processes
Fakhroleslam, M., Boozarjomehry, R.B., Fatemi, S., Di Benedetto, M.D., De Santis, E., Pola, G.
IEEE-CDC 2017
C47. On Achievable Behavior of Stochastic Descriptor Systems
Pola, G.
IEEE-CDC 2017
C46. Approximate Supervisory Control of Nonlinear Systems with Outputs,
Pola, G., Di Benedetto, M.D.
IEEE-CDC 2017
C45. On external behavior equivalence of continuous–time stochastic linear control systems
Pola, G., Manes, C., Di Benedetto, M.D.
IEEE-CDC 2016
C44. Model reduction of continuous–time stochastic linear control systems via bisimulation equivalence
Pola, G., Manes, C., van der Schaft, A.J., Di Benedetto, M.D.
IEEE-CDC 2016
C43. On Lyapunov–Krasovskii Characterizations of Stability Notions for Discrete-Time Systems with Unknown Time-Varying Time-Delays
Pepe, P., Pola, G., Di Benedetto, M.D.
IEEE-CDC 2016
C42. On Symbolic Control Design of Discrete–Time Nonlinear Systems with State Quantized Measurements
Pola, G., Borri, A., Di Benedetto, M.D.
IEEE-CDC 2016
C41. Equivalence Notions for Discrete-Time Stochastic Control Systems
Giordano Pola, Costanzo Manes, Arjan J. van der Schaft and Maria Domenica Di Benedetto
IEEE-CDC 2015
C40. Critical Observability of Networks of Finite State Machines
Pezzuti, D., Lessanibahri, S., Pola, G., De Santis, E., Di Benedetto, M.D.
European Control Conference 2015
C39. Symbolic Models for Networks of Discrete–Time Nonlinear Control Systems
Pola, G., Pepe, P., Di Benedetto, M.D.
2014 American Control Conference
C38. Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach
De Santis, E., Di Benedetto, M.D., Everdij M., Pezzuti, D., Pola, G., Scarciolla, L.
SESAR Innovation Days, November 26-28, 2013, Stockholm, Sweden
(Speaker)
C37. A Critical Bisimulation Approach to Safety Criticality Analysis of Large–Scale Air Traffic Management Systems
Pezzuti, D., Pola, G., De Santis, E., Di Benedetto, M.D.
52nd IEEE Conference on Decision and Control, December 10-13, 2013. Florence, Italy, pp. 4424-4429
C36. Decentralized symbolic control of interconnected systems with application to vehicle platooning
Borri, A., Dimarogonas, D.V., Johansson, K.H., Di Benedetto, M.D., Pola, G.
4th IFAC Workshop on Distributed Estimation and Control in Networked Systems, September 25-26, 2013, Koblenz, Germany
C35. Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems
Borri, A., Pola, G., Di Benedetto, M.D.
51st IEEE Conference on Decision and Control December 10-13, 2012. Maui, Hawaii, USA, pp. 1374-1379
C34. A symbolic approach to the design of nonlinear networked control systems
Borri, A., Pola, G., Di Benedetto, M.D.
Hybrid Systems: Computation and Control 2012, pp. 255-264
I. Mitchell and T. Dang (Eds.)
C33. Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation
Petriccone A., Pola, G., Di Benedetto, M.D., De Santis, E.
4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands, June 2012
C32. Sequences of Discrete Abstractions for Piecewise Affine Systems
Pola, G., Di Benedetto, M.D.
4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands, June 2012
(Invited paper)
C31. Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems affected by Disturbances
Borri, A., Pola, G., Di Benedetto, M.D.
50th IEEE Conference on Decision and Control and European Control Conference, Orlando, USA, December 2011, pp. 552-557
(Invited paper)
C30. A Compositional Approach to Bisimulation of Arenas of Finite State Machines
Pola, G., Di Benedetto, M.D., De Santis, E.
18th IFAC World Congress, Milan, Italy, August 28th-September 2nd 2011, pp. 7006-7011
C29. Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time–Varying Delays
Pola, G., Pepe, P., Di Benedetto, M.D.
49th IEEE Conference on Decision and Control, Atlanta, USA, December 2010, pp. 7649-7654
(Speaker)
C28. An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications
Borri, A., Pola, G., Di Benedetto, M.D.
49th IEEE Conference on Decision and Control, Atlanta, USA, December 2010, pp. 1528-1533
(Speaker)
C27. A Complexity Reduction Approach to the Detection of Safety Critical Situations in Air Traffic Management Systems
Petriccone, A., Pola, G., Di Benedetto, M.D., De Santis, E.
49th IEEE Conference on Decision and Control, Atlanta, USA, December 2010, pp. 2081-2085
(Invited paper, Speaker)
C26. Symbolic models for unstable nonlinear control systems
Zamani, M., Pola, G., Tabuada, P.
American Control Conference 2010, Baltimore, USA, July 2010, pp. 1021-1026
C25. A Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems
De Santis, E. Di Benedetto, M.D., Petriccone, A., Pola, G.
8-th Innovative Research Workshop & Exhibition, EUROCONTROL, Paris, France, December, 2009
(Speaker)
C24. A symbolic model approach to the digital control of nonlinear time–delay systems
Pola, G., Pepe, P., Di Benedetto, M.D., Tabuada, P.
48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, Shanghai, China, December 2009, pp. 2216-2221
(Invited paper)
C23. Symbolic models for nonlinear control systems affected by disturbances
Pola, G., Tabuada, P.
47th IEEE Conference on Decision and Control, Cancun, Mexico, December 2008, pp. 251-256
(Invited paper, Speaker)
C22. Symbolic models for nonlinear control systems using approximate bisimulations
Pola, G., Girard A., Tabuada, P.
46th IEEE Conference on Decision and Control, New Orleans, USA, December 2007, pp. 432-437
(Invited paper, Speaker)
C21. Symbolic models for linear control systems with disturbances
Pola, G., Tabuada, P.
46th IEEE Conference on Decision and Control, New Orleans, USA, December 2007, pp. 4643-4647
(Speaker)
C20. Observability of discrete-time linear switching systems
De Santis, E., Di Benedetto, M.D., Pola, G.
IFAC Workshop on Dependable Control of Discrete Systems, June 13th - 15th 2007, Cachan, Paris, France
C19. Observability of Internal Variables in Interconnected Switching Systems
De Santis, E., Di Benedetto, M.D., Pola, G.
45th IEEE Conference on Decision and Control, San Diego, USA, December 2006, pp. 4121-4126
(Speaker)
C18. Optimal Dynamic Asset Allocation: A Stochastic Invariance Approach
Pola, G., Pola, G.
45th IEEE Conference on Decision and Control, San Diego, USA, December 2006, pp. 2589-2594
(Speaker)
C17. Stabilizability based state space reductions for hybrid systems
De Santis, E., Di Benedetto, M.D., Pola, G.
IFAC Conference on Analysis and Design of Hybrid Systems, Alghero, Italy, June 2006
C16. Detectability based state space reductions for hybrid systems
De Santis, E., Di Benedetto, M.D., Pola, G.
17th International symposium on Mathematical Theory of Network and Systems, Kyoto, Japan, July 2006
C15. A Theoretical Framework for Control over Wireless Networks
Di Benedetto, M.D., D’Innocenzo, A., Pola, G., Rinaldi, C., Santucci, F.
17th International symposium on Mathematical Theory of Network and Systems, Kyoto, Japan, July 2006
(Invited paper, Speaker)
C14. Invariance in Stochastic Dynamical Systems
Pola, G., Lygeros, J., Di Benedetto, M.D.
17th International symposium on Mathematical Theory of Network and Systems, Kyoto, Japan, July 2006
(Speaker)
C13. Achievable bisimilar behaviour of abstract state systems
Pola, G., Van der Schaft, A.J., Di Benedetto, M.D.
Joint 44th IEEE Conference on Decision and Control and European Control Conference, Seville, Spain, December 2005, pp. 1535-1540
(Speaker)
C12. Digital control of continuous-time switching systems with safety constraints
De Santis, E., Di Benedetto, M.D., Pola, G.
43rd IEEE Conference on Decision and Control, Paradise Island, Bahamas, USA, December 2004, pp. 1878–1883
C11. Bisimulation Theory for Switching Linear Systems
Pola, G., Van der Schaft, A.J., Di Benedetto, M.D.
43rd IEEE Conference on Decision and Control, Paradise Island, Bahamas, USA, December 2004, pp. 1406-1411
C10. Balancing dwell times for switched linear systems
Pola, G., Polderman, J.W., Di Benedetto, M.D.
16th International symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, July 2004
(Invited paper, Speaker)
C09. Can linear stabilizability analysis be generalized to switching systems?
De Santis, E., Di Benedetto, M.D., Pola, G.
16th International symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, July 2004
C08. Structural discrete state space decompositions for a class of hybrid systems
De Santis, E., Di Benedetto, M.D., Pola, G.
Mediterranean Conference on Control and Automation, Kysadasi, Aydin, Turkey, June 2004
C07. Safety and stabilizability conditions for switching linear systems
De Santis, E., Di Benedetto, M.D., Pola, G.
International Workshop on Operator Theory and Applications IWOTA03,
Extended Abstract,
Cagliari, Italy, June 24-27, 2003
C06. On Observability and Detectability of continuous-time Switching Linear Systems
De Santis, E., Di Benedetto, M.D., Pola, G.
42nd IEEE Conference on Decision and Control, Maui, Hawaii, USA, December 2003, pp. 5777–5782
C05. Stochastic Hybrid Models: An Overview
Pola, G., Bujorianu, M.L., Lygeros, J., Di Benedetto, M.D.
Analysis and Design of Hybrid System, St. Malo, France, June 2003, pp. 45-50
C04. Engine idle speed control via maximal safe-set computation in the crank-angle domain
Balluchi, A., Benvenuti, L. Berardi, L., De Santis, E., Di Benedetto, M.D., Girasole, G., Pola, G.
IEEE International Symposium of Industrial Electronics, L’Aquila, Italy, July 2002, pp. 618-622
C03. Equivalence entre stabilisabilité et sécurité pour les systèmes à commutation
De Santis, E., Di Benedetto, M.D., Pola, G.
Proc. of Conference Internationale Francophone d’Automatique, Nantes, France, July 2002, pp. 337–341
(Speaker)
C02. Inner approximations of domains of attraction for constrained continuous time linear systems
De Santis, E., Di Benedetto, M.D., Pola, G.
Proc. of American Control Conference, Anchorage, Alaska, USA, May 2002, pp. 1216–1221
C01. Controlled safe sets for continuous time linear systems
Berardi, L., De Santis, E., Di Benedetto, M.D., Pola, G.
Proc. of European Control Conference, Porto, Portugal, September 2001, pp. 803–808
Informazioni
Address
Università degli Studi dell'Aquila
Via Vetoio - I-67100 L'Aquila