{"title":"混合动力系统安全规范的定时CSP","authors":"Jinzhao Wu, Shihan Yang","doi":"10.1109/ICYCS.2008.164","DOIUrl":null,"url":null,"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.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Timed CSP for Safety Specification of Hybrid System\",\"authors\":\"Jinzhao Wu, Shihan Yang\",\"doi\":\"10.1109/ICYCS.2008.164\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":370660,\"journal\":{\"name\":\"2008 The 9th International Conference for Young Computer Scientists\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-12-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 The 9th International Conference for Young Computer Scientists\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICYCS.2008.164\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 The 9th International Conference for Young Computer Scientists","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICYCS.2008.164","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Timed CSP for Safety Specification of Hybrid System
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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
