ON 1 JULY 1999 LOGPRO AND TOSCA MERGED AND ARE NOW JOINTLY CALLED TCSLAB (THEORETICAL COMPUTER SCIENCE LABORATORY). THE INFORMATION GIVEN BELOW IS FROZEN ON THAT DATE, AND IS FOR ARCHIVAL PURPOSES ONLY. |
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).
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).
Christer Backstrom
torsdag, 30 oktober 1997 kl 13:08:54 MET