Hybrid systems and trusted autonomy
Hybrid systems combine discrete behaviors (such as software or state machines) with continuous behaviors (such as the physical world). A large number of applications can be viewed in this way including embedded systems, robotics, aerospace systems, process control and biological systems. Autonomous systems like self-driving cars and unmanned drones can also be analyzed using hybrid systems techniques. Models for hybrid systems often use combinations of state-machines and differential equations. The course covers modeling, design, analysis, and verification methods.
Time: Monday and Wednesday from 10:00am to 11:20am
Aug 23, 2021 - Dec 6, 2021 (See SBU Academic Calendar for holiday list)
Location: Old CS Building 2120, also Zoom link on Blackboard
Professor office hours are Mondays 11:30am to 12:30pm (after class), or by appointment. Office hours are on zoom (the link is on a blackboard announcement). Please e-mail me beforehand if you plan to come.
TA office hours are on Wednesday afternoons 2-3pm (see blackboard announcement for link and hours). Please e-mail the TA (and cc me) beforehand if you plan to come.
Syllabus and Class Policies
Simulating Continuous and Discrete Systems
SAT & SMT Solving
Hybrid Automata and Reachability Analysis
Verification of Neural Networks