ParaDiSe Seminar
The ParaDiSe Seminar is a working forum for the presentation of ongoing and finished research in the areas related to the specification, modelling, analysis, and verification of software systems.
The meetings are held on Thursday at the Faculty of Informatics, Masaryk University, starting at 12:00.
Seminar Programme — Spring 2009
Overview of research in ParaDiSe
The goal of this part of the seminar is to let the people from each ParaDiSe group introduce problems they are working on, describe their current research goals and research achievemnts, and summarize contents of their recent publications.
- February 16, 2009
DiVinE
(Tomáš Janoušek, Petr Ročkai)
Hybrid Systems: Modeling, Analysis, and Control
In the second part of the seminar, we will go through a course on Hybrid Systems as given at Standford University in Spring 2005. The details for the course are available here.- February 23, 2009
Lecture 1 and 2: Examples of hybrid systems and hybrid automata (homework)
(Jana Tůmová) - March 2, 2009
Lecture 3: Autonomous hybrid automata (homework)
(Martin Šmérek) - March 9, 2009
Lecture 4: Existence of executions (homework)
(Petr Bauch) - March 16, 2009
Lecture 5: Properties and verification (homework)
(Milan Češka) - March 23, 2009
Lecture 6: Stability (homework)
(Jakub Chaloupka) - March 30, 2009
Lecture 7: Introduction to discrete games (homework)
(Pavel Šimeček) - April 6, 2009
Lecture 8: Optimal control and dynamic games (homework)
(Mária Svoreňová) - April 20, 2009
Lecture 9: Controllers for continuous systems
(Nikola Beneš) - April 27, 2009
CALIN BELTA -- Invited speaker
- May 4, 2009
Lecture 10: Controller synthesis for hybrid systems
- May 11, 2009
RESERVED
- May 18, 2009
Evaluation