{"title":"工程结构多级离散事件系统的控制","authors":"J. Komenda, Tomas Masopust, J. H. Schuppen","doi":"10.1109/WODES.2016.7497833","DOIUrl":null,"url":null,"abstract":"Control of a multilevel system is developed for a discrete-event system (DES) structured by an engineering model. In a multilevel system, each subsystem has a set of children at the next-lower level and a unique parent at the next-higher level. A coordinated multilevel DES is defined by the condition that a parent also is involved in the interaction of each tuple of its children. Control synthesis is carried out per subsystem. If the specification language is conditionally decomposable, conditionally controllable, and conditionally normal then there exists a set of supervisors such that the closed-loop system of the multilevel system meets the specification. The complexity gain is considerable. The examples of an MRI scanner and of a vehicle system illustrate the approach.","PeriodicalId":268613,"journal":{"name":"2016 13th International Workshop on Discrete Event Systems (WODES)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":"{\"title\":\"Control of an engineering-structured multilevel discrete-event system\",\"authors\":\"J. Komenda, Tomas Masopust, J. H. Schuppen\",\"doi\":\"10.1109/WODES.2016.7497833\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Control of a multilevel system is developed for a discrete-event system (DES) structured by an engineering model. In a multilevel system, each subsystem has a set of children at the next-lower level and a unique parent at the next-higher level. A coordinated multilevel DES is defined by the condition that a parent also is involved in the interaction of each tuple of its children. Control synthesis is carried out per subsystem. If the specification language is conditionally decomposable, conditionally controllable, and conditionally normal then there exists a set of supervisors such that the closed-loop system of the multilevel system meets the specification. The complexity gain is considerable. The examples of an MRI scanner and of a vehicle system illustrate the approach.\",\"PeriodicalId\":268613,\"journal\":{\"name\":\"2016 13th International Workshop on Discrete Event Systems (WODES)\",\"volume\":\"23 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"18\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 13th International Workshop on Discrete Event Systems (WODES)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WODES.2016.7497833\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 13th International Workshop on Discrete Event Systems (WODES)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WODES.2016.7497833","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Control of an engineering-structured multilevel discrete-event system
Control of a multilevel system is developed for a discrete-event system (DES) structured by an engineering model. In a multilevel system, each subsystem has a set of children at the next-lower level and a unique parent at the next-higher level. A coordinated multilevel DES is defined by the condition that a parent also is involved in the interaction of each tuple of its children. Control synthesis is carried out per subsystem. If the specification language is conditionally decomposable, conditionally controllable, and conditionally normal then there exists a set of supervisors such that the closed-loop system of the multilevel system meets the specification. The complexity gain is considerable. The examples of an MRI scanner and of a vehicle system illustrate the approach.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
