Preprints

Papers which have been submitted to a reviewing committee.

Hybrid Systems and Formal Verification

1. LazySets: a Library for Convex Sets.
   Sergiy Bogomolov, M. F., Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry.
   2018, submitted.
   Keywords: convex sets, lazy set representation, reachability analysis.

Numerical Analysis and Systems Control

1. 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.