Experiments on abstract acceleration of linear loops using Jordan normal forms

• Introduction
• Thermostat experiment
• Parabola, cubic and exponential behaviours
• Damped oscillator
• Inverted pendulum
• Damped oscillator with two modes
• Convoy Car example
• Experiments and Comparisons