Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2008.14.3.213

Reconfiguration method for Supervisor Control in Deadlock status Using FSSTP(Forbidden Sequence of State Transition Problem)  

Song, Yu-Jin (창원대학교)
Lee, Eun-Joo (한양대학교)
Lee, Jong-Kun (창원대학교)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.14, no.3, 2008 , pp. 213-220 More about this Journal
Abstract
The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.
Keywords
reconfiguration; supervisor control; petri nets; discrete event system; forbidden sequences of state-transitions problem; deadlock avoidance petri net; constrained synchronous reachability graph;
Citations & Related Records
연도 인용수 순위
  • Reference
1 A. Ghaffari, N. Rezg, and X. Xie, "Algebraic and geometric characterization of petri net controllers using the theory of regions," Proceeding of the 2002 Sixth International Workshop on Discrete Event Systems-WODES'02, reims, France, 2002
2 A. Ghaffari, N. Rezg, and X. Xie, "Live and maximally permissive controller synthesis using theory of regions," in Synthesis and Control of Discrete Event Systems, B. Caillaud et al. (eds). Kluwer Academic Publishers, pp. 155-166, 2002
3 E. J. Lee, A. Toguyéni, and N. Dangoumau, "Petri net based controllers for forbidden sequences of state-transitions in the control of flexible manufacturing systems," Conceptual Modeling and Simulation Conference-CMS 2005, Marseilles, France, October 20-22, 2005
4 E. J. Lee, A. Toguyéni, and N. Dangoumau, "A petri net based decentralized synthesis approach for the control of flexible manufacturing systems," 4th MultiConference on Computational Engineering in Systems Applications-CESA 2006, Beijing, China, October 4-6, 2006
5 P. J. Ramadge and W. M. Wonham, " Supervisory control of a class of discrete event processes," SIAM Journal on Control and Optimization, vol. 25, no. 1, January 1987
6 P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control and Optimization, vol. 25, no. 1, January 1987
7 Y. J. Song and J. K. Lee, "The study on the deadlock avoidance using the DAPN and the adjacency matrix," Journal of the Korea Society for Simulation, vol. 15, no. 1, March 2006