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


This section contains publications at peer-reviewed journals or conference proceedings with reviewing committee.

Hybrid Systems and Formal Verification

  1. JuliaReach: a Toolbox for Set-Based Reachability
    Sergiy Bogomolov, M. F., Goran Frehse, Kostiantyin Potomkin, Christian Schilling.
    Accepted in 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019 Edition to be held in Montreal, Canada.
    Download pre-print: to appear soon
    Keywords: reachability analysis, hybrid systems, lazy computation

  2. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
    Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp (2018).
    In ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 54: 23–52..
    Download pdf: [easychair]
    Keywords: reachability analysis, safety verification, competition

  3. Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
    Sergiy Bogomolov, M. F., Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry.
    In 21st ACM International Conference on Hybrid Systems: Computation and Control, 2018 Edition to be held in Porto, Portugal.
    Download pre-print: [arXiv]
    Keywords: reachability analysis, safety verification, linear time-invariant systems, set recurrence relation

  4. Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.
    Nikolaos Kekatos, M. F., Goran Frehse.
    In Applied Verification for Continuous and Hybrid Systems, 2017 Edition.
    Download pre-print: [HAL]
    Keywords: reachability analysis, compositional methods, nonlinear control systems, SpaceEx.

  5. Constructing Verification Models of Nonlinear Simulink Systems via Syntactic Hybridization.
    Nikolaos Kekatos, M. F., Goran Frehse.
    Accepted in 56th IEEE Conference on Decision and Control, held in Melbourne, Australia (2017).
    Download pre-print: [HAL], [local copy].

Mathematical Optimization

  1. Occupation measure methods for modelling and analysis of biological hybrid systems.
    Alexandre Rocca, M. F., Victor Magron, Eric Fanchon, Thao Dang.
    In 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 18) to be held in Oxford, UK, July 11-13, 2018.
    Download pre-print: [arXiv - cs.SY].
    Keywords: biological modelling, hybrid dynamical system, optimal control problem, semidefinite optimization, occupation measures.

  2. Semidefinite Characterization of Invariant Measures for Polynomial Systems.
    Victor Magron, M. F., Didier Henrion.
    Presented in 18th French-German-Italian conference on Optimization, held in Paderborn, Germany (2017).
    Download pre-print: [arXiv - math.DS].

    Keywords: invariant measures, dynamical systems, polynomial optimization, semidefinite programming, moment-sum-of-square relaxations, Christoffel function.

Quantum Random Walks

  1. Quantum Walking in Curved Spacetime.
    Pablo Arrighi, Stefano Facchini, M. F.
    Quantum Information Processing (2016) 15: 3467.
    Download pre-print: [arXiv - quant-ph].
    Keywords: paired QWs, lattice quantum field theory, quantum simulation.

  2. Discrete Lorentz covariance for Quantum Walks and Quantum Cellular Automata.
    Pablo Arrighi, Stefano Facchini, M. F.
    New Journal of Physics 16 (2014) 093007.
    Download pre-print: [arXiv - quant-ph].
    Keywords: discrete Lorentz transformation, local Lorentz covariance, special relativity, observer equivalence, circuit transformation, Lorentz boosts.

  3. The Dirac equation as a quantum walk: higher dimensions, observational convergence.
    Pablo Arrighi, Vincent Nesme and M. F.
    J. Phys. A: Math. Theor. 47 (2014) 465302
    Download pre-print: [arXiv - quant-ph].
    Keywords: Friedrichs symmetric hyperbolic systems, quant um walk, quantum lattice gas automata, quantum computation, Trotter-Kato, Baker-Campbell-Thomson, operator splitting, Lax theorem.

  4. Spatial quantum search in a triangular network.
    Gonzalo Abal, Raul Donangelo, M. F., Renato Portugal.
    Mathematical Structures in Computer Science, 22, pp 521-531, Cambridge University Press
    Download pre-print: [arXiv - quant-ph].