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