SEARCH WITHIN CONTENT
Citation Information : International Journal on Smart Sensing and Intelligent Systems. Volume 9, Issue 4, Pages 2,010-2,031, DOI: https://doi.org/10.21307/ijssis-2017-950
License : (CC BY-NC-ND 4.0)
Received Date : 17-August-2016 / Accepted: 03-November-2016 / Published Online: 01-December-2016
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.
 Y. He, and B. Xiao. "Research of the forklift power-assisted steering system based on safety
steering speed control." International Journal on Smart Sensing & Intelligent Systems, vol.8, no.1,
pp.749-765, September 2015.
 Y. Meng, et al. "Design and implementation of intelligent integrated measuring and
controlling system for sugar cane crystallization process." International Journal on Smart Sensing
& Intelligent Systems, vol.8, no.3, pp.1687-1705, March 2015.
 Sazilah Salleh, M. F. Rahmat, and S. M. Othman. "Review on modeling and controller design
of hydraulic actuator systems." International Journal on Smart Sensing & Intelligent Systems,
vol.8, no.1, pp.338-367, September 2015.
 W. M. Wonham, Supervisory control of discrete-event systems, http://www. control . toronto.
edu/ DES, Updated 2015.07.01.
 C. G. Cassandras and S. Lafortune, "Introduction to Discrete Event Systems." Kluwer
International vol.11, no.94, pp.369–375, December 2006.
 R. Cieslak, C. Desclaux and A.S. Fawaz, et al, "Supervisory control of discrete-event
processes with partial observations," IEEE Transactions on Automatic Control, vol.33,
no.3,pp.249-260, March 2010.
 Abdelhakim Khatab, "The supervisory control of Timed Discrete Event Systems In the
Operational Safety context." The Workshop on Discrete Event Systems, 1998.
 R. Y. Zhang, K. Cai and Y. Gan, et al, “Supervision localization of timed discrete-event
systems”, Automatica, vol.49, no.9, pp.2786-2794, September 2013.
 K. Schmidt, H. Marchand, and B. Gaudin, “Modular and decentralized supervisory control of
concurrent discrete event systems using reduced system models,” Discrete Event Systems, 8th
International Workshop on. IEEE, pp. 149-154, 2006.
 R. J. Leduc, M. Lawford and P. Dai, “Hierarchical interface-based supervisory control of a
flexible manufacturing system”, IEEE Trans. Control Systems Technology, vol.14, no.4, pp. 654-
668, April 2006.
 M. Z. Fekri and S. Hashtrudi-Zad. "Hierarchical robust supervisory control of discrete-event
systems," American Control Conference Westin Seattle Hotel, Seattle, Washington, USA,
pp.1178-1183, June 11-13, 2008.
 S. Takai and T. Ushio, “Supervisory control of a class of concurrent discrete event systems”,
IEICE Trans. Fundam., vol.87, no.3, pp. 850-855, March 2004.
 R. Su, “Supervisory control of concurrent discrete-event systems”, 50th IEEE Conference on
Decision and Control and European Control Conference, pp.1811-1816, December 2011.
 X. Wang, Z. Li, and W. M. Wonham. "Dynamic Multiple-Period Reconfiguration of Real-
Time Scheduling Based on Timed DES Supervisory Control." IEEE Transactions on Industrial
Informatics, vol.12, no.1, pp.101-111, January 2016.
 Hrúz, M. C. Zhou. Modeling and control of discrete-event dynamic systems: With petri nets
and other tools, Springer, 2007.
 M. dos Santos Soares, “Modeling and analysis of discrete event systems using a Petri net
component. Systems”, 2011 IEEE International Conf. on Man, and Cybernetics (SMC), pp.814-
819, October 2011.
 Z. W. Li, M. C. Zhou, “Deadlock resolution in automated manufacturing systems: a novel
Petri net approach”, Springer, 2009.
 A. Jayasiri, G. K. Mann, and R. G. Gosine, “Behavior coordination of mobile robotics using
supervisory control of fuzzy discrete event systems,” IEEE Trans. on Systems, Man, and
Cybernetics, Part B: Cybernetics, vol. 41, no. 5, pp. 1224-1238, May 2011.
 C. Yao and C. G. Cassandras, “Using infinitesimal perturbation analysis of stochastic flow
models to recover performance sensitivity estimates of discrete event systems,” Discrete Event
Dynamic Systems, vol. 22, no. 2, pp. 197-219, August 2012.
 R. Su, J. H. van Schuppen, and J. E. Rooda, “Model abstraction of nondeterministic finitestate
automata in supervisor synthesis,” IEEE Trans. on Autom. Control, vol.55, no.11, pp. 2527-
2541, November 2010.
 C. H. Chen, C. M. Kuo, and C. Y. Chen, “The design and synthesis using hierarchical
robotic discrete-event modeling,” Journal of Vibration and Control, vol. 19, no. 11, pp. 1603-
1613, October 2013.