Timed CSP for Safety Specification of Hybrid System

摘要

We propose a process algebra TCSP{sub}(hs) 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.