Understanding Chaos in Differential Dynamic Logic

Chaotic systems are notoriously difficult to analyze, yet they appear in many real-world applications. This project explores how differential dynamic logic (dL) can be used to formally understand chaos: Can we detect chaotic behavior? How can we characterize attractors of these systems? And how do these properties impact safety guarantees? If you’re interested in formal methods, dynamical systems, and chaos theory, this project offers a deep dive into the logical structure of unpredictability.

For more information, please reach out to jonathan.hellwig@kit.edu.