Euriell Le Corronc
According to our database1, Euriell Le Corronc authored at least 5 papers between 2010 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Container of (min, +)-linear systems.
Discrete Event Dynamic Systems, 2014
Mode sequences as symbolic states in abstractions of incrementally stable switched systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Modèles et calculs garantis pour les systèmes (min,+)-linéaires. (Guaranteed models and computations for (min,+)-linear systems).
PhD thesis, 2011
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