Giordano Pola

Associate Professor

Felix 1, Room
giordano.pola@univaq.it
+39 0862 434453

My research interests are on modeling, analysis and control of networked, embedded, distributed and hybrid control systems. Application domains of interest are air traffic management systems and quantitative finance

 

The information is available at the external address http://www.ing.univaq.it/personale/scheda_personale.php?codice=366.

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:                                                                                                                                                          

 
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 2017, Regular paper, In press
 
Borri, A., Pola, G., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, Full paper, In press
 
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. 
Automatica, 86:174-182, December 2017
      Extended version available at https://arxiv.org/abs/1412.1784
 
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:                                                                                                                            

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