Embedded supervisory control of discrete-event systems

Proceedings of the 2005 IEEE Conference on Automation Science and Engineering, IEEE-CASE 2005

Volumn 2005, Issue , 2005, Pages 410-415

  Yang, Y ^a   Gohari, P ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Discrete event systems; Extended finite state machines; Protocol design; Supervisory control

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; FINITE AUTOMATA; NETWORK PROTOCOLS;

DISCRETE-EVENT SYSTEMS; EXTENDED FINITE STATE MACHINES; PROTOCOL DESIGN; SUPERVISORY CONTROL;

EMBEDDED SYSTEMS;

EID: 33745941935     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2005.1506804     Document Type: Conference Paper

References (10)

1. 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, pp. 206-230, 1987.
2. W. M. Wonham, "Supervisory control of discrete-event systems," http://www.control.toronto.edu/people/profs/wonham/wonham.html, 2004.
3. K.-T.Cheng and A.S.Krishnakumar, "Automatic generation of functionial vectors using the extended finite state machine model," ACM Transactions on Design Automation of Electronic Systems, vol. 1.1, no. 1, pp. 57-79, January 1996.
4. W. C. Lai, "Embedded software-based self-test for system-on-a-chip design," Ph.D. dissertation, UNIVERSITY OF CALIFORNIA, Santa Barbara, March 2002.
5. R. C.-Y. Huang and K.-T. Cheng, "A new extended finite state machine (efsm) model for rtl design verification," International HLDVT Workshop, pp. 47-53, November 1998.
6. Y.-L. Chen and F. Lin, "Safety control of discrete event systems using finite state machines with parameters," ACC01-IEEE1665, September 2000.
7. _, "Modeling of discrete event systems using finite state machines with parameters," Proc. 9th IEEE Intl. Conf. on Control Applications, September 2000.
8. W.C.Lynch, "Computer system: Reliable full-duplex file tranmisstion over half-duplex telephone line," Commun. ACM, vol. 11, no. 6, pp. 407-410, 1968.
9. K.A.Bartlett, R.A.Scantlebury, and P.T.Wilkinson, "A note on reliable full-duplex transmission over half-duplex links," Communications of the ACM, vol. 12, pp. 260-261, 1969.
10. P. Gohari, "Alternating bit protocol: A supervisory control perspective," in Decentralized Discrete Event Systems: Structure, Communication and Control, B. I. R. Station, Ed., May 2004.