Counts as:

Experimental Course Offered:

Spring 2006

Catalog Description:

Description 1: Hybrid systems are dynamical systems with both continuous and discrete dynamics. Developed jointly by the computer science and control communities, they are finding increasing applications in a variety of engineering fields, even in scientific fields such as biological systems. This course will cover some basic aspects of hybrid systems, including their modeling, reachability and stability analysis, controller synthesis, optimization, and simulation tools, that are important in applying hybrid systems to engineering problems. Description 2: The revolution in digital technology has fueled a need for design techniques that can guarantee safety and performance specifications of embedded systems, or systems that couple discrete logics with analog physical environment. Such systems can be modeled by hybrid systems, which are dynamical systems that combine continuous-time dynamics modeled by differential equations and discrete-event dynamics modeled by finite automata. Important applications of hybrid systems include CAD, real-time software, robotics and automation, mechatronics, aeronautics, air and ground transportation systems, process control, as well as biological systems. Recently, hybrid systems have been at the center of intense research activity in the control theory, computer-aided verification, and artificial intelligence communities, and methodologies have been developed to model hybrid systems, to analyze their behaviors, and to synthesize controllers that guarantee closed-loop safety and performance specifications. These advances have also been complemented by computational tools for the automatic verification and simulation of hybrid systems.

Assessment Method:

none