@inproceedings{e9351b2026d146c79bb6ce3d162b720b,
title = "Discrete hybrid automata for safe cyber-physical system: An astronautic case study",
abstract = "Cyber-Physical Systems (CPSs) are interactive, intelligent and distributed-hybrid systems which have computing units embedded in physical environment and widely applied in the safety-critical field. Compared with the traditional embedded hybrid system, the problems of safety, reliability and uncertainty, caused by constant interaction between computing and physical process, are more prominent than ever before. An astronautic case has been taken for example in this paper. Correspondingly, the Discrete Hybrid Automata (DHA) modeling frame and Hybrid System Description Language (HYSDEL) are adopted to build and analyze its behavior model. Besides, combined with the hybrid toolbox, the trajectories of the continuous states and the reachability of system are simulated and analyzed. The usage of the approach to modeling and analysis of CPS has been applied in the scene of lunar rover autonomous walking, which lay a model foundation for the further safety verification.",
keywords = "CPS, DHA, HYSDEL, lunar rover",
author = "Qiang Wang and Gang Yang and Xingshe Zhou and Yalei Yang",
year = "2013",
doi = "10.1109/DASC.2013.51",
language = "英语",
isbn = "9781479933815",
series = "Proceedings - 2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing, DASC 2013",
publisher = "IEEE Computer Society",
pages = "137--142",
booktitle = "Proceedings - 2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing, DASC 2013",
note = "11th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2013 ; Conference date: 21-12-2013 Through 22-12-2013",
}