COURSE

ROAS6000L

Formal methods for dynamic systems

Systems Hub / Robotics and Autonomous Systems · 3 Credits

Formal methods originate from theoretical computer science and are interdisciplinary in nature. At its core, formal methods are about proofs: formulating specifications to form proof obligations, verifying that the systems indeed meet their specifications via algorithmic proof search, and designing systems to meet those obligations. This course serves as an introduction to formal methods with emphasize on fundamental theories and techniques that apply broadly to various dynamical systems. Particularly, the following topics will be covered: formal modeling of dynamical systems, formal properties such as regular and omega-regular properties, simulation and abstraction, linear temporal logic, automata-based model checking and game theoretic control synthesis.