Giordano Pola

Researcher

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.

Journal Papers:

Symbolic Models for Time–Varying Time–Delay Systems via Alternating Approximate Bisimulation
Pola, G., Pepe, P., Di Benedetto, M.D.
International Journal of Robust and Nonlinear Control, 2014,
IEEE Transactions on Automatic ContrPublished online on June 27th 2014, To appear

Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
Pola, G., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, 59(1):175-180, January, 2014

Symbolic models for nonlinear control systems affected by disturbances
Borri, A., Pola, G., Di Benedetto, M.D.
International Journal of Control, 85(10):1422-1432, September, 2012

Symbolic models for nonlinear control systems without stability assumptions,
Zamani, M., Pola, G., Mazo, M., Tabuada, P.
IEEE Transactions on Automatic Control, 57(7):1804-1809, July 2012

Integrated design of symbolic controllers for nonlinear systems,
Pola, G., Borri, A., Di Benedetto, M.D.
IEEE Transactions on Automatic Control, 57(2):534-539, February 2012

A Stochastic Reachability Approach to Portfolio Construction in Finance Industry,
Pola, G., Pola, G.
IEEE Transactions of Control Systems Technology, 20(1):189-195, January 2012

A complexity reduction approach to detectability of switching systems,
De Santis, E., Di Benedetto, M.D., Pola, G.,
International Journal of Control, 83(9):1930-1938, September 2010

Symbolic models for nonlinear time-delay systems using approximate bisimulation,
Pola, G., Pepe, P., Di Benedetto, M.D., Tabuada, P.,
Systems & Control Letters 59 (2010) 365-373

Approximately bisimilar symbolic models for incrementally stable switched systems,
Girard, A., Pola, G., Tabuada, P.,
IEEE Transaction on Automatic Control, 55(1):116-126, January 2010

A structural approach to detectability for a class of hybrid systems,
De Santis, E., Di Benedetto, M.D., Pola, G.,
Automatica, 45(5):1202-1206, 2009

Symbolic models for nonlinear control systems: Alternating approximate bisimulations,
Pola, G., Tabuada, P.,
SIAM Journal on Control and Optimization, 48(2):719-733, 2009

Approximately bisimilar symbolic models for nonlinear control systems,
Pola, G., Girard A., Tabuada, P.,
Automatica, 44(10):2508-2516, October 2008

Stabilizability of linear switching systems,
De Santis, E., Di Benedetto, M.D., Pola, G.,
Nonlinear Analysis, Special Issue Hybrid Systems 2 (2008) 750-764

Digital Idle Speed Control of Automotive Engine: A Safety Problem for Hybrid Systems,
De Santis, E., Di Benedetto, M.D., Pola, G.,
Nonlinear Analysis, Special Issue Hybrid Systems and Applications, 65 (2006) 1705-1724

Equivalence of Switching Linear Systems by Bisimulation,
Pola, G., Van der Schaft, A.J., Di Benedetto, M.D.,
International Journal of Control, 79, 74–92, January 2006

Book Chapters:

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

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

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)

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

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

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

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:

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, To appear

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, To appear

Peer Reviewed Conference Papers:

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)

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

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.124

Systems 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.

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

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.

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.

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)

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)

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.

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)

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)

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)

Symbolic models for unstable nonlinear control systems,
Zamani, M., Pola, G., Tabuada, P.,
American Control Conference 2010, Baltimore, USA, July 2010, pp. 1021-1026

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)

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)

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)

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)

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)

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

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)

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)

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

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

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)

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)

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)

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

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

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)

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

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

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

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

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

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)

Approximations of the maximal controlled invariant set for a continuous time linear system,
De Santis, E., Di Benedetto, M.D., Pola, G.,
Proc. of American Control Conference, Anchorage, Alaska, USA, May 2002, pp. 1216–1221

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

Theses:

Switching Systems: Analysis and Control,
PhD Thesis,
Research Advisor: Prof. Di Benedetto M.D.,
Co-Tutor: Prof. De Santis, E.,
June 11th 2004, University of L’Aquila, Italy

Controllo di sistemi a commutazione: approssimazione di insiemi invarianti,
(Control of switching systems: approximation of invariant sets),
Master Thesis (In Italian),
Research Advisor: Prof. Di Benedetto, M.D.,
Co-Tutor: Prof. De Santis, E.,
July 21st 2000, University of L’Aquila, Italy