메뉴 건너뛰기




Volumn 73, Issue , 2011, Pages 167-173

From forbidden states to linear constraints

Author keywords

Constraint; Discrete event system; Petri net; Supervisory control

Indexed keywords

CONSTRAINT; DISCRETE EVENT SYSTEM; FORBIDDEN STATE; LINEAR CONSTRAINTS; PETRI NET MODELS; SUPERVISORY CONTROL; SYSTEMATIC METHOD;

EID: 79953013561     PISSN: 2010376X     EISSN: 20103778     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (6)

References (13)
  • 2
    • 0024479313 scopus 로고
    • The control of discrete event systems, Dynamics of discrete event systems [Special issue]
    • P. Ramadge, W. Wonham, The control of discrete event systems, Dynamics of discrete event systems [Special issue]. Proceedings of the IEEE, 1989, 77(1), 81-98.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.1 , pp. 81-98
    • Ramadge, P.1    Wonham, W.2
  • 4
    • 0033691246 scopus 로고    scopus 로고
    • Petri net supervisor for DES with uncontrollable and unobservable transition
    • J. Moody, P. Antsaklis, Petri net supervisor for DES with uncontrollable and unobservable transition, IEEE Trans. Automatic Control, 2000, 45(3): 462-476.
    • (2000) IEEE Trans. Automatic Control , vol.45 , Issue.3 , pp. 462-476
    • Moody, J.1    Antsaklis, P.2
  • 5
    • 0026190235 scopus 로고
    • Synthesis of feedback control logic for discrete manufacturing systems
    • B. Krogh, L. Holloway, Synthesis of feedback control logic for discrete manufacturing systems, Automatica, 1991, vol. 27, no. 4, pp. 641-651.
    • (1991) Automatica , vol.27 , Issue.4 , pp. 641-651
    • Krogh, B.1    Holloway, L.2
  • 6
    • 0030164453 scopus 로고    scopus 로고
    • A Generalisation of state avoidance Policies for Controlled Petri Nets
    • AC-41, 6
    • L. Holloway, X. Guan, and L. Zhang, A Generalisation of state avoidance Policies for Controlled Petri Nets, IEEE Trans. Autom. Control, 1996, AC-41, 6, 804- 816.
    • (1996) IEEE Trans. Autom. Control , pp. 804-816
    • Holloway, L.1    Guan, X.2    Zhang, L.3
  • 7
    • 0037325786 scopus 로고    scopus 로고
    • Design of live and maximally permissive petri net controller using the theory of regions
    • A. Ghaffari, N. Rezg, and X. Xie, Design of live and maximally permissive petri net controller using the theory of regions, IEEE Transactions on Robotics and Automation, 2003, 19(1).
    • (2003) IEEE Transactions on Robotics and Automation , vol.19 , Issue.1
    • Ghaffari, A.1    Rezg, N.2    Xie, X.3
  • 8
    • 0029734328 scopus 로고    scopus 로고
    • Feedback control of petri nets based on place invariants
    • K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, Feedback control of petri nets based on place invariants, Automatica, 1996, 32(1), 15-28.
    • (1996) Automatica , vol.32 , Issue.1 , pp. 15-28
    • Yamalidou, K.1    Moody, J.2    Lemmon, M.3    Antsaklis, P.4
  • 10
    • 45849116637 scopus 로고    scopus 로고
    • From forbidden state to linear constraints for the optimal supervisory control
    • A. Dideban, and H. Alla, From forbidden state to linear constraints for the optimal supervisory control, Control Engineering and applied Informaics (CEAI), 2005, 7(3), 48-55.
    • (2005) Control Engineering and Applied Informaics (CEAI) , vol.7 , Issue.3 , pp. 48-55
    • Dideban, A.1    Alla, H.2
  • 11
    • 45849141927 scopus 로고    scopus 로고
    • Reduction of Constraints for Controller Synthesis based on Safe Petri Nets
    • A. Dideban, and H. Alla, Reduction of Constraints for Controller Synthesis based on Safe Petri Nets, Automatica, 2008, 44(7): 1697-1706.
    • (2008) Automatica , vol.44 , Issue.7 , pp. 1697-1706
    • Dideban, A.1    Alla, H.2
  • 13
    • 0030082976 scopus 로고    scopus 로고
    • Supervisory control of deterministic Petri nets with regular specification languages
    • R. Kumar, L. Holloway, Supervisory control of deterministic Petri nets with regular specification languages, IEEE Trans. Automatic Control, 1996 41(2):245-249.
    • (1996) IEEE Trans. Automatic Control , vol.41 , Issue.2 , pp. 245-249
    • Kumar, R.1    Holloway, L.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.