next up previous

Next: Members

The Laboratory for Temporal-system Correctness and Algorithmics

TOSCA is a research group within the Department of Computer and Information Science, Linköping University, Sweden. TOSCA was formed by Jan. 1st, 1996, when the research group RKLLAB was split into three new groups (KPLAB, TASLAB and TOSCA).

We do research on various types and aspects of temporal systems, currently in the areas of action planning, temporal constraint reasoning, diagnosis of dynamical systems and modelling and verification of hybrid systems. Some of our research is cross-disciplinary research in collaboration with research groups in the department of electrical engineering, Linköping University. (Click ``Research activities'' below for more information).

Christer Backstrom
torsdag, 30 oktober 1997 kl 13:08:54 MET