@inproceedings{9e265df1a1c349fb9d8856f24f26681d,
title = "Translating CPS with Shared-Variable Concurrency in SpaceEx",
abstract = "Cyber-physical systems (CPS), combining continuous physical behavior and discrete control behavior, have been widely utilized in recent years. However, the traditional modeling languages used to specify discrete systems are no longer applicable to CPS, since CPS subsume the combination of the cyber and the physical. To address this, a modeling language for CPS based on shared variables is proposed. In this paper, we present an implementation of this language in SpaceEx. Thus, a bridge between our language and hybrid automata is established.",
keywords = "Cyber-physical system (CPS), Hybrid automata, SpaceEx",
author = "Ran Li and Huibiao Zhu and Richard Banach",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 8th International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2022 ; Conference date: 27-10-2022 Through 29-10-2022",
year = "2022",
doi = "10.1007/978-3-031-21213-0\_8",
language = "英语",
isbn = "9783031212123",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "127--133",
editor = "Wei Dong and Jean-Pierre Talpin",
booktitle = "Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Proceedings",
address = "德国",
}