Di Ferdinando, M., Pola, G., Di Gennaro, S., Pepe, P., On Sampled-Data Control of Nonlinear Asynchronous Switched Systems, IEEE Control Systems Letters, 2024
Pola, G., De Santis, E., Di Benedetto, M.D., Decentralized Control of Networks of Nondeterministic and Metric Finite State Systems, IEEE Control Systems Letters, 2024
Di Ferdinando, M., Di Gennaro, S., Borri, A., Pola, G., Pepe, P., On the Digital Event-Based Control for Nonlinear Time-Delay Systems with Exogenous disturbances, Automatica, 163:111567, 2024
Ragnoli, M. , Pavone, M., Epicoco, N., Pola, G., De Santis, E., Barile, G., Stornelli, V., A condition and fault prevention monitoring system for industrial Computer Numerical Control machinery, IEEE Access, 2024
Di Ferdinando, M., Di Gennaro, S., Borri, A., Pola, G., Pepe, P., On the robustification of digital event-based stabilizers for nonlinear time-delay systems, Nonlinear Analysis: Hybrid Systems, 2024
Di Ferdinando, M., Pola, G., Di Gennaro, S., Pepe, P., Borri, A., On the design and the digital implementation of observer-based controllers for tracking of nonlinear time-delay systems, International Journal of Robust and Nonlinear Control, 2024
Pola, G., De Santis, E., Di Benedetto, M.D., Approximate current state observability of discrete-time nonlinear systems under cyber-attacks, Nonlinear Analysis: Hybrid Systems, 2023
Mirabilio, M., Iovine, A., De Santis, E., Di Benedetto, M.D., Pola, G., A Mesoscopic Human-Inspired Adaptive Cruise Control for Eco-Driving, IEEE Transactions on Intelligent Transportation Systems, 2023, 24(9): 9571-9583
Mirabilio, M., Iovine, A., De Santis, E., Di Benedetto, M.D., Pola, G., Mesoscopic Controller for String Stability of Platoons with Disturbances, IEEE Transactions on Control of Network Systems, Special Issue: Smart City-Networks, 2022
Borri, A., Pola, G., Pepe, P., Di Benedetto, M.D., Palumbo, P. , Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes, IEEE Transactions on Control Systems Technology, December 2021
Pola, G., Masciulli, T., De Santis, E., Di Benedetto, M.D. , Data-driven controller synthesis for abstract systems with regular language specifications, Automatica, 134:109903, December 2021
Mirabilio, M., Iovine, A., De Santis, E., Di Benedetto, M.D., Pola, G. , Scalable Mesh Stability of Nonlinear Interconnected Systems, IEEE Control Systems Letters, 6:968-973, June 2021
Masciulli, T., Pola, G., Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications, Automatica, 130 (2021) 109712
Masciulli, T., Pola, G., De Santis, E., Di Benedetto, M.D. , Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems, IEEE Control Systems Letters, 6:464-469, May 2021
Mirabilio, M., Iovine, A., De Santis, E., Di Benedetto, M.D., Pola, G. , String Stability of a Vehicular Platoon with the use of Macroscopic Information, IEEE Transactions on Intelligent Transportation Systems, 22(9):5861-5873, September 2021
De Santis, E., Di Benedetto, M.D., Fiore, G., Pola, G. , Approximate Predictability of Pseudo-Metric Systems, Nonlinear Analysis: Hybrid Systems, 2020
Pola, G., Di Benedetto, M.D., Borri, A. , Symbolic Control Design of Nonlinear Systems with Outputs, Automatica, November, 2019
Fakhroleslam, M., Pola, G., De Santis, E., Di Benedetto, M.D. , Time-optimal symbolic control of a changeover process based on an approximately bisimilar symbolic model, Journal of Process Control, 81(2019):126–135
Pola, G., Di Benedetto, M.D. , Control of Cyber–Physical–Systems with Logic Specifications: A Formal Methods Approach , Annual Reviews in Control, 47(2019):178-192
Pola, G., Manes, C., Di Benedetto, M.D. , Output Feedback Control via Bisimulation of Stochastic Linear Systems , 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. , Design of a Hybrid Controller for Pressure Swing Adsorption Processes, IEEE Transactions on Control Systems Technology 27(5):1878-1892, September 2019
Borri, A., Pola, G., Di Benedetto, M.D. , Design of Symbolic Controllers for Networked Control Systems , IEEE Transactions on Automatic Control, 63(3):1034-1046, March 2019
Pola, G., Pepe, P., Di Benedetto, M.D. , Decentralized Supervisory Control of Networks of Nonlinear Control Systems , IEEE Transactions on Automatic Control, 63(9):2803-2817, September 2018
Pola, G., Manes, C., van der Schaft, A.J., Di Benedetto, M.D. , Bisimulation Equivalence of Discrete–Time Stochastic Linear Control Systems , 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. , On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems with Uncertain Time-Varying Time-Delays , 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. , Maximal Safe Set Computation for Pressure Swing Adsorption Processes , Computers & Chemical Engineering, no. 109, pp. 179-190, 2018
Pola, G., De Santis, E., Di Benedetto, M.D. , Approximate Diagnosis of Metric Systems , IEEE Control Systems Letter, 2(1): 115-120, January 2018
Pola, G., Pezzuti, D. De Santis, E., Di Benedetto, M.D. , Design of Decentralized Critical Observers for Networks of Finite State Machines: A Formal Method Approach , Automatica, 86:174-182, December 2017, Extended version available at https://arxiv.org/abs/1412.1784
Pola, G., Pepe, P., Di Benedetto, M.D. , Symbolic Models for Networks of Control Systems , IEEE Transactions on Automatic Control, 61(11):3663-3668, November 2016
Pola, G., Pepe, P., Di Benedetto, M.D. , Symbolic Models for Time–Varying Time–Delay Systems via Alternating Approximate Bisimulation , International Journal of Robust and Nonlinear Control, 25:2328–2347, September, 2015
Pola, G., Di Benedetto, M.D. , Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach , IEEE Transactions on Automatic Control, 59(1):175-180, January, 2014
Borri, A., Pola, G., Di Benedetto, M.D. , Symbolic models for nonlinear control systems affected by disturbances , International Journal of Control, 85(10):1422-1432, September, 2012
Zamani, M., Pola, G., Mazo, M., Tabuada, P. , Symbolic models for nonlinear control systems without stability assumptions, IEEE Transactions on Automatic Control, 57(7):1804-1809, July 2012
Pola, G., Borri, A., Di Benedetto, M.D. , Integrated design of symbolic controllers for nonlinear systems , IEEE Transactions on Automatic Control, 57(2):534-539, February 2012
Pola, G., Pola, G. , A Stochastic Reachability Approach to Portfolio Construction in Finance Industry , IEEE Transactions of Control Systems Technology, 20(1):189-195, January 2012
De Santis, E., Di Benedetto, M.D., Pola, G. , A complexity reduction approach to detectability of switching systems , International Journal of Control, 83(9):1930-1938, September 2010
Pola, G., Pepe, P., Di Benedetto, M.D., Tabuada, P. , Symbolic models for nonlinear time-delay systems using approximate bisimulation , Systems & Control Letters 59 (2010) 365-373
Girard, A., Pola, G., Tabuada, P. , Approximately bisimilar symbolic models for incrementally stable switched systems, IEEE Transaction on Automatic Control, 55(1):116-126, January 2010
De Santis, E., Di Benedetto, M.D., Pola, G. , A structural approach to detectability for a class of hybrid systems , Automatica, 45(5):1202-1206, 2009
Pola, G., Tabuada, P. , Symbolic models for nonlinear control systems: Alternating approximate bisimulations , SIAM Journal on Control and Optimization, 48(2):719-733, 2009
Pola, G., Girard A., Tabuada, P. , Approximately bisimilar symbolic models for nonlinear control systems , Automatica, 44(10):2508-2516, October 2008
De Santis, E., Di Benedetto, M.D., Pola, G. , Stabilizability of linear switching systems , Nonlinear Analysis, Special Issue Hybrid Systems 2 (2008) 750-764
De Santis, E., Di Benedetto, M.D., Pola, G. , Digital Idle Speed Control of Automotive Engine: A Safety Problem for Hybrid Systems , Nonlinear Analysis, Special Issue Hybrid Systems and Applications, 65 (2006) 1705-1724
Pola, G., Van der Schaft, A.J., Di Benedetto, M.D. , Equivalence of Switching Linear Systems by Bisimulation , International Journal of Control, 79, 74–92, January 2006
Full list of publications available e.g. here