CSCI 5854 - Theoretical Foundations for Cyber-Physical Systems Course uri icon



  • Covers techniques for modeling, design and verification of Cyber-Physical Systems and application domains including automotive systems, robotics and medical devices. Modeling topics include timed systems, differential equations, switched systems, hybrid dynamical systems. Verification topics: reachability and stability verification. Temporal specifications. Synthesis of controllers. Applications: automotive systems, medical devices.