混合系统建模和验证使用Statecharts和Grafcet

Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI:10.1016/0066-4138(94)90014-0

R Boissier , B Dima , D Razafindramary , T Soriano

{"title":"混合系统建模和验证使用Statecharts和Grafcet","authors":"R Boissier , B Dima , D Razafindramary , T Soriano","doi":"10.1016/0066-4138(94)90014-0","DOIUrl":null,"url":null,"abstract":"<div><p>The Statechart and Grafcet synchronous models are compared in view of their application to the control of hybrid systems. The Cruise Control case study emphasises the specific features and similarities of both methods. The simulation of the Grafcet model uses an original algorithm. Issues about the coherent management of variables in hybrid systems are raised.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 73-79"},"PeriodicalIF":0.0000,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90014-0","citationCount":"0","resultStr":"{\"title\":\"Hybrid systems modelling and validating using Statecharts and Grafcet\",\"authors\":\"R Boissier , B Dima , D Razafindramary , T Soriano\",\"doi\":\"10.1016/0066-4138(94)90014-0\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>The Statechart and Grafcet synchronous models are compared in view of their application to the control of hybrid systems. The Cruise Control case study emphasises the specific features and similarities of both methods. The simulation of the Grafcet model uses an original algorithm. Issues about the coherent management of variables in hybrid systems are raised.</p></div>\",\"PeriodicalId\":100097,\"journal\":{\"name\":\"Annual Review in Automatic Programming\",\"volume\":\"18 \",\"pages\":\"Pages 73-79\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/0066-4138(94)90014-0\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annual Review in Automatic Programming\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/0066413894900140\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annual Review in Automatic Programming","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0066413894900140","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

比较了Statechart和Grafcet同步模型在混合系统控制中的应用。巡航控制案例研究强调了两种方法的具体特点和相似之处。对Grafcet模型的仿真使用了一种新颖的算法。提出了混合系统中变量的连贯管理问题。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Hybrid systems modelling and validating using Statecharts and Grafcet

The Statechart and Grafcet synchronous models are compared in view of their application to the control of hybrid systems. The Cruise Control case study emphasises the specific features and similarities of both methods. The simulation of the Grafcet model uses an original algorithm. Issues about the coherent management of variables in hybrid systems are raised.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Annual Review in Automatic Programming

自引率

0.00%

发文量