HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jawher Jerray

Publications
ORBITADOR: A tool to analyze the stability of periodical dynamical systems
Jawher Jerray
In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)
Jawher Jerray, Laurent Fribourg and Étienne André
In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)

Keyphrases

Biped walker, Brusselator, differential equations, Euler method, hybrid system, limit cycle, periodicity, phase synchronization, reachability, Reaction–diffusion system, stability.

Copyright © 2012-2025 easychair.org. All rights reserved.