Computation
DURATION CALCULUS: A LOGICAL APPROACH TO REAL-TIME SYSTEMS
Workshop

MICHAEL R. HANSEN

Dept. of Information Technology, Tec. University of Denmark
Second week
mrh@it.dtu.dk
Course description

Duration Calculus (DC) was introduced in 1991 by Zhou Chaochen, C.A.R. Hoare and A.P. Ravn as a logical formalism for the formal design of real-time systems. DC has been applied to many case studies and has, for instance, been used to specify hybrid systems containing both analogue and discrete components.

DC is an interval logic, where real numbers are used to model time, and Boolean valued functions over time are used to model states and events of real-time systems.

The workshop will contain an introduction to Duration Calculus together with research contribution in the following areas (not exclusively):

  • applications
  • tools
  • theory
  • interval logic
  • links to other formalisms

Invited speakers:

  • Zhou Chaochen (UNU / IIST, Macau)
  • Ernst-Ruediger Olderog (University of Oldenburg, Germany)

Authors of accepted papers:

  • Qiu Zongyan (Bejing University, China)
  • Soeren T. Heilmann (Technical University of Denmark)
  • Suman Roy (Indian Institute of Science, India)
  • Gao Jianping (Bejing University of Aeronautics and Astronautics, China)
  • Chen Zongji (Bejing University of Aeronautics and Astronautics, China)
  • Michael Bruun Petersen (Technical University of Denmark)
  • Torben Hoffmann ((Technical University of Denmark)
  • Hans Rischel (Technical University of Denmark)
  • Li Xuandong (Nanjing University, China)
  • Zheng Tao (Nanjing University, China)
  • Hou Jianmin (Nanjing University, China)
  • Zheng Guoliang (Nanjing University, China)
  • Wang Ji (Changsha Institute of Technology, China)
  • Zhiming Liu (University of Leicester, United Kingdom)
  • Anders P. Ravn (Technical University of Denmark)
  • Xiaoshan Li (University of Macau)
  • Rune M. Jensen (Technical University of Denmark)
  • Gerardo Schneider (UNU / IIST, Macau)
  • Qiwen Xu (UNU / IIST, Macau)
  • Martin Fraenzle (University of Oldenburg, Germany)
  • Anne Haxthausen (Technical University of Denmark)
  • Xia Yong (UNU / IIST, Macau)
  • Cheryl Dietz (University of Oldenburg, Germany)
  • Henning Dierks (University of Oldenburg, Germany)
  • Hongyan Sun (Technical University of Denmark)
  • Hans Henrik Loevengreen (Technical University of Denmark)
  • Morten Ulrik Soerensen (Technical University of Denmark)

 
Prerequisites
None
Literature
No specific recommendation

 

 

HOME
PROGRAMME
CONTACT
REGISTRATION