PhD. Eng. Marcelo Forets Researcher in Applied Mathematics

Preprints & Reports

Submitted papers

Papers which have been submitted for review.

Working papers

Preliminary work which has not been yet submitted for publication.

  1. Decomposing Reachability Computations for Affine Systems.
    Sergiy Bogomolov, M. F., Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry.
    2017, to be submitted.

  2. Explicit Error Bounds for Carleman Linearization.
    M. F., Amaury Pouly.
    2017, to be submitted.
    See also: carlin package for SageMath.

  3. Erythropoiesis and Hemoglobin production modelling using optimal control of Hybrid Systems.
    Alexandre Rocca, Thao Dang, Eric Fanchon, M. F., Victor Magron.
    2017, to be submitted.

  4. Carleman Linearization for Set-based Reachability.
    M. F., Nikolaos Kekatos, Goran Frehse, Amaury Pouly.
    2017, work-in-progress.

  5. Reachability of Nonlinear Systems using Support Functions.
    M. F., Goran Frehse.
    2017, work-in-progress.

  6. Fighting the Wrapping Effect Through Invariance.
    M. F., Goran Frehse.
    2017, work-in-progress.

Technical reports

Technical reports on the progess of research projects. They are not meant to be published in journals or conferences.

  1. Compositional Analysis of Circuits with Parametric Uncertainties
    M. F., Goran Frehse, Nikolaos Kekatos.
    December 2016. Technical deliverable report of the project NANO2017.

  2. Modeling Analog Circuits with Technological Dispersion
    M. F., Stefano Minopoli, Goran Frehse.
    July 2016. Technical deliverable report of the project NANO2017.

If you are interested to know more about a technical report please send me an email.