Gianmaria De Tommasi

Orcid: 0000-0002-8509-7176

According to our database1, Gianmaria De Tommasi authored at least 76 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Current Limit Avoidance Algorithms for DEMO Operation.
J. Optim. Theory Appl., September, 2023

Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques.
Autom., June, 2023

Long Short-Term Memory-Based Neural Networks for Missile Maneuvers Trajectories Prediction<sup>⋆</sup>.
IEEE Access, 2023

2022
Constrained Reference Tracking via Structured Input-Output Finite-Time Stability.
IEEE Trans. Syst. Man Cybern. Syst., 2022

Finite-Time Stabilization of Linear Systems With Unknown Control Direction via Extremum Seeking.
IEEE Trans. Autom. Control., 2022

Input-Output Finite-Time Stabilization of Linear Time-Varying Discrete-Time Systems.
IEEE Trans. Autom. Control., 2022

Vertical stabilization of tokamak plasmas via extremum seeking.
IFAC J. Syst. Control., 2022

Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems.
IEEE Control. Syst. Lett., 2022

Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems.
IEEE Control. Syst. Lett., 2022

A Deep Deterministic Policy Gradient Learning Approach to Missile Autopilot Design.
IEEE Access, 2022

Combining simulation and machine learning for the management of healthcare systems.
Proceedings of the IEEE International Conference on Metrology for Extended Reality, 2022

Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming.
Proceedings of the 30th Mediterranean Conference on Control and Automation, 2022

Design of Resilient Supervisory Control for Autonomous Connected Vehicles Approaching Unsignalized Intersection in presence of Communication Delays.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

RPUGuard: Real-Time Processing Unit Virtualization for Mixed-Criticality Applications.
Proceedings of the 18th European Dependable Computing Conference, 2022

Concepts and challenges in the design of a tokamak plasma control system. ITER PCS for First Plasma and beyond.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

Event-driven adaptive Vertical Stabilization in tokamaks based on a bounded Extremum Seeking algorithm.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

A RL-based Vertical Stabilization System for the EAST tokamak.
Proceedings of the American Control Conference, 2022

2021
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets.
IEEE Trans. Autom. Control., 2021

Annular finite-time stability analysis and synthesis of stochastic linear time-varying systems.
Int. J. Control, 2021

Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets.
IEEE Control. Syst. Lett., 2021

Virtualizing Real-Time Processing Units in Multi-Processor Systems-on-Chip.
Proceedings of the 6th IEEE International Forum on Research and Technology for Society and Industry, 2021

Stabilizing elongated plasmas using extremum seeking: the ITER tokamak case study.
Proceedings of the 29th Mediterranean Conference on Control and Automation, 2021

2020
On the Numerical Solution of Differential Linear Matrix Inequalities.
J. Optim. Theory Appl., 2020

Model-based MIMO isoflux plasma shape control at the EAST tokamak: experimental results.
Proceedings of the 2020 IEEE Conference on Control Technology and Applications, 2020

2019
On the finite-time boundedness of linear systems.
Autom., 2019

Annular Finite-Time Stability and Stabilization of Continuous-Time Markov Jump Linear Systems.
Proceedings of the 17th European Control Conference, 2019

2018
Automatic generation of formal models for diagnosability of DES.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Efficient diagnosability assessment via ILP optimization: a railway benchmark.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Annular Finite-Time Stabilization of Stochastic Linear Time-Varying Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Non-Interference Enforcement in Bounded Petri Nets.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Non-interference assessment in bounded Petri nets via Integer Linear Programming.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Finite-Time Stabilizability, Detectability, and Dynamic Output Feedback Finite-Time Stabilization of Linear Systems.
IEEE Trans. Autom. Control., 2017

Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality Systems.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Vehicle collision avoidance via control over a finite-time horizon.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

On plasma vertical stabilization at EAST tokamak.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017

