Gianmaria De Tommasi

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 42

Top Topics

Sufficient Conditions

Collision Avoidance

Top Venues

IEEE Trans. Autom. Control.

Publications

Sara Dubbioso, Azarakhsh Jalalvand, Josiah Wai, Gianmaria De Tommasi, Egemen Kolemen
Model-free stabilization via Extremum Seeking using a cost neural estimator. Expert Syst. Appl. 258 (2024)
Francesco Basile, Gianmaria De Tommasi, Carlo Motta
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques. Autom. 152 (2023)
Luigi Emanuel di Grazia, Domenico Frattolillo, Gianmaria De Tommasi, Massimiliano Mattei
Current Limit Avoidance Algorithms for DEMO Operation. J. Optim. Theory Appl. 198 (3) (2023)
Dario Giuseppe Lui, Gaetano Tartaglione, Francesco Conti, Gianmaria De Tommasi, Stefania Santini
. IEEE Access 11 (2023)
Gianmaria De Tommasi, Sara Dubbioso, Y. Huang, Z. P. Luo, Adriano Mele, B. J. Xiao
A RL-based Vertical Stabilization System for the EAST tokamak. ACC (2022)
Adriano Mele, Gianmaria De Tommasi, Alfredo Pironti
Finite-Time Stabilization of Linear Systems With Unknown Control Direction via Extremum Seeking. IEEE Trans. Autom. Control. 67 (10) (2022)
Francesco Basile, Gianmaria De Tommasi
Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems. IEEE Control. Syst. Lett. 6 (2022)
Francesco Basile, Gianmaria De Tommasi, Carlo Motta, Claudio Sterle
Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems. IEEE Control. Syst. Lett. 6 (2022)
Francesco Basile, Gianmaria De Tommasi, Carlo Motta, Alberto Petrillo, Stefania Santini
Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming. MED (2022)
Marcello Cinque, Gianmaria De Tommasi, Sara Dubbioso, Daniele Ottaviano
RPUGuard: Real-Time Processing Unit Virtualization for Mixed-Criticality Applications. EDCC (2022)
Angelo Candeli, Gianmaria De Tommasi, Dario Giuseppe Lui, Adriano Mele, Stefania Santini, Gaetano Tartaglione
A Deep Deterministic Policy Gradient Learning Approach to Missile Autopilot Design. IEEE Access 10 (2022)
Gianmaria De Tommasi, Carlo Motta, Alberto Petrillo, Stefania Santini
Design of Resilient Supervisory Control for Autonomous Connected Vehicles Approaching Unsignalized Intersection in presence of Communication Delays. ICNSC (2022)
Luca Zabeo, Peter C. De Vries, J. A. Snipes, T. Ravensbergen, Y. Gribov, G. Raupp, W. Treutterer, Alfredo Pironti, Gianmaria De Tommasi, Marcello Cinque, M. Mattei, David A. Humphreys, M. Walker, Fernanda Rimini, Philippe Moreau, Rémy Nouailletas
Concepts and challenges in the design of a tokamak plasma control system. ITER PCS for First Plasma and beyond. CCTA (2022)
Gianmaria De Tommasi, Sara Dubbioso, Adriano Mele, Alfredo Pironti
Event-driven adaptive Vertical Stabilization in tokamaks based on a bounded Extremum Seeking algorithm. CCTA (2022)
Gaetano Tartaglione, Marco Ariola, Gianmaria De Tommasi, Alberto Petrillo, Stefania Santini, Francesco Amato
Constrained Reference Tracking via Structured Input-Output Finite-Time Stability. IEEE Trans. Syst. Man Cybern. Syst. 52 (12) (2022)
Carlo Ricciardi, Giuseppe Cesarelli, Alfonso Maria Ponsiglione, Gianmaria De Tommasi, Mario Cesarelli, Maria Romano, Giovanni Improta, Francesco Amato
Combining simulation and machine learning for the management of healthcare systems. MetroXRAINE (2022)
Francesco Amato, Carlo Cosentino, Gianmaria De Tommasi, Alfredo Pironti, Maria Romano
Input-Output Finite-Time Stabilization of Linear Time-Varying Discrete-Time Systems. IEEE Trans. Autom. Control. 67 (9) (2022)
Sara Dubbioso, Luigi Emanuel di Grazia, Gianmaria De Tommasi, Massimiliano Mattei, Adriano Mele, Alfredo Pironti
Vertical stabilization of tokamak plasmas via extremum seeking. IFAC J. Syst. Control. 21 (2022)
Francesco Basile, Gianmaria De Tommasi
Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets. IEEE Control. Syst. Lett. 5 (4) (2021)
Marcello Cinque, Gianmaria De Tommasi, Sara Dubbioso, Daniele Ottaviano
Virtualizing Real-Time Processing Units in Multi-Processor Systems-on-Chip. RTSI (2021)
Gaetano Tartaglione, Marco Ariola, Carlo Cosentino, Gianmaria De Tommasi, Alfredo Pironti, Francesco Amato
Annular finite-time stability analysis and synthesis of stochastic linear time-varying systems. Int. J. Control 94 (8) (2021)
Gianmaria De Tommasi, Sara Dubbioso, Adriano Mele, Alfredo Pironti
Stabilizing elongated plasmas using extremum seeking: the ITER tokamak case study. MED (2021)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets. IEEE Trans. Autom. Control. 66 (8) (2021)
Marco Ariola, Gianmaria De Tommasi, Adriano Mele, Gaetano Tartaglione
On the Numerical Solution of Differential Linear Matrix Inequalities. J. Optim. Theory Appl. 185 (2) (2020)
Roberto Ambrosino, A. Castaldo, Gianmaria De Tommasi, Z. P. Luo, Y. Huang, Adriano Mele, Alfredo Pironti, Y. H. Wang, B. J. Xiao
Model-based MIMO isoflux plasma shape control at the EAST tokamak: experimental results. CCTA (2020)
Gaetano Tartaglione, Marco Ariola, Gianmaria De Tommasi, Francesco Amato
Annular Finite-Time Stability and Stabilization of Continuous-Time Markov Jump Linear Systems. ECC (2019)
Francesco Amato, Roberto Ambrosino, Marco Ariola, Gianmaria De Tommasi, Alfredo Pironti
On the finite-time boundedness of linear systems. Autom. 107 (2019)
Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini
Automatic generation of formal models for diagnosability of DES. ETFA (2018)
Francesco Basile, Gianmaria De Tommasi
Non-interference assessment in bounded Petri nets via Integer Linear Programming. ACC (2018)
Gaetano Tartaglione, Marco Ariola, Gianmaria De Tommasi, Francesco Amato
Annular Finite-Time Stabilization of Stochastic Linear Time-Varying Systems. CDC (2018)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel
Efficient diagnosability assessment via ILP optimization: a railway benchmark. ETFA (2018)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle
Non-Interference Enforcement in Bounded Petri Nets. CDC (2018)
Gianmaria De Tommasi, Adriano Mele, Z. P. Luo, Alfredo Pironti, B. J. Xiao
On plasma vertical stabilization at EAST tokamak. CCTA (2017)
Marco Ariola, Gianmaria De Tommasi, Francesco Amato
Vehicle collision avoidance via control over a finite-time horizon. ICNSC (2017)
Francesco Amato, Mohamed Darouach, Gianmaria De Tommasi
Finite-Time Stabilizability, Detectability, and Dynamic Output Feedback Finite-Time Stabilization of Linear Systems. IEEE Trans. Autom. Control. 62 (12) (2017)
Marcello Cinque, Gianmaria De Tommasi
Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality Systems. RTSS (2017)
Francesco Amato, Gianmaria De Tommasi, Adriano Mele, Alfredo Pironti
New conditions for annular finite-time stability of linear systems. CDC (2016)
Francesco Amato, Mohamed Darouach, Gianmaria De Tommasi
Finite-time stabilizability and detectability of linear systems. Part II: Design of observer based output feedback finite-time stabilizing controllers. ECC (2016)
Raffaele Albanese, Roberto Ambrosino, Giuseppe Calabro, A. Castaldo, F. Crisanti, Gianmaria De Tommasi, L. Liu, Z. P. Luo, Adriano Mele, Alfredo Pironti, B. J. Xiao, Q. P. Yuan
A MIMO architecture for integrated control of plasma shape and flux expansion for the EAST tokamak. CCA (2016)
Francesco Amato, Mohamed Darouach, Gianmaria De Tommasi
Finite-time stabilizability and detectability of linear systems. Part I: Necessary and sufficient conditions for the existence of output feedback finite-time stabilizing controllers. ECC (2016)
Samo Gerksic, Gianmaria De Tommasi
ITER plasma current and shape control using MPC. CCA (2016)
Atif Qayyum, Gianmaria De Tommasi
Finite-time state estimation of sampled output impulsive dynamical linear system. MED (2016)
Gianmaria De Tommasi, Andre C. Neto, Alfredo Pironti, Claudio Sterle
Optimal allocation of the diagnostic signals for the ITER magnetic control system. CCA (2015)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle
Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming. MED (2015)
Francesco Amato, Gianmaria De Tommasi, Alfredo Pironti
Necessary and sufficient conditions for input-output finite-time stability of impulsive dynamical systems. ACC (2015)
Francesco Amato, Carlo Cosentino, Gianmaria De Tommasi, Alfredo Pironti
New conditions for the finite-time stability of stochastic linear time-varying systems. ECC (2015)
Roberto Ambrosino, Gianmaria De Tommasi, Massimiliano Mattei, Alfredo Pironti
Model based optimization and estimation of the field map during the breakdown phase in the ITER tokamak. CCA (2015)
Roberto Ambrosino, Marco Ariola, Gianmaria De Tommasi, Massimiliano Mattei, Alfredo Pironti, Mario Cavinato
Design and nonlinear validation of the ITER magnetic control system. CCA (2015)
Francesco Amato, Gianmaria De Tommasi, Alfredo Pironti
Necessary and sufficient conditions for finite-time stability of impulsive dynamical linear systems. Autom. 49 (8) (2013)
Gianmaria De Tommasi, Riccardo Vitelli, Luca Boncagni, Andre C. Neto
Modeling of MARTe-Based Real-Time Applications With SysML. IEEE Trans. Ind. Informatics 9 (4) (2013)
Gianmaria De Tommasi, Giuseppe Ambrosino, Marco Ariola, Giuseppe Calabro, Sergio Galeani, Francesco Maviglia, Alfredo Pironti, F. G. Rimini, A. C. C. Sips, Gianluca Varano, Riccardo Vitelli, Luca Zaccarian
Shape control with the XSC during plasma current ramp-up and ramp-down at the JET tokamak. CDC (2013)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
On K-diagnosability of Petri nets via integer linear programming. Autom. 48 (9) (2012)
Francesco Amato, Giuseppe Carannante, Gianmaria De Tommasi, Alfredo Pironti
Input-output finite-time stabilization with constrained control inputs. CDC (2012)
Francesco Amato, Giuseppe Carannante, Gianmaria De Tommasi, Alfredo Pironti
Input-Output Finite-Time Stability of Linear Systems: Necessary and Sufficient Conditions. IEEE Trans. Autom. Control. 57 (12) (2012)
Marco Ariola, Gianmaria De Tommasi, Alfredo Pironti, F. Villone
Simultaneous control of modes with multiple toroidal periodicity in tokamak plasmas. CDC (2012)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
Decentralized κ-diagnosability of Petri nets. WODES (2012)
Francesco Amato, Giuseppe Carannante, Gianmaria De Tommasi, Alfredo Pironti
Input-output finite-time stabilization of LTV systems via dynamic output feedback. CDC/ECC (2011)
Giuseppe Ambrosino, Marco Ariola, Gianmaria De Tommasi, Alfredo Pironti
Robust vertical control of ITER plasmas via static output feedback. CCA (2011)
Francesco Amato, Giuseppe Carannante, Gianmaria De Tommasi, Alfredo Pironti
Necessary and sufficient conditions for Input-Output Finite-Time stability of linear time-varying systems. CDC/ECC (2011)
Gianmaria De Tommasi, Sergio Galeani, Alfredo Pironti, Gianluca Varano, Luca Zaccarian
Nonlinear dynamic allocator for optimal input/output performance trade-off: Application to the JET tokamak shape controller. Autom. 47 (5) (2011)
Francesco Amato, Giuseppe Carannante, Gianmaria De Tommasi
Input-output finite-time stabilisation of a class of hybrid systems via static output feedback. Int. J. Control 84 (6) (2011)
Giuseppe Ambrosino, Gianmaria De Tommasi, Sergio Galeani, Alfredo Pironti, Gianluca Varano, Luca Zaccarian
On dynamic input allocation for set-point regulation of the JET tokamak plasma shape. CCA (2011)
Andre C. Neto, Raffaele Albanese, Giuseppe Ambrosino, Marco Ariola, G. Artaserse, Bernardo Brotas de Carvalho, F. Crisanti, Gianmaria De Tommasi, Horácio Fernandes, Peter J. Lomas, Francesco Maviglia, Alfredo Pironti, Fernanda Rimini, Filippo Sartori
Exploitation of modularity in the JET Tokamak Vertical Stabilization system. CDC/ECC (2011)
Giuseppe Ambrosino, Marco Ariola, Gianmaria De Tommasi, Alfredo Pironti
Plasma Vertical Stabilization in the ITER Tokamak via Constrained Static Output Feedback. IEEE Trans. Control. Syst. Technol. 19 (2) (2011)
Gianmaria De Tommasi, Roberto Ambrosino, Giuseppe Carannante, Carlo Cosentino, Alfredo Pironti, Francesco Amato
Input-Output Finite-Time Stability CoRR (2011)
Francesco Amato, Roberto Ambrosino, Carlo Cosentino, Gianmaria De Tommasi
Input-output finite time stabilization of linear systems. Autom. 46 (9) (2010)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
Diagnosability of labeled Petri nets via integer linear programming. WODES (2010)
Roberto Ambrosino, Francesco Calabrese, Carlo Cosentino, Gianmaria De Tommasi
Sufficient Conditions for Finite-Time Stability of Impulsive Dynamical Systems. IEEE Trans. Autom. Control. 54 (4) (2009)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
An Efficient Approach for Online Diagnosis of Discrete Event Systems. IEEE Trans. Autom. Control. 54 (4) (2009)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
Improving Real-time Identification of Petri Nets using Timing Information. ETFA (2009)
Gianmaria De Tommasi, Sergio Galeani, Alfredo Pironti, Gianluca Varano, Luca Zaccarian
Trading output performance for input allocation: application to the JET tokamak shape controller. CDC (2009)
Giuseppe Ambrosino, Marco Ariola, Gianmaria De Tommasi, Alfredo Pironti, Alfredo Portone
Plasma position and shape control in ITER using in-vessel coils. CDC (2008)
Roberto Ambrosino, Francesco Calabrese, Carlo Cosentino, Gianmaria De Tommasi
On finite-time stability of state dependent impulsive dynamical systems. ACC (2008)
Francesco Amato, Roberto Ambrosino, Marco Ariola, Carlo Cosentino, Gianmaria De Tommasi
Finite-time stabilization of impulsive dynamical linear systems. CDC (2008)
Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi
Improving on-line fault diagnosis for discrete event systems using time. CASE (2007)
Gianmaria De Tommasi, Marco Ariola, Massimiliano Mattei, Alfredo Pironti, Filippo Sartori
Graphic tools for plasma shape control design and validation. CDC (2006)
Marco Ariola, Gianmaria De Tommasi, Alfredo Pironti, Filippo Satori
Controlling extremely shaped plasmas in the JET tokamak. CDC (2003)