Residential College | false |
Status | 已發表Published |
Towards a modeling language for cyber-physical systems | |
Zhu, Longfei1; Zhao, Yongxin2; Zhu, Huibiao1; Xu, Qiwen3 | |
2013 | |
Conference Name | Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday |
Source Publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 8051 LNCS |
Pages | 394-411 |
Conference Date | 9 1, 2013 - 9 3, 2013 |
Conference Place | Shanghai, China |
Author of Source | Springer 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. |
DOI | 10.1007/978-3-642-39698-4_24 |
Language | 英語English |
Scopus ID | 2-s2.0-84883252193 |
Fulltext Access | |
Citation statistics | |
Document Type | Conference paper |
Collection | University of Macau |
Affiliation | 1.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. |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment