DocumentCode
1845183
Title
Timed CSP for Safety Specification of Hybrid System
Author
Wu, Jinzhao ; Yang, Shihan
Author_Institution
Sch. of Comput. & Inf. Technol., Beijing Jiaotong Univ., Beijing
fYear
2008
fDate
18-21 Nov. 2008
Firstpage
1913
Lastpage
1918
Abstract
We propose a process algebra TCSPhs obtained by extending process algebra timed CSP (timed communicating sequential processes [10, 11]) with a new propositional signal operator, inspired by [2]. The proposed process algebra makes it possible to deal well with behaviors and security features of hybrid system. Motivation is twofold. On the one hand we offer structural operational semantics of the proposed process algebra language. On the other hand we concentrate on investigating safety specification aspects of hybrid system within that language.
Keywords
algebraic specification; process algebra; hybrid system safety specification; process algebra language; structural operational semantics; timed communicating sequential processes; Algebra; Computer applications; Control systems; Distributed control; Information security; Information technology; Natural languages; Safety; Signal processing; Timing; Safety specification; signal operator; structural operational semantics; temporal process algebra;
fLanguage
English
Publisher
ieee
Conference_Titel
Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for
Conference_Location
Hunan
Print_ISBN
978-0-7695-3398-8
Electronic_ISBN
978-0-7695-3398-8
Type
conf
DOI
10.1109/ICYCS.2008.164
Filename
4709266
Link To Document