PhD. Eng. Marcelo Forets Researcher in Applied Mathematics

Publications

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


Hybrid Systems and Formal Verification

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

  2. 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, to be held in Melbourne, Australia (2017).
    Download pre-print: [HAL], [local copy].


Mathematical Optimization

  1. Semidefinite Characterization of Invariant Measures for Polynomial Systems.
    Victor Magron, M. F., Didier Henrion
    Accepted in 18th French-German-Italian conference on Optimization, held in Paderborn, Germany (2017).
    Download pre-print: (to appear soon).
    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].