Papers which have been submitted to a reviewing committee.
Hybrid Systems and Formal Verification
- LazySets: a Library for Convex Sets.
Sergiy Bogomolov, M. F., Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry.
Keywords: convex sets, lazy set representation, reachability analysis.
Numerical Analysis and Systems Control
- Explicit Error Bounds for Carleman Linearization.
M. F., Amaury Pouly.
2017, submitted. [arXiv - math.NA].
See also: carlin package for SageMath.
Keywords: carleman linearization, polynomial ODEs, infinite-dimensional systems, guaranteed integration, nonlinear control theory.