2016
Finite-time state estimation of sampled output impulsive dynamical linear system.
Proceedings of the 24th Mediterranean Conference on Control and Automation, 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.
Proceedings of the 15th European Control Conference, 2016

Finite-time stabilizability and detectability of linear systems. Part II: Design of observer based output feedback finite-time stabilizing controllers.
Proceedings of the 15th European Control Conference, 2016

New conditions for annular finite-time stability of linear systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

ITER plasma current and shape control using MPC.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016

A MIMO architecture for integrated control of plasma shape and flux expansion for the EAST tokamak.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015
Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming.
Proceedings of the 23rd Mediterranean Conference on Control and Automation, 2015

New conditions for the finite-time stability of stochastic linear time-varying systems.
Proceedings of the 14th European Control Conference, 2015

Necessary and sufficient conditions for input-output finite-time stability of impulsive dynamical systems.
Proceedings of the American Control Conference, 2015

Optimal allocation of the diagnostic signals for the ITER magnetic control system.
Proceedings of the 2015 IEEE Conference on Control Applications, 2015

Model based optimization and estimation of the field map during the breakdown phase in the ITER tokamak.
Proceedings of the 2015 IEEE Conference on Control Applications, 2015

Design and nonlinear validation of the ITER magnetic control system.
Proceedings of the 2015 IEEE Conference on Control Applications, 2015

2013
Modeling of MARTe-Based Real-Time Applications With SysML.
IEEE Trans. Ind. Informatics, 2013

Necessary and sufficient conditions for finite-time stability of impulsive dynamical linear systems.
Autom., 2013

Shape control with the XSC during plasma current ramp-up and ramp-down at the JET tokamak.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Input-Output Finite-Time Stability of Linear Systems: Necessary and Sufficient Conditions.
IEEE Trans. Autom. Control., 2012

On K-diagnosability of Petri nets via integer linear programming.
Autom., 2012

Decentralized κ-diagnosability of Petri nets.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Simultaneous control of modes with multiple toroidal periodicity in tokamak plasmas.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Input-output finite-time stabilization with constrained control inputs.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Plasma Vertical Stabilization in the ITER Tokamak via Constrained Static Output Feedback.
IEEE Trans. Control. Syst. Technol., 2011

Input-output finite-time stabilisation of a class of hybrid systems via static output feedback.
Int. J. Control, 2011

Input-Output Finite-Time Stability
CoRR, 2011

Nonlinear dynamic allocator for optimal input/output performance trade-off: Application to the JET tokamak shape controller.
Autom., 2011

Exploitation of modularity in the JET Tokamak Vertical Stabilization system.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Necessary and sufficient conditions for Input-Output Finite-Time stability of linear time-varying systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Input-output finite-time stabilization of LTV systems via dynamic output feedback.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

On dynamic input allocation for set-point regulation of the JET tokamak plasma shape.
Proceedings of the IEEE International Conference on Control Applications, 2011

Robust vertical control of ITER plasmas via static output feedback.
Proceedings of the IEEE International Conference on Control Applications, 2011

2010
Input-output finite time stabilization of linear systems.
Autom., 2010

Diagnosability of labeled Petri nets via integer linear programming.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009
An Efficient Approach for Online Diagnosis of Discrete Event Systems.
IEEE Trans. Autom. Control., 2009

Sufficient Conditions for Finite-Time Stability of Impulsive Dynamical Systems.
IEEE Trans. Autom. Control., 2009

Improving Real-time Identification of Petri Nets using Timing Information.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Trading output performance for input allocation: application to the JET tokamak shape controller.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Plasma position and shape control in ITER using in-vessel coils.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Finite-time stabilization of impulsive dynamical linear systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

On finite-time stability of state dependent impulsive dynamical systems.
Proceedings of the American Control Conference, 2008

2007
Improving on-line fault diagnosis for discrete event systems using time.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006
Graphic tools for plasma shape control design and validation.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2003
Controlling extremely shaped plasmas in the JET tokamak.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003


  Loading...