Gianmaria De Tommasi

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