Gianmaria De Tommasi

According to our database1, Gianmaria De Tommasi authored at least 53 papers between 2006 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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 18th 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 2016 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 2016 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 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


  Loading...