Demos and solvers
- A demo to use ellipsoids to prove the stability of n-dimensional nonlinear discrete-time systems
- A demo to verify the positive invariance of Ellipsoids.
- Guaranteed non-collision between autonomous surface vehicles
Academic publications
- Computational tractable guaranteed numerical method to study the stability of n-dimensional time-independent nonlinear systems with bounded perturbation
Morgan Louédec, Luc Jaulin, Christophe Viel
Automatica, July 2023, volume 153, 110981, https://doi.org/10.1016/j.automatica.2023.110981 - Interval Extended Kalman Filter – Application ot Underwater Localization and Control
Morgan Louédec, Luc Jaulin
Algorithms, 2021, 14, 142, https://doi.org/10.3390/a14050142