메뉴 건너뛰기




Volumn 29, Issue 6, 1999, Pages 573-586

A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0011798295     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.798061     Document Type: Article
Times cited : (37)

References (25)
  • 1
    • 0024622345 scopus 로고
    • Technology forecast for CIM
    • R. U. Ayres, "Technology forecast for CIM," Manuf. Rev., vol. 2, no. 1, pp. 43-52, 1989.
    • (1989) Manuf. Rev. , vol.2 , Issue.1 , pp. 43-52
    • Ayres, R.U.1
  • 3
    • 0022890715 scopus 로고
    • On the formal specification and verification of CIM architectures using LOTOS
    • F. Biemans and P. Blonk, "On the formal specification and verification of CIM architectures using LOTOS," Comput. Ind., vol. 7, pp. 491-504, 1986.
    • (1986) Comput. Ind. , vol.7 , pp. 491-504
    • Biemans, F.1    Blonk, P.2
  • 7
    • 0026114282 scopus 로고
    • Modeling flexible manufacturing systems: The concurrent logic programming approach
    • Feb.
    • Y. Dotan and D. Ben-Arieh, "Modeling flexible manufacturing systems: The concurrent logic programming approach," IEEE Trans. Robot. Automat., vol. 7, pp. 135-148, Feb. 1991.
    • (1991) IEEE Trans. Robot. Automat. , vol.7 , pp. 135-148
    • Dotan, Y.1    Ben-Arieh, D.2
  • 9
    • 0028416289 scopus 로고
    • Petri net structured analysis for supervisory control
    • Apr.
    • A. Giua and F. DiCesare, "Petri net structured analysis for supervisory control," IEEE Trans. Robot. Automat., vol. 10, pp. 185-195, Apr. 1994.
    • (1994) IEEE Trans. Robot. Automat. , vol.10 , pp. 185-195
    • Giua, A.1    DiCesare, F.2
  • 10
    • 0029304715 scopus 로고
    • Decidability and closure properties of weak Petri net languages in supervisory control
    • May
    • A. Giua and F. DiCesare, "Decidability and closure properties of weak Petri net languages in supervisory control," IEEE Trans. Automat. Contr., vol. 40, pp. 906-910, May 1995.
    • (1995) IEEE Trans. Automat. Contr. , vol.40 , pp. 906-910
    • Giua, A.1    DiCesare, F.2
  • 14
    • 0022717936 scopus 로고
    • The manufacturing game: A formal approach to manufacturing software
    • May/June
    • A. W. Naylor and M. C. Maletz, "The manufacturing game: A formal approach to manufacturing software," IEEE Trans. Syst., Man, Cybern., vol. SMC-16, pp. 321-334, May/June 1986.
    • (1986) IEEE Trans. Syst., Man, Cybern. , vol.SMC-16 , pp. 321-334
    • Naylor, A.W.1    Maletz, M.C.2
  • 15
    • 0011743838 scopus 로고    scopus 로고
    • Structured adaptive supervisory control of a flexible manufacturing system
    • May
    • R. G. Qiu and S. B. Joshi, "Structured adaptive supervisory control of a flexible manufacturing system," in Factory Automation Intelligent Manufacturing '96, pp. 800-809, May 1996.
    • (1996) Factory Automation Intelligent Manufacturing '96 , pp. 800-809
    • Qiu, R.G.1    Joshi, S.B.2
  • 17
    • 0023104549 scopus 로고
    • Supervisory control of a class of discrete event processes
    • Jan.
    • P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optimiz., Vol. 25, no. 1, pp. 206-230, Jan. 1987.
    • (1987) SIAM J. Contr. Optimiz. , vol.25 , Issue.1 , pp. 206-230
    • Ramadge, P.J.1    Wonham, W.M.2
  • 18
    • 0024479313 scopus 로고
    • The control of discrete event systems
    • Jan.
    • P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, Jan. 1989.
    • (1989) Proc. IEEE , vol.77 , pp. 81-98
    • Ramadge, P.J.1    Wonham, W.M.2
  • 19
    • 84880914393 scopus 로고
    • The complexity of some basic control problems for discrete event systems
    • M. J. Denham and A. J. Laub, Eds. Berlin, Germany: Springer-Verlag
    • P. J. Ramadge, "The complexity of some basic control problems for discrete event systems," Advanced Computing Concepts and Techniques in Control Engineering, M. J. Denham and A. J. Laub, Eds. Berlin, Germany: Springer-Verlag, 1988.
    • (1988) Advanced Computing Concepts and Techniques in Control Engineering
    • Ramadge, P.J.1
  • 21
    • 0030259026 scopus 로고    scopus 로고
    • A shop floor control architecture for computer integrated manufacturing
    • J. S. Smith, W. C. Hoberecht, and S. B. Joshi, "A shop floor control architecture for computer integrated manufacturing," IIE Trans., vol. 28, no. 10, pp. 783-794, 1996.
    • (1996) IIE Trans. , vol.28 , Issue.10 , pp. 783-794
    • Smith, J.S.1    Hoberecht, W.C.2    Joshi, S.B.3
  • 22
    • 0024774127 scopus 로고
    • On the control of discrete-event dynamic systems
    • T. J. Tsitsiklis, "On the control of discrete-event dynamic systems," Math. Contr., Sig. Syst., no. 2, pp. 95-107, 1989.
    • (1989) Math. Contr., Sig. Syst. , Issue.2 , pp. 95-107
    • Tsitsiklis, T.J.1
  • 23
    • 0025493273 scopus 로고
    • A coordination theory for intelligent machines
    • Sept.
    • F. Y. Wang and G. N. Dsaridis, "A coordination theory for intelligent machines," Automatica, vol. 26, pp. 833-844, Sept. 1990.
    • (1990) Automatica , vol.26 , pp. 833-844
    • Wang, F.Y.1    Dsaridis, G.N.2


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