Controlling extremely shaped plasmas in the JET tokamak. - Marco Ariola; Gianmaria De Tommasi; Alfredo Pironti 002; Filippo Sartori (CDC, 2003)

Graphic tools for plasma shape control design and validation. - Gianmaria De Tommasi; Marco Ariola; Massimiliano Mattei; Alfredo Pironti 002; Filippo Sartori (CDC, 2006)

Improving on-line fault diagnosis for discrete event systems using time. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (CASE, 2007)

On finite-time stability of state dependent impulsive dynamical systems. - Roberto Ambrosino; Francesco Calabrese; Carlo Cosentino; Gianmaria De Tommasi (ACC, 2008)

Finite-time stabilization of impulsive dynamical linear systems. - Francesco Amato 001; Roberto Ambrosino; Marco Ariola; Carlo Cosentino; Gianmaria De Tommasi (CDC, 2008)

Plasma position and shape control in ITER using in-vessel coils. - Giuseppe Ambrosino; Marco Ariola; Gianmaria De Tommasi; Alfredo Pironti 002; Alfredo Portone (CDC, 2008)

Trading output performance for input allocation: application to the JET tokamak shape controller. - Gianmaria De Tommasi; Sergio Galeani; Alfredo Pironti 002; Gianluca Varano; Luca Zaccarian (CDC, 2009)

Improving Real-time Identification of Petri Nets using Timing Information. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (ETFA, 2009)

Sufficient Conditions for Finite-Time Stability of Impulsive Dynamical Systems. - Roberto Ambrosino; Francesco Calabrese; Carlo Cosentino; Gianmaria De Tommasi (IEEE Trans. Autom. Control., 2009)

An Efficient Approach for Online Diagnosis of Discrete Event Systems. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (IEEE Trans. Autom. Control., 2009)

Diagnosability of labeled Petri nets via integer linear programming. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (WODES, 2010)

Input-output finite time stabilization of linear systems. - Francesco Amato 001; Roberto Ambrosino; Carlo Cosentino; Gianmaria De Tommasi (Autom., 2010)

Robust vertical control of ITER plasmas via static output feedback. - Giuseppe Ambrosino; Marco Ariola; Gianmaria De Tommasi; Alfredo Pironti 002 (CCA, 2011)

On dynamic input allocation for set-point regulation of the JET tokamak plasma shape. - Giuseppe Ambrosino; Gianmaria De Tommasi; Sergio Galeani; Alfredo Pironti 002; Gianluca Varano; Luca Zaccarian (CCA, 2011)

Input-output finite-time stabilization of LTV systems via dynamic output feedback. - Francesco Amato 001; Giuseppe Carannante; Gianmaria De Tommasi; Alfredo Pironti 002 (CDC/ECC, 2011)

Necessary and sufficient conditions for Input-Output Finite-Time stability of linear time-varying systems. - Francesco Amato 001; Giuseppe Carannante; Gianmaria De Tommasi; Alfredo Pironti 002 (CDC/ECC, 2011)

Exploitation of modularity in the JET Tokamak Vertical Stabilization system. - Andre C. Neto; Raffaele Albanese; Giuseppe Ambrosino; Marco Ariola; G. Artaserse; Bernardo Brotas de Carvalho; F. Crisanti; Gianmaria De Tommasi; Horácio Fernandes 002; Peter J. Lomas; Francesco Maviglia; Alfredo Pironti 002; et al. (CDC/ECC, 2011)

Nonlinear dynamic allocator for optimal input/output performance trade-off: Application to the JET tokamak shape controller. - Gianmaria De Tommasi; Sergio Galeani; Alfredo Pironti 002; Gianluca Varano; Luca Zaccarian (Autom., 2011)

Input-Output Finite-Time Stability - Gianmaria De Tommasi; Roberto Ambrosino; Giuseppe Carannante; Carlo Cosentino; Alfredo Pironti 002; Francesco Amato 001 (CoRR, 2011)

Input-output finite-time stabilisation of a class of hybrid systems via static output feedback. - Francesco Amato 001; Giuseppe Carannante; Gianmaria De Tommasi (Int. J. Control, 2011)

