UM
Residential Collegefalse
Status已發表Published
Towards a modeling language for cyber-physical systems
Zhu, Longfei1; Zhao, Yongxin2; Zhu, Huibiao1; Xu, Qiwen3
2013
Conference NameTheories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8051 LNCS
Pages394-411
Conference Date9 1, 2013 - 9 3, 2013
Conference PlaceShanghai, China
Author of SourceSpringer Verlag
Abstract

A cyber-physical system (CPS) is an interactive system of continuous plants and real-time controller programs. These systems usually feature a tight relationship between the physical and computational components and exhibit true concurrency with respect to time. These communication and concurrency issues have been well investigated in event based synchronous languages but only for discrete systems. In this paper, we investigate the distinct features of CPS and propose an imperative-style language framework for the programming of CPS. To characterize the semantics of the language, a set of algebraic laws are provided, which can be used to reduce arbitrary program into normal form. The programs in the normal form exhibit clear time-consuming and instantaneous behaviors. Moreover, the algebraic laws can be used in the transformation from the high level hybrid program specification to low level controller programs interacting with the physical plants. We will investigate this part in the follow-up work. © 2013 Springer-Verlag.

DOI10.1007/978-3-642-39698-4_24
Language英語English
Scopus ID2-s2.0-84883252193
Fulltext Access
Citation statistics
Document TypeConference paper
CollectionUniversity of Macau
Affiliation1.East China Normal University, Shanghai, China;
2.National University of Singapore, Singapore;
3.University of Macau, China
Recommended Citation
GB/T 7714
Zhu, Longfei,Zhao, Yongxin,Zhu, Huibiao,et al. Towards a modeling language for cyber-physical systems[C]. Springer Verlag, 2013, 394-411.
APA Zhu, Longfei., Zhao, Yongxin., Zhu, Huibiao., & Xu, Qiwen (2013). Towards a modeling language for cyber-physical systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8051 LNCS, 394-411.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Zhu, Longfei]'s Articles
[Zhao, Yongxin]'s Articles
[Zhu, Huibiao]'s Articles
Baidu academic
Similar articles in Baidu academic
[Zhu, Longfei]'s Articles
[Zhao, Yongxin]'s Articles
[Zhu, Huibiao]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Zhu, Longfei]'s Articles
[Zhao, Yongxin]'s Articles
[Zhu, Huibiao]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.