CSE510
Course | CSE510 |
Title | Hybrid Systems |
Description |
Hybrid Systems combine discrete state-machines and continuous differential equations and have been used as models of a large number of applications such as real-time software, embedded systems, robotics, mechatronics, aerospace systems, process control and biological systems. The course will cover modeling, design, analysis, and verification methods for hybrid systems. Topics may include SAT/SMT solvers, timed automata, formal logics for system specification, verification algorithms and closed-loop neural network control systems. |
Credits | 3 - credits |
Course Outcomes | |
Textbook | |
Course Webpage |