Plasma Vertical Stabilization in the ITER Tokamak via Constrained Static Output Feedback. - Giuseppe Ambrosino; Marco Ariola; Gianmaria De Tommasi; Alfredo Pironti 002 (IEEE Trans. Control. Syst. Technol., 2011)

Input-output finite-time stabilization with constrained control inputs. - Francesco Amato 001; Giuseppe Carannante; Gianmaria De Tommasi; Alfredo Pironti 002 (CDC, 2012)

Simultaneous control of modes with multiple toroidal periodicity in tokamak plasmas. - Marco Ariola; Gianmaria De Tommasi; Alfredo Pironti 002; F. Villone (CDC, 2012)

Decentralized κ-diagnosability of Petri nets. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (WODES, 2012)

On K-diagnosability of Petri nets via integer linear programming. - Francesco Basile; Pasquale Chiacchio; Gianmaria De Tommasi (Autom., 2012)

Input-Output Finite-Time Stability of Linear Systems: Necessary and Sufficient Conditions. - Francesco Amato 001; Giuseppe Carannante; Gianmaria De Tommasi; Alfredo Pironti 002 (IEEE Trans. Autom. Control., 2012)

Shape control with the XSC during plasma current ramp-up and ramp-down at the JET tokamak. - Gianmaria De Tommasi; Giuseppe Ambrosino; Marco Ariola; Giuseppe Calabrò; Sergio Galeani; Francesco Maviglia; Alfredo Pironti 002; F. G. Rimini; A. C. C. Sips; Gianluca Varano; Riccardo Vitelli; Luca Zaccarian (CDC, 2013)

Necessary and sufficient conditions for finite-time stability of impulsive dynamical linear systems. - Francesco Amato 001; Gianmaria De Tommasi; Alfredo Pironti 002 (Autom., 2013)

Modeling of MARTe-Based Real-Time Applications With SysML. - Gianmaria De Tommasi; Riccardo Vitelli; Luca Boncagni; Andre C. Neto (IEEE Trans. Ind. Informatics, 2013)

Design and nonlinear validation of the ITER magnetic control system. - Roberto Ambrosino; Marco Ariola; Gianmaria De Tommasi; Massimiliano Mattei; Alfredo Pironti 002; Mario Cavinato (CCA, 2015)

Model based optimization and estimation of the field map during the breakdown phase in the ITER tokamak. - Roberto Ambrosino; Gianmaria De Tommasi; Massimiliano Mattei; Alfredo Pironti 002 (CCA, 2015)

Optimal allocation of the diagnostic signals for the ITER magnetic control system. - Gianmaria De Tommasi; Andre C. Neto; Alfredo Pironti 002; Claudio Sterle (CCA, 2015)

Necessary and sufficient conditions for input-output finite-time stability of impulsive dynamical systems. - Francesco Amato 001; Gianmaria De Tommasi; Alfredo Pironti 002 (ACC, 2015)

New conditions for the finite-time stability of stochastic linear time-varying systems. - Francesco Amato 001; Carlo Cosentino; Gianmaria De Tommasi; Alfredo Pironti 002 (ECC, 2015)

Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle (MED, 2015)

A MIMO architecture for integrated control of plasma shape and flux expansion for the EAST tokamak. - Raffaele Albanese; Roberto Ambrosino; Giuseppe Calabrò; A. Castaldo; F. Crisanti; Gianmaria De Tommasi; L. Liu; Zhengping Luo 002; Adriano Mele; Alfredo Pironti 002; Bingjia Xiao; Q. P. Yuan (CCA, 2016)

ITER plasma current and shape control using MPC. - Samo Gerksic; Gianmaria De Tommasi (CCA, 2016)

New conditions for annular finite-time stability of linear systems. - Francesco Amato 001; Gianmaria De Tommasi; Adriano Mele; Alfredo Pironti 002 (CDC, 2016)

Finite-time stabilizability and detectability of linear systems. Part II: Design of observer based output feedback finite-time stabilizing controllers. - Francesco Amato 001; Mohamed Darouach; Gianmaria De Tommasi (ECC, 2016)

Finite-time stabilizability and detectability of linear systems. Part I: Necessary and sufficient conditions for the existence of output feedback finite-time stabilizing controllers. - Francesco Amato 001; Mohamed Darouach; Gianmaria De Tommasi (ECC, 2016)

