Papers which have been submitted for review.
Preliminary work which has not been yet submitted for publication.
Decomposing Reachability Computations for Affine Systems.
Sergiy Bogomolov, M. F., Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry.
Explicit Error Bounds for Carleman Linearization.
M. F., Amaury Pouly.
2017, to be submitted.
See also: carlin package for SageMath.
Semidefinite Characterization of Invariant Measures for Polynomial Systems.
M. F., Didier Henrion, Victor Magron.
Erythropoiesis and Hemoglobin production modelling using optimal control of Hybrid Systems.
Alexandre Rocca, Thao Dang, Eric Fanchon, M. F., Victor Magron.
Technical reports on the progess of research projects. They are not meant to be published in journals or conferences.
If you are interested to know more about a technical report please send me an email.