期刊名称:International Journal on Smart Sensing and Intelligent Systems
印刷版ISSN:1178-5608
出版年度:2016
卷号:9
期号:4
页码:2010-2031
出版社:Massey University
摘要:In a discrete-event system, more than one sensor will create more than one event. Severalevents may happen at the same time parallelly. Events in different parallel branches are irrelevant andit will lead states explosions if mixing them together and enumerating all possible arrangements. Asystem with parallel sequences has multi-threads and can be dealt with as a whole. In this paper, afteranalyzing the process of discrete-event systems, the new model is established as a 5-tuple set, which iscalled a generator with multi-threads. The new generator will generate structured languages which arein accordance with the sequences of the process. The controllability of the structured languages isdefined and the theorem about the existence of the supervisor for given languages is presented andproved. For given specifications, the method to solve the supervisor is presented. With the new model,the states of the total system will not explode when two or more systems synchronizing. From twoexamples shown in Section VI, the new model and supervisor theory for multi-sensors and multi-statesdiscrete-event system are more convenient and natural than that of the traditional theories.
关键词:Discrete-event system; multi-sensors and multi-states; structured languages; supervisory control.