Discrete event and hybrid systems
March 21, March 27, May 23, June 6, June 20, July 17, 2007
Dep.of Electrical and Electronic Engineering
|[ Home ] [ Lecturers ] [ Program ] [ Abstract of talks ]|
Discrete event systems
Discrete event systems (DES) theory is the theoretical foundation to the study of dynamical man-made systems, whose evolution is related to the occurrence of asyncronous events, usually not numerical. The most relevant application domains are: manufacturing, process control, supervisory systems, software engineering, transportation and so on. As a result of the combinatoric nature of the analysis, optimization and control problems of DES, the theory of DES has developed slowly with respect to the theory of time-driven systems. During the last fifteen years, to address the requirements from industry of formal methods for the study of DES, the international scientific community has devoted a great effort in this respect, and several important results have been obtained. In particular, solid theoretical foundations have been given within the framework of supervisory control, state observation and fault diagnosis.
Recent technological innovations have caused an ever increasing interest in the study of hybrid systems (HS). The peculiarity of hybrid systems is the interaction between continuous-time dynamics (governed by differential or difference equations), and discrete dynamics and logic rules (described by temporal logic, finite state machines, if-then-else conditions, discrete events, autonomous or forced switching, etc.). The research domain of HS is attracting an ever increasing number of researches. However, several important problems are still open in this framework, such as optimal control and analysis of many relevant properties, such as stability and Zeno phenomena. In particular, the latter is strictly related to the sliding mode theory, and many of its relevant results can be used or extended.
Objectives of the course
The main objective of this course is that of collecting together researches from several universities, working within the framework of discrete and hybrid systems, so as to provide an outline of the main theoretical and application results in these areas. All lectures will be taken at a quite didactic level, so that also PhD students not working in these topics, will be able to understand the proposed results.
Dates and location
All lectures will take place at the
University of Cagliari
09123 Cagliari, Italy
in the following dates: March 21, March 27, May 23, June 6, June 20, July 17, 2007.
Dep. of Electrical and Electronic Engineering
University of Cagliari, Italy
|Download the PDF file of the program.|