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



  • Covers techniques for modeling, design and verification of autonomous 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.


  • Trivedi, Ashutosh  
    Primary Instructor - Spring 2018
  • Zamani, Majid  
    Primary Instructor - Fall 2019 / Fall 2020 / Fall 2021 / Fall 2022 / Fall 2023