Stochastic Hybrid Systems: Theory and Applications

 

 Workshop for the

43rd IEEE Conference on Decision and Control
Monday, December 13, 2004
Atlantis,
Paradise Island, Bahamas

 

Organizers:

 

John Lygeros
Address: Electrical & Computer Engineering

   

University of Patras

Rio, Patras, 26500

Greece

 
 

Tel. +30 2610 996458

Fax. +30 2610 991812

E-mail: lygeros@ee.upatras.gr

WWW: www.sml.ee.upatras.gr/lygeros

 

Arjan van der Schaft
Address: Department of Applied Mathematics

   

University of Twente

P.O. Box 217, 7500AE Enschede

The Netherlands

 
 

Tel. +31-53-4893449

Fax. +31-53-4893800

E-mail: a.j.vanderschaft@math..utwente.nl

WWW: www.math.utwente.nl/~schaftaj


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

  • 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

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.

 

Workshop program: The workshop will cover a full day. The programm is:

8:30-9:00   J. Lygeros (University of Patras)
“Overview of stochastic hybrid models”
9:00-9:30   A. van der Schaft (Twente University)
“Compositional specification”
9:30-10:15   M. Prandini (Politecnico di Milano)
“Reachability: theoretical foundations and application to aircraft conflict detection”
10:15-10:30   Break
10:30-12:00   J.-P. Katoen (Twente University)
“Model checking of stochastic hybrid systems”

12:00-13:30

 
Lunch
13:30-14:30   M. Davis (Imperial College)
“Piecewise deterministic Markov processes revisited”
14:30-15:30   J. Hespanha (U.C. Santa Barbara)
“Stochastic hybrid systems in communication networks”
15:30-15:45   Break
15:45-16:30   M.D. di Benedetto (University of L’Aquila)
“Hybrid observer design: theory and automotive applications”
16:30-17:15   H. Blom (NLR)
“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/