Finite-time state estimation of sampled output impulsive dynamical linear system. - Atif Qayyum; Gianmaria De Tommasi (MED, 2016)

On plasma vertical stabilization at EAST tokamak. - Gianmaria De Tommasi; Adriano Mele; Zhengping Luo 002; Alfredo Pironti 002; Bingjia Xiao (CCTA, 2017)

Vehicle collision avoidance via control over a finite-time horizon. - Marco Ariola; Gianmaria De Tommasi; Francesco Amato 001 (ICNSC, 2017)

Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality Systems. - Marcello Cinque; Gianmaria De Tommasi (RTSS, 2017)

Finite-Time Stabilizability, Detectability, and Dynamic Output Feedback Finite-Time Stabilization of Linear Systems. - Francesco Amato 001; Mohamed Darouach; Gianmaria De Tommasi (IEEE Trans. Autom. Control., 2017)

Non-interference assessment in bounded Petri nets via Integer Linear Programming. - Francesco Basile; Gianmaria De Tommasi (ACC, 2018)

Non-Interference Enforcement in Bounded Petri Nets. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle (CDC, 2018)

Annular Finite-Time Stabilization of Stochastic Linear Time-Varying Systems. - Gaetano Tartaglione; Marco Ariola; Gianmaria De Tommasi; Francesco Amato 001 (CDC, 2018)

Efficient diagnosability assessment via ILP optimization: a railway benchmark. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle; Abderraouf Boussif; Mohamed Ghazel (ETFA, 2018)

Automatic generation of formal models for diagnosability of DES. - Roberto Nardone; Gianmaria De Tommasi; Nicola Mazzocca; Alfredo Pironti 002; Valeria Vittorini (ETFA, 2018)

Annular Finite-Time Stability and Stabilization of Continuous-Time Markov Jump Linear Systems. - Gaetano Tartaglione; Marco Ariola; Gianmaria De Tommasi; Francesco Amato 001 (ECC, 2019)

On the finite-time boundedness of linear systems. - Francesco Amato 001; Roberto Ambrosino; Marco Ariola; Gianmaria De Tommasi; Alfredo Pironti 002 (Autom., 2019)

Model-based MIMO isoflux plasma shape control at the EAST tokamak: experimental results. - Roberto Ambrosino; A. Castaldo; Gianmaria De Tommasi; Zhengping Luo 002; Yao Huang; Adriano Mele; Alfredo Pironti 002; Y. H. Wang; Bingjia Xiao (CCTA, 2020)

On the Numerical Solution of Differential Linear Matrix Inequalities. - Marco Ariola; Gianmaria De Tommasi; Adriano Mele; Gaetano Tartaglione (J. Optim. Theory Appl., 2020)

Stabilizing elongated plasmas using extremum seeking: the ITER tokamak case study. - Gianmaria De Tommasi; Sara Dubbioso; Adriano Mele; Alfredo Pironti 002 (MED, 2021)

Virtualizing Real-Time Processing Units in Multi-Processor Systems-on-Chip. - Marcello Cinque; Gianmaria De Tommasi; Sara Dubbioso; Daniele Ottaviano (RTSI, 2021)

Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets. - Francesco Basile; Gianmaria De Tommasi (IEEE Control. Syst. Lett., 2021)

Annular finite-time stability analysis and synthesis of stochastic linear time-varying systems. - Gaetano Tartaglione; Marco Ariola; Carlo Cosentino; Gianmaria De Tommasi; Alfredo Pironti 002; Francesco Amato 001 (Int. J. Control, 2021)

Noninterference Enforcement via Supervisory Control in Bounded Petri Nets. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle (IEEE Trans. Autom. Control., 2021)

A RL-based Vertical Stabilization System for the EAST tokamak. - Gianmaria De Tommasi; Sara Dubbioso; Yao Huang; Zhengping Luo 002; Adriano Mele; Bingjia Xiao (ACC, 2022)

Event-driven adaptive Vertical Stabilization in tokamaks based on a bounded Extremum Seeking algorithm. - Gianmaria De Tommasi; Sara Dubbioso; Adriano Mele; Alfredo Pironti 002 (CCTA, 2022)

