Journal of Institute of Control, Robotics and Systems (제어로봇시스템학회논문지)

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지
DOI QR코드

DOI QR Code

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

순차상태전이금지(FSSTP)를 이용한 교착상태 관리제어를 위한 재구성 방법

  • Published : 2008.03.01
Download PDF
⟨ Previous Next ⟩

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

References

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  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