Science Foundation in China

Editorial Board
Instructions to Authors
Current Issue
Search by keywords
Search by issue
Advance Search
Times of Click
Times of Download

Visiting Times:
Visiting Times of Today:
Now Online



Progress in Natural Science

Nested timed automata with various clocks
WANG YuWei a, LI GuoQiang a,* YUEN Shojib
a. School of Software, Shanghai Jiao Tong University, Shanghai 200240, China; b. Graduate School of Information Science, Nagoya University, Japan
Abstract:  It is a great challenge to analyze a timed system extended with recursions, e.g. interrupt, since two dimensions of infinity, an unbounded stack, dense time recorded by clocks, occur in such a system. Furthermore, when investigating a recursive timed syst
Keywords:  Nested timed automata; Global clocks; Local clocks; Frozen clocks; Reachability
Abstract Hits:   453
Download:   158
View Full Text  View/Add Comment  Download reader
Address by: Department of Publication/NSFC.
83 Shuangqing Road Haidian District,Beijing CHINA.
Post code: 100085
Tel: 86+10-62327204
Fax: 86+10-62326921