A framework for fault-tolerant control of discrete event systems

IEEE Transactions on Automatic Control

Volumn 53, Issue 8, 2008, Pages 1839-1849

  Wen, Qin ^a   Kumar, Ratnesh ^a   Huang, Jing ^a   Liu, Haifeng ^a  

^a Iowa State University   (United States)

Author keywords

Discrete event systems; Fault tolerance; Language convergence; Stability; Supervisory control

Indexed keywords

ELECTRIC POWER SYSTEMS; FAULT TOLERANCE; LINGUISTICS; PLANT SHUTDOWNS; QUALITY ASSURANCE; SCADA SYSTEMS; SPECIFICATIONS; SYSTEM STABILITY; TRAJECTORIES;

A-PLANT; BOUNDED DELAYS; DEGRADED PERFORMANCES; DISCRETE; DISCRETE EVENT SYSTEMS; FAULT-TOLERANT; FAULT-TOLERANT CONTROLS; LANGUAGE CONVERGENCE; NECESSARY AND SUFFICIENT CONDITIONS; PLANT MODELS; POWER SYSTEMS; SUBMODEL; SUPERVISORY CONTROL; SUPERVISORY CONTROLS; SYSTEM STATES; UNIFORMLY BOUNDED;

RELIABILITY;

EID: 54049150303     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2008.929388     Document Type: Article

References (22)

1. P. M. Anderson and A. A. Fouad, Power System Control and Stability New York: IEEE Press, 1994.
2. A. Arora and M. Gouda, "Closure and convergence: A foundation of fault-tolerant computing," IEEE Trans. Software Eng., Special Issue Software Rel., vol. 19, no. 11, pp. 1015-1027, Nov. 1993.
3. A. Arora and S. S. Kulkarni, "Component based design of multitolerant systems," IEEE Trans. Software Eng., vol. 24, no. 1, pp. 63-78, Jan. 1998.
4. P. C. Attie, A. Arora, and E. A. Emerson, "Synthesis of fault-tolerant concurrent programs," ACM Trans. Programm. Languages Syst., vol. 26, no. 1, pp. 125-185, 2004.
5. Y. Brave and M. Heymann, "On stabilization of discrete event processes," Int. J. Control, vol. 51, no. 5, pp. 1101-1117, 1990.
6. K-H. Cho and J.-T. Lim, "Failure diagnosis and fault tolerant supervisory control systems," IEICE Trans. Inform. Syst., vol. E79-D, no. 9, pp. 1223-1231, 1996.
7. K-H. Cho and J.-T. Lim, "Synthesis of fault tolerant supervisor for automated manufacturing systems: A case study on photolithographic process," IEEE Trans. Robot. Automat., vol. 14, no. 2, pp. 348-351, Apr. 1998.
8. H. Darabi, M. A. Jafari, and A. L. Buczak, "A control switching theory for supervisory control of discrete event systems," IEEE Trans. Robot. Automat., vol. 19, no. 1, pp. 131-137, Feb. 2003.
9. D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, and A. E. Lindsey, "Communication protocols for a fault-tolerant automated highway system," IEEE Trans. Control Syst. Technol., vol. 8, no. 5, pp. 787-800, Sep. 2000.
10. M. V. Iordache and P. J. Antsaklis, "Resilience to failure and reconfigurations in the supervision based on place invariants," in Proc. Amer. Control Conf., 2004, pp. 4477-4482.
11. R. M. Jensen, DES Controller Synthesis and Fault Tolerant Control: A Survey of Recent Advances IT Univ. of Copenhagen, Copenhagen, Denmark, Tech. Rep. TR-2003-40, 2003.
12. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. Boston, MA: Kluwer, 1995.
13. R. Kumar, V. K. Garg, and S. I. Marcus, "Language stability and stabilizability of discrete event dynamical systems," SIAM J. Control Optim., vol. 31, no. 5, pp. 1294-1320, Sep. 1993.
14. S. Lafortune and F. Lin, "On tolerable and desirable behaviors in supervisory control of discrete event systems," Discrete Event Dynam. Syst.: Theory Appl., vol. 1, no. 1, pp. 61-92, 1991.
15. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inform. Sci., vol. 44, no. 3, pp. 173-198, 1988.
16. J. Lygeros, D. N. Godbole, and M. Broucke, "A fault tolerant control architecture for automated highway system," IEEE Trans. Control Syst. Technol., vol. 8, no. 2, pp. 205-219, Mar. 2000.
17. C. M. Özveren, A. S. Willsky, and P. J. Antsaklis, "Stability and stabilizability of discrete event dynamical systems," J. ACM, vol. 38, no. 3, pp. 730-752, Jul. 1991.
18. 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.
19. K. R. Rohloff, "Sensor failure tolerant supervisory control," in Proc. 44th IEEE Conf. Decision Control, Eur. Control Conf., 2005, pp. 3493-3498.
20. S. Takai and T. Ushio, "Reliable decentralized supervisory control of discrete event systems," IEEE Trans. System, Man, Cybern. B, vol. 30, no. 5, pp. 661-667, Oct. 2000.
21. Y. Willner and M. Heymann, "Language convergence in controlled discrete-event systems," IEEE Trans. Automat. Control, vol. 40, no. 4, pp. 616-627, Apr. 1995.
22. M. C. Zhou and F. Dicesare, "Adaptive design of petri net controllers for error recovery in automated manufacturing systems," IEEE Trans. Syst., Man Cybern., vol. SMC-19, no. 5, pp. 963-973, Sep./Oct. 1989.