[FOM] Logic and Dynamical Systems

[Andre Platzer]

You may also be interested in a strongly related line of research on  
differential dynamic logics for hybrid dynamical systems (i.e.,  
dynamical systems with interacting discrete and continuous dynamics):

   http://symbolaris.com/logic/dL.html
   http://symbolaris.com/info/KeYmaera.html

This is a logic-based approach to specify and verify properties of  
hybrid dynamical systems with a corresponding proof calculus. KeYmaera  
is the verification tool implementing this proof calculus in a hybrid  
automated theorem prover for hybrid dynamical systems.

Andre Platzer