Mathematical Models and Techniques
for Analysing Systems

September 30 - October 4, 2002


Centre de recherches mathématiques
Université de Montréal
Montréal (Québec), Canada

Prakash Panangaden (McGill)

















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


September 26, 2002, webmestre@CRM.UMontreal.CA