메뉴 건너뛰기




Volumn 51, Issue 5, 2006, Pages 782-793

Nonblocking supervisory control of state tree structures

Author keywords

Discrete event system; Nonblocking supervisory control; State tree structure (STS); Symbolic computation

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS;

EID: 33646912441     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2006.875030     Document Type: Article
Times cited : (104)

References (23)
  • 1
    • 0023104549 scopus 로고
    • "Supervisory control of a class of discrete event processes"
    • P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
    • (1987) SIAM J. Control Optim. , vol.25 , Issue.1 , pp. 206-230
    • Ramadge, P.J.1    Wonham, W.M.2
  • 2
    • 0034294056 scopus 로고    scopus 로고
    • "On the complexity of supervisory control design in the RW framework"
    • Sep
    • P. Gohari and W. M. Wonham, "On the complexity of supervisory control design in the RWframework," IEEE Trans. Syst., Man, Cybern., vol. 30, no. 5, pp. 643-652, Sep. 2000.
    • (2000) IEEE Trans. Syst., Man, Cybern. , vol.30 , Issue.5 , pp. 643-652
    • Gohari, P.1    Wonham, W.M.2
  • 3
    • 0023365727 scopus 로고
    • "Statecharts: A visual formalism for complex systems"
    • Jun
    • D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Comp. Program., vol. 8, pp. 231-274, Jun. 1987.
    • (1987) Sci. Comp. Program. , vol.8 , pp. 231-274
    • Harel, D.1
  • 4
    • 0008234870 scopus 로고
    • "Top-down design for RW supervisory control theory"
    • M.S. thesis, Dept. Elect. Comp. Eng., Univ. Toronto, Toronto, ON Canada
    • B. Wang, "Top-down design for RW supervisory control theory," M.S. thesis, Dept. Elect. Comp. Eng., Univ. Toronto, Toronto, ON, Canada, 1995.
    • (1995)
    • Wang, B.1
  • 8
    • 0027887517 scopus 로고
    • "Control of discrete event systems modeled as hierarchical state machines"
    • Dec
    • Y. Brave and M. Heymann, "Control of discrete event systems modeled as hierarchical state machines," IEEE Trans. Autom. Control, vol. 38, no. 12, pp. 1803-1819, Dec. 1993.
    • (1993) IEEE Trans. Autom. Control , vol.38 , Issue.12 , pp. 1803-1819
    • Brave, Y.1    Heymann, M.2
  • 9
    • 0036993494 scopus 로고    scopus 로고
    • "Supervisory control problems of hierarchical finite state machines"
    • Las Vegas, NV
    • H. Marchand and B. Gaudin, "Supervisory control problems of hierarchical finite state machines," in Proc. 41st IEEE Conf. Decision and Control, Las Vegas, NV, 2002, pp. 1199-1204.
    • (2002) Proc. 41st IEEE Conf. Decision and Control , pp. 1199-1204
    • Marchand, H.1    Gaudin, B.2
  • 11
    • 23944527360 scopus 로고    scopus 로고
    • "A symbolic approach to the supervision of state tree structures"
    • Limassol, Cyprus, Jun. TuM04.5
    • C. Ma and W. M. Wonham, "A symbolic approach to the supervision of state tree structures," in Proc. 13th Mediterranean Conf. Control and Automation, Limassol, Cyprus, Jun. 2005, TuM04.5, p. 6.
    • (2005) Proc. 13th Mediterranean Conf. Control and Automation , pp. 6
    • Ma, C.1    Wonham, W.M.2
  • 12
    • 0022769976 scopus 로고
    • "Graph-based algorithms for Boolean function manipulation"
    • Aug
    • R. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. Comput., vol. C-35, no. 8, pp. 677-691, Aug. 1986.
    • (1986) IEEE Trans. Comput. , vol.C-35 , Issue.8 , pp. 677-691
    • Bryant, R.1
  • 15
    • 0003675777 scopus 로고    scopus 로고
    • "Symbolic methods and tools for discrete event dynamic systems"
    • Ph.D. dissertation, Linköping Studies in Science and Technology, Linköping, Sweden
    • J. Gunnarsson, "Symbolic methods and tools for discrete event dynamic systems," Ph.D. dissertation, Linköping Studies in Science and Technology, Linköping, Sweden, 1997.
    • (1997)
    • Gunnarsson, J.1
  • 16
    • 33646908618 scopus 로고    scopus 로고
    • "Nonblocking supervisory control of state tree structures"
    • Ph.D. dissertation, Univ. Toronto, Toronto, ON, Canada
    • C. Ma, "Nonblocking supervisory control of state tree structures," Ph.D. dissertation, Univ. Toronto, Toronto, ON, Canada, 2004.
    • (2004)
    • Ma, C.1
  • 18
    • 21444460520 scopus 로고    scopus 로고
    • Supervisory control of discrete-event systems
    • Dept. Elect. Comp. Eng. Univ. Toronto, Toronto, ON, Canada. [Online]. Available
    • W. M. Wonham. (2004) Supervisory control of discrete-event systems. Dept. Elect. Comp. Eng., Univ. Toronto, Toronto, ON, Canada. [Online]. Available: http://www.control.utoronto.ca/DES
    • (2004)
    • Wonham, W.M.1
  • 20
    • 0038220797 scopus 로고    scopus 로고
    • BuDDy: Binary decision diagram package
    • IT-University of Copenhagen (ITU), Copenhagen, Denmark. [Online]. Available
    • J. Lind-Nielsen. BuDDy: Binary decision diagram package. IT-University of Copenhagen (ITU), Copenhagen, Denmark. [Online]. Available: http:// www.it-c.dk/research/buddy/
    • Lind-Nielsen, J.1


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