Model Checking Hybrid Systems Within Hybrid Temporal Logic

ZHANG Haibin

Chinese︱Feedback︱Save this page

Model Checking Hybrid Systems Within Hybrid Temporal Logic

ZHANG Haibin * #

School of Computer Science and Technology,Xidian University, xi'an, 710071

*Correspondence author

#Submitted by

Subject:

Funding: none

Opened online: 8 February 2014

Accepted by: none

Citation: ZHANG Haibin.Model Checking Hybrid Systems Within Hybrid Temporal Logic[OL]. [ 8 February 2014] http://en.paper.edu.cn/en_releasepaper/content/4583955

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.

Keywords:model checking；temporal logic；hybrid systems

For this paper

● PDF (0B)
● Revision 0 　　
● Print this paper
● Recommend this paper to a friend
● Add to my favorite list

Saved Papers

Please enter a name for this paper to be shown in your personalized Saved Papers list

Tags

Add yours

Related Papers

Statistics

PDF Downloaded	116
Bookmarked	0
Recommend	5
Comments	Array

Submit your papers

Alert Name:
Alerting to:
Authentication email will be sent to your email address in 24 hours
Frequency:
Email Message Format:	Plain text Graphical(HTML)

Complete the form below and we will recommend the selected titles to your friends on your behalf. * Indicates a required field.
Your name*:
Your email address*:
Recipient's name*:
Recipient's email address*:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find the page(s) useful.

Your name:
Your email address:
Recipient's name:
Recipient's email address:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find this page useful.

Disclaimer: This message was sent to your friend using the "Send it to a friend" facility on the Sciencepaper Online’ WWW site, http://www.paper.edu.cn/en. The Sciencepaper Online is not responsible for the content of this email, and anything said in this email does not necessarily reflect the Sciencepaper Online's views.

	Check out RSS, or use RSS reader to subscribe this item

Saved Papers