C O L U M B U S

Design of Embedded Controllers for Safety Critical Systems

Project IST-2001-38314

 

Project | Participants | Innovation | Work Plan  | Related Links | News

 

Stochastic Hybrid Systems

Home News Stochastic Hybrid Systems

 

Stochastic Hybrid Systems: Theory and Applications

 Workshop for the

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

Download:

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, 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 program 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 LAquila)
¨
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/