Euriell Le Corronc

Orcid: 0000-0002-8604-1377

According to our database1, Euriell Le Corronc authored at least 11 papers between 2010 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Analysis and control of timed event graphs in (max, +) algebra for the active localization of time failures.
Discret. Event Dyn. Syst., 2024

2021
Failure detection and localization for timed event graphs in $(\max \limits , +)$-algebra.
Discret. Event Dyn. Syst., 2021

Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max, +) Observer-Based Approach.
Proceedings of the Intelligent Decision Technologies, 2021

Observer-based detection and localization of time shift failures in (max, +)-linear systems.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2019
Detection of time shift failures in (max, +)-linear systems with time intervals applied to the supervision of assembly lines.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

2018
Mapping Chronicles to a $k$-dimensional Euclidean Space via Random Projections.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2014
Container of (min, +)-linear systems.
Discret. Event Dyn. Syst., 2014

2013
Mode sequences as symbolic states in abstractions of incrementally stable switched systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2011
Modèles et calculs garantis pour les systèmes (min,+)-linéaires. (Guaranteed models and computations for (min,+)-linear systems).
PhD thesis, 2011

2010
Control of uncertain (max, +)-linear systems in order to decrease uncertainty.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Flow Control with (Min, +) Algebra.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010


  Loading...