DESCRIPTION
The analysis of systems has both diversified and deepened tremendously
in the last few years. In terms of diversification, systems of interest
now include stochastic systems, real-time systems and hybrid systems,
that is, systems where the state space is partly discrete and partly
continuous. Applications include flight management systems for aircraft,
process control systems, telecommunication systems and battle management
systems. In all of these one has to deal with continuous time evolution
and usually with probabilistic aspects as well. Perhaps the most successful
mathematical technique for dealing with these problems - now almost
20 years old - is model checking. This is now being extended to probabilistic
systems and the theory has advanced to the point where tools have been
designed and built. In terms of the general mathematical theory co-inductive
techniques, like bisimulation, have proved their value repeatedly.
The workshop would have two main speakers, who will
each give five lectures: Prof. Marta Kwiatkowska, U. Birmingham
"Probabilistic Model Checking" and Dr. Jan Rutten, CWI Amsterdam "Coinductive
Calculus". Other invited speakers include: R. Alur, P. Caines, R. Jagadeesan,
D.Precup.
Useful links