Authentication email has already been sent, please check your email box: and activate it as soon as possible.
You can login to My Profile and manage your email alerts.
If you haven’t received the email, please:
|
|
There are 1 papers published in subject: > since this site started. |
Results per page: |
Select Subject |
Select/Unselect all | For Selected Papers |
Saved Papers
Please enter a name for this paper to be shown in your personalized Saved Papers list
|
1. Model Checking Hybrid Systems Within Hybrid Temporal Logic | |||
ZHANG Haibin | |||
Computer Science and Technology 28 January 2014 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:In this paper, we deal with the model checking issue for hybrid systems within hybrid temporal logic. We solve the model checking problem for timed automata by translating it to the same issue for interval temporal logic. Then we prove that the model checking issue of multirate automata can be translated to that of timed automata. Finally, we give an approach for checking the linear propositional property of compact rectangular automata. | |||
TO cite this article:ZHANG Haibin. Model Checking Hybrid Systems Within Hybrid Temporal Logic[OL].[28 January 2014] http://en.paper.edu.cn/en_releasepaper/content/4583955 |
Select/Unselect all | For Selected Papers |
Saved Papers
Please enter a name for this paper to be shown in your personalized Saved Papers list
|
Results per page: |
About Sciencepaper Online | Privacy Policy | Terms & Conditions | Contact Us
© 2003-2012 Sciencepaper Online. unless otherwise stated