R Boissier , B Dima , D Razafindramary , T Soriano
{"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}
引用次数: 0
Abstract
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.