Recent technological innovations have caused a considerable interest in the study of dynamical processes of a mixed continuous and discrete nature. Such processes are called hybrid systems and are characterized by the interaction of time-continuous models (governed by differential or difference equations) on the one hand, and logic rules and discrete-event systems (described by, e.g., automata, finite state machines, etc.) on the other. In practice a hybrid system arises, e.g., when continuous physical processes are controlled via embedded software that intrinsically has a finite number of states only (such as on/off control).
This course will offer a brief overview of the field of hybrid systems ranging from modeling, over analysis and simulation, to verification and control. We will particularly focus on modeling, analysis, and control of tractable classes of hybrid systems.
Date and location
The course will be take place on XXXXXX at Cursus en Vergadercentrum Domstad, Koningsbergerstraat 9, 3531 AJ Utrecht, phone: 030-2927700, www.accommodatiedomstad.nl (in Dutch).
Click here for travel directions (in Dutch).