43rd IEEE Conference on Decision and
Control
Atlantis,
Organizers:
John Lygeros |
|||
|
|||
Tel.
+30 2610 996458 Fax.
+30 2610 991812 E-mail:
lygeros@ee.upatras.gr |
Arjan van der
Schaft |
|||
The
|
|||
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:
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/