<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>In a discrete-event system, more than one sensor will create more than one event. Several events may happen at the same time parallelly. Events in different parallel branches are irrelevant and it will lead states explosions if mixing them together and enumerating all possible arrangements. A system with parallel sequences has multi-threads and can be dealt with as a whole. In this paper, after analyzing the process of discrete-event systems, the new model is established as a 5-tuple set, which is called a generator with multi-threads. The new generator will generate structured languages which are in accordance with the sequences of the process. The controllability of the structured languages is defined and the theorem about the existence of the supervisor for given languages is presented and proved. 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 two examples shown in Section VI, the new model and supervisor theory for multi-sensors and multi-states discrete-event system are more convenient and natural than that of the traditional theories.</p>
</abstract>

In a discrete-event system, more than one sensor will create more than one event. Several events may happen at the same time parallelly. Events in different parallel branches are irrelevant and it will lead states explosions if mixing them together and enumerating all possible arrangements. A system with parallel sequences has multi-threads and can be dealt with as a whole. In this paper, after analyzing the process of discrete-event systems, the new model is established as a 5-tuple set, which is called a generator with multi-threads. The new generator will generate structured languages which are in accordance with the sequences of the process. The controllability of the structured languages is defined and the theorem about the existence of the supervisor for given languages is presented and proved. 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 two examples shown in Section VI, the new model and supervisor theory for multi-sensors and multi-states discrete-event system are more convenient and natural than that of the traditional theories.

Modeling and Optimal Supervision of Multi Sensors and Multi-States Discrete-Event Systems with Structured Languages

International Journal on Smart Sensing and Intelligent Systems

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

In a discrete-event system, more than one sensor will create more than one event. Several events may happen at the same time parallelly. Events in different...

Modeling and Optimal Supervision of Multi Sensors and Multi-States Discrete-Event Systems with Structured Languages

Published Online: Dec 01, 2016

Page range: 2010 - 2031

Received: Aug 17, 2016

Accepted: Sep 03, 2016

DOI: https://doi.org/10.21307/ijssis-2017-950

Keywords
Discrete-event system, multi-sensors and multi-states, structured languages, supervisory control

© 2016 Shunping Ji et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Modeling and Optimal Supervision of Multi Sensors and Multi-States Discrete-Event Systems with Structured Languages

Published Online: Dec 01, 2016

Page range: 2010 - 2031

Received: Aug 17, 2016

Accepted: Sep 03, 2016

DOI: https://doi.org/10.21307/ijssis-2017-950

KeywordsDiscrete-event system, multi-sensors and multi-states, structured languages, supervisory control

© 2016 Shunping Ji et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Keywords
Discrete-event system, multi-sensors and multi-states, structured languages, supervisory control