Keyword:dynamical systems

Papers
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)
To Manage Fisheries with Complexity and Chaos Theories Manuel Alberto M. Ferreira, José António Filipe, Manuel Coelho and Maria Isabel Pedro EasyChair Preprint no. 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 no. 9873
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar 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)
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 no. 7888
ARCH-COMP21 Repeatability Evaluation Report Taylor T. Johnson In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Formalizing Rotation Number and Its Properties in Lean Yury Kudryashov EasyChair Preprint no. 6168
Tempered Exponential Stability for Random Semi-Dynamical Systems Popa Ioan-Lucian, Traian Ceausu, Akbar Zada and Ovidiu Bagdasar EasyChair Preprint no. 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 no. 1369