Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
dynamical systems
Publications
Closed-Loop ACAS Xu Neural Network Verification
Sanaz Sheikhi
and
Stanley Bak
In
:
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Luca Geretti
,
Julien Alexandre Dit Sandretto
,
Matthias Althoff
,
Luis Benet
,
Pieter Collins
,
Parasara Duggirala
,
Marcelo Forets
,
Edward Kim
,
Stefan Mitsch
,
Christian Schilling
and
Mark Wetzlinger
In
:
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP21 Repeatability Evaluation Report
Taylor T. Johnson
In
:
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
To Manage Fisheries with Complexity and Chaos Theories
Manuel Alberto M. Ferreira
,
José António Filipe
,
Manuel Coelho
and
Maria Isabel Pedro
EasyChair Preprint 10689
Globally Stable Synchronization Conditions in Total Diffusive Linear Bidirectional Coupling Between Continuous Dynamical Systems and Partial Replacement (Rössler and Lorenz)
Rosário Laureano
,
Diana A. Mendes
and
Manuel Alberto M. Ferreira
EasyChair Preprint 9873
Chaos Theory in Politics: a Reflection. The Drop of Honey Effect
Manuel Alberto M. Ferreira
,
José António Filipe
,
Manuel Coelho
and
Maria Isabel Pedro
EasyChair Preprint 7888
Formalizing Rotation Number and Its Properties in Lean
Yury Kudryashov
EasyChair Preprint 6168
Tempered Exponential Stability for Random Semi-Dynamical Systems
Popa Ioan-Lucian
,
Traian Ceausu
,
Akbar Zada
and
Ovidiu Bagdasar
EasyChair Preprint 3335
EvoDynamic: a framework for the evolution of generally represented dynamical systems and its application to self-organized criticality
Sidney Pontes-Filho
,
Pedro Lind
,
Anis Yazidi
,
Jianhua Zhang
,
Hugo Hammer
,
Gustavo B. M. Mello
,
Ioanna Sandvig
,
Gunnar Tufte
and
Stefano Nichele
EasyChair Preprint 1369
Copyright © 2012-2024 easychair.org. All rights reserved.