Synthesis Algorithms of Models of Hybrid Systems

ZHANG Haibin

Chinese︱Feedback︱Save this page

Synthesis Algorithms of Models of Hybrid Systems

ZHANG Haibin * #

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

*Correspondence author

#Submitted by

Subject:

Funding: none

Opened online:10 February 2014

Accepted by: none

Citation: ZHANG Haibin.Synthesis Algorithms of Models of Hybrid Systems[OL]. [10 February 2014] http://en.paper.edu.cn/en_releasepaper/content/4583958

In this paper, a computational model for hybrid systems is introduced. Based on this model, a partial order relation of hybrid systems is given and a lattice of hybrid systems is formalized. Armed with these notations, synthesis of hybrid systems is discussed. The synthesis can be seen as the operation of solving the least upper bound of members of the lattice.

Keywords:hybrid systems；temporal Logic；synthesis

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	128
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