[FOM] Logic and Dynamical Systems

Andre Platzer aplatzer at cs.cmu.edu
Wed Dec 24 06:40:55 EST 2008

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):


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

More information about the FOM mailing list