Concepts and challenges in the design of a tokamak plasma control system. ITER PCS for First Plasma and beyond. - Luca Zabeo; Peter C. De Vries; J. A. Snipes; T. Ravensbergen; Y. Gribov; G. Raupp; W. Treutterer; Alfredo Pironti 002; Gianmaria De Tommasi; Marcello Cinque; Massimiliano Mattei; David A. Humphreys; et al. (CCTA, 2022)

RPUGuard: Real-Time Processing Unit Virtualization for Mixed-Criticality Applications. - Marcello Cinque; Gianmaria De Tommasi; Sara Dubbioso; Daniele Ottaviano (EDCC, 2022)

Design of Resilient Supervisory Control for Autonomous Connected Vehicles Approaching Unsignalized Intersection in presence of Communication Delays. - Gianmaria De Tommasi; Carlo Motta; Alberto Petrillo; Stefania Santini (ICNSC, 2022)

Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta; Alberto Petrillo; Stefania Santini (MED, 2022)

Combining simulation and machine learning for the management of healthcare systems. - Carlo Ricciardi; Giuseppe Cesarelli; Alfonso Maria Ponsiglione; Gianmaria De Tommasi; Mario Cesarelli; Maria Romano; Giovanni Improta; Francesco Amato 001 (MetroXRAINE, 2022)

A Deep Deterministic Policy Gradient Learning Approach to Missile Autopilot Design. - Angelo Candeli; Gianmaria De Tommasi; Dario Giuseppe Lui; Adriano Mele; Stefania Santini; Gaetano Tartaglione (IEEE Access, 2022)

Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems. - Francesco Basile; Gianmaria De Tommasi (IEEE Control. Syst. Lett., 2022)

Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta; Claudio Sterle (IEEE Control. Syst. Lett., 2022)

Vertical stabilization of tokamak plasmas via extremum seeking. - Sara Dubbioso; Luigi Emanuel di Grazia; Gianmaria De Tommasi; Massimiliano Mattei; Adriano Mele; Alfredo Pironti 002 (IFAC J. Syst. Control., 2022)

Input-Output Finite-Time Stabilization of Linear Time-Varying Discrete-Time Systems. - Francesco Amato 001; Carlo Cosentino; Gianmaria De Tommasi; Alfredo Pironti 002; Maria Romano (IEEE Trans. Autom. Control., 2022)

Finite-Time Stabilization of Linear Systems With Unknown Control Direction via Extremum Seeking. - Adriano Mele; Gianmaria De Tommasi; Alfredo Pironti 002 (IEEE Trans. Autom. Control., 2022)

Constrained Reference Tracking via Structured Input-Output Finite-Time Stability. - Gaetano Tartaglione; Marco Ariola; Gianmaria De Tommasi; Alberto Petrillo; Stefania Santini; Francesco Amato 001 (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Long Short-Term Memory-Based Neural Networks for Missile Maneuvers Trajectories Prediction⋆. - Dario Giuseppe Lui; Gaetano Tartaglione; Francesco Conti 002; Gianmaria De Tommasi; Stefania Santini (IEEE Access, 2023)

Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta (Autom., 2023)

Current Limit Avoidance Algorithms for DEMO Operation. - Luigi Emanuel di Grazia; Domenico Frattolillo; Gianmaria De Tommasi; Massimiliano Mattei (J. Optim. Theory Appl., 2023)

An Optimization Approach to Current State Opacity Assessment. - Francesco Basile; Gianmaria De Tommasi; Sara Dubbioso; Federico Fiorenza (CDC, 2024)

Model-free stabilization via Extremum Seeking using a cost neural estimator. - Sara Dubbioso; Azarakhsh Jalalvand; Josiah Wai; Gianmaria De Tommasi; Egemen Kolemen (Expert Syst. Appl., 2024)

Corrigendum to "Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques" [Automatica 152 (2023) 110911]. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta (Autom., 2025)

Verification of K -Step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled With Petri Nets. - Francesco Basile; Gianmaria De Tommasi; Sara Dubbioso; Federico Fiorenza (IEEE Control. Syst. Lett., 2025)