STOCHASTIC HYBRID SYSTEMS
This advanced lecture (Vertiefungsvorlesung) addresses Master students in Computer Science, Mathematics, Bioinformatics, CuK or Computerlinguistics.
The aim of this course is to expose participants to Stochastic Hybrid Systems. Theoretical results will be illustrated and motivated by applications in different important fields.
Stochastic hybrid systems are systems that combine continuous dynamics with discrete/logic components and are affected by uncertainty. From a theoretical point of view, the study of this class of systems is particularly challenging because they exhibit the complexities that arise from the interaction of
• discrete-event systems,
• continuous dynamics, and
• stochastic processes, either affecting the discrete-event
system transitions or entering the continuous dynamics.
Emphasis will be placed on theoretical advances for this complex and diverse class of systems, in particular on
• stochastic hybrid modeling
• compositional specification
• reachability analysis
• model checking
• hybrid observer design
Motivation for the theoretical results will be provided by a number of key applications:
• air traffic management
• automotive systems
• communication networks
• mathematical finance
The module is offered March 12-23, 2007 as a block course. We usually start at 9:00 in the morning, with about 2 hrs of lecture in the morning, and exercise sessions on some of the afternoons.
Further details will become available here and at the CMS.
Please login here to get more information!
|Dependable Systems & Software Group||Department of Computer Science||Universität des Saarlandes|