@inproceedings{34660111bf484ba0ad19e724d695508c,
title = "Formal specification of cyber physical systems: Case studies based on hybrid relation calculus",
abstract = "Hybrid system is a dynamic mixture of continuous physical world and discrete control part. In hybrid systems, continuous and discrete dynamic behaviors are displayed by the continuous and discrete components of the system respectively. Due to the complicated mixture mechanism, it becomes very difficult for us to model such a system accurately and explicitly. To simplify the modeling process, Jifeng He proposes a hybrid parallel programming language. It is in the light of his intellectual work that we can model physical world as well as its interaction with the control program. This paper aims to apply the programming language proposed by Jifeng He to the specification of hybrid systems. To describe this language specifically, we used a simple system which consists of a motor boat on a lake modeled by the space R2.This example illustrates that using hybrid relation calculus to specify hybrid systems can make every subsystem less complicated and more detailed, so that we can get easy access to observe the physical mechanism of the system.",
keywords = "Continuous and discrete, Hybrid relation calculus, Hybrid systems, Model",
author = "Wenli Zhang and Lichen Zhang and Haibin Cai",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2014.; FTRA 8th International Conference on Multimedia and Ubiquitous Engineering, MUE 2014 ; Conference date: 28-05-2014 Through 31-05-2014",
year = "2014",
doi = "10.1007/978-3-642-54900-7\_7",
language = "英语",
series = "Lecture Notes in Electrical Engineering",
publisher = "Springer Verlag",
pages = "39--43",
editor = "Shu-Ching Chen and Park, \{James J.\} and Yen, \{Neil Y.\} and Joon-Min Gil",
booktitle = "Multimedia and Ubiquitous Engineering",
address = "德国",
}