PhD. Eng. Marcelo Forets Researcher in Applied Mathematics. Developer.

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.