Double pendulum in dL

Chaotic systems like the double pendulum are highly sensitive to initial conditions, making their long-term behavior unpredictable. This project explores how differential dynamic logic (dL) and differential invariants can be used to formally analyze such systems. You will investigate which properties of the double pendulum can be proven within dL, leveraging mathematical logic to uncover structure in chaos. If you’re interested in dynamical systems and formal methods this project offers a unique challenge at the intersection of logic and physics.

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