Hybrid Systems: Theory and Applications
Stochastic Hybrid Systems: Theory and Applications
43rd IEEE Conference on Decision and
Tel. +30 2610 996458
Fax. +30 2610 991812
Arjan van der
In association with European Commission projects HYBRIDGE, IST-2001-32460 Stochastic Hybrid Systems: Theory and Applications, http://www.nlr.nl/public/hosted-sites/hybridge/ and COLUMBUS, IST-38314, http://www.columbus.gr.
Scope: The main aim of the workshop on Stochastic Hybrid Systems: Theory and Applications is to expose participants to recent research activity in the area of 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, such as finite automata, Petri nets, etc.,
continuous dynamics, governed for example by differential equations and
stochastic processes, either affecting the discrete-event system transitions or entering the continuous dynamics.
Emphasis will be placed on fundamental theoretical advances for this complex and diverse class of systems, in particular on
stochastic hybrid modeling
hybrid observer design
Motivation for the theoretical results will be provided by a number of key applications:
air traffic management
Experts in all these areas have been invited to present their work.
Target audience: The workshop is addressed to graduate students and researchers with a background in automatic control, hybrid systems or stochastic systems. The material covered at the workshop will expose the participants to the state of the art in the area of stochastic hybrid systems as well as open research problems in this area.
program: The workshop will cover a full day. The programm is:
Lygeros (University of Patras)
Overview of stochastic hybrid models
van der Schaft (Twente University)
Prandini (Politecnico di Milano)
Reachability: theoretical foundations and application to aircraft conflict detection
Katoen (Twente University)
Model checking of stochastic hybrid systems
Davis (Imperial College)
Piecewise deterministic Markov processes revisited
Hespanha (U.C. Santa Barbara)
Stochastic hybrid systems in communication networks
di Benedetto (University of LAquila)
Hybrid observer design: theory and automotive applications
Stochastic hybrid model based assessment of the risk of collision between aircraft
Workshop proceedings: Copies of all the presentations will be made available to the workshop participants.
For registration and conference information visit http://control.bu.edu/ieee/cdc04/