Olivier Mullier

Orcid: 0000-0003-1439-746X

According to our database1, Olivier Mullier authored at least 12 papers between 2010 and 2021.

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

2021
Preface.
Acta Cybern., 2021

Validated Trajectory Tracking using Flatness.
Acta Cybern., 2021

2020
Optimal Switching Instants for the Control of Hybrid Systems.
Acta Cybern., 2020

2019
Set-Membership Computation of Integrals with Uncertain Endpoints.
Proceedings of the Numerical Computations: Theory and Algorithms, 2019

2018
Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation.
Optim. Methods Softw., 2018

Improving validated computation of Viability Kernels.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Constraint-Based Framework for Reasoning with Differential Equations.
Proceedings of the Cyber-Physical Systems Security., 2018

2017
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties.
Proceedings of the First IEEE International Conference on Robotic Computing, 2017

2015
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis.
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

2014
Inner approximated reachability analysis.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2013
General Inner Approximation of Vector-valued Functions.
Reliab. Comput., 2013

2010
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010


  Loading...