Publications

Filters: Author is Zhou Chaochen  [Clear All Filters]
1998
R. Barua, and Z. Chaochen, Neighbourhood Logics : NL and NL2, , 12/1998. Abstract  Download: report120.pdf (369.34 KB)
Q. Zongyan, and Z. Chaochen, A Combination of Interval Logic and Linear Temporal Logic, , 09/1998. Abstract  Download: report123.pdf (312.99 KB)
1997
F. Hongguang, Y. Lu, and Z. Chaochen, A Computer-Aided Geometric Approach to Inverse Kinematics, , 04/1997. Abstract  Download: report100.pdf (473.36 KB)
F. Hongguang, Y. Lu, and Z. Chaochen, A Computer-Aided Geometric Approach to Inverse Kinematics, , 04/1997. Abstract  Download: report101.pdf (286.46 KB)
1995
Z. Chaochen, W. Ji, and A. P. Ravn, A Formal Description of Hybrid Systems, , 12/1995. Abstract
Z. Chaochen, D. V. Hung, and L. Xiaoshan, A Duration Calculus with Infinite Interval, , 04/1995. Abstract  Download: report40.pdf (334.64 KB)
F. Hongguang, Y. Lu, and Z. Chaochen, A Geometric Approach to Solving Inverse Kinematics, , 03/1995. Abstract
1994
B. H. Widjaja, H. Weidong, C. Zongji, and Z. Chaochen, A Cooperative Design for Hybrid Systems, , 12/1994. Abstract
D. V. Hung, and Z. Chaochen, A duration Model for Railway scheduling, , 05/1994. Abstract
D. V. Hung, and Z. Chaochen, Probabilistic Duration Calculus for Continuous Time, , 05/1994. Abstract  Download: report25.pdf (347.4 KB)
C. Zongji, W. Ji, and Z. Chaochen, An Abstraction of Hybrid Control Systems, , 04/1994. Abstract
C. Zongji, W. Ji, and Z. Chaochen, A Design Approach of Hybrid Control Systems, , 04/1994. Abstract
Z. Yuhua, and Z. Chaochen, A Formal Proof of a Deadline Driven Scheduler, , 04/1994. Abstract
W. Ji, Y. Xinyao, and Z. Chaochen, Hybrid Refinement, , 04/1994. Abstract
Y. Xinyao, W. Ji, Z. Chaochen, and P. K. Pandya, Specification of an Adaptive Control System, , 04/1994. Abstract
1993
M. R. Hansen, P. K. Pandya, and Z. Chaochen, Finite Divergence, , 11/1993. Abstract
Z. Chaochen, Z. Jingzhong, Z. Y. Lu, and L. Xiaoshan, Linear Duration Invariants, , 07/1993. Abstract
Z. Chaochen, Duration Calculi: An Overview, , 06/1993. Abstract