메뉴 건너뛰기




Volumn 3645, Issue PART II, 2005, Pages 655-664

Fault tolerant supervisory for discrete event systems based on event observer

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONTROL THEORY; DISCRETE TIME CONTROL SYSTEMS; LINEAR ALGEBRA; ONLINE SYSTEMS; PETRI NETS;

EID: 27144557285     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538356_68     Document Type: Conference Paper
Times cited : (3)

References (13)
  • 2
    • 0038631985 scopus 로고    scopus 로고
    • Diagnosis of asynchronous discrete-event systems: A net unfolding approach
    • Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard: Diagnosis of Asynchronous Discrete-event Systems: A Net Unfolding Approach. IEEE Transactions on Automatic Control, (2003) 48 (5):714-727
    • (2003) IEEE Transactions on Automatic Control , vol.48 , Issue.5 , pp. 714-727
    • Benveniste, A.1    Fabre, E.2    Haar, S.3    Jard, C.4
  • 3
    • 0036160505 scopus 로고    scopus 로고
    • Diagnosing discrete-event systems: Extending the 'diagnoser approach' to deal with telecommunication networks
    • Laurence Roze, Marie-Odile Cordier: Diagnosing Discrete-event Systems: Extending the 'Diagnoser Approach' to Deal with Telecommunication Networks. Discrete Event Dynamic Systems: Theory and Applications, (2002) 12 (1): 43-81
    • (2002) Discrete Event Dynamic Systems: Theory and Applications , vol.12 , Issue.1 , pp. 43-81
    • Roze, L.1    Cordier, M.-O.2
  • 4
    • 0036741895 scopus 로고    scopus 로고
    • Observability of place/transition nets
    • Alessandro Giua, Carla Seatzu: Observability of Place/Transition Nets. IEEE Transactions on Automatic Control, (2002) 47 (9): 1424-1437
    • (2002) IEEE Transactions on Automatic Control , vol.47 , Issue.9 , pp. 1424-1437
    • Giua, A.1    Seatzu, C.2
  • 5
    • 0742269304 scopus 로고    scopus 로고
    • Observer-based state-feedback control of timed petri nets with deadlock recovery
    • Alessandro Giua, Carla Seatzu, Fransesco Basile: Observer-based State-feedback Control of Timed Petri Nets with Deadlock Recovery. IEEE Transactions on Automatic Control, (2004) 49(1): 17-29
    • (2004) IEEE Transactions on Automatic Control , vol.49 , Issue.1 , pp. 17-29
    • Giua, A.1    Seatzu, C.2    Basile, F.3
  • 6
    • 0032048390 scopus 로고    scopus 로고
    • Synthesis of fault-tolerant supervisor for automated manufacturing systems: A case study on photolithographic process
    • Kwang-Hyun Cho, Jong-Tae Lim: Synthesis of Fault-tolerant Supervisor for Automated Manufacturing Systems: A Case Study on Photolithographic Process. IEEE Transactions on Robotics and Automation, (1998) 14 (2):348-351
    • (1998) IEEE Transactions on Robotics and Automation , vol.14 , Issue.2 , pp. 348-351
    • Cho, K.-H.1    Lim, J.-T.2
  • 7
    • 0034588668 scopus 로고    scopus 로고
    • Fault-tolerant supervisory control under C, D observability and its application
    • Kwang-Hyun Cho, Jong-Tae Lim: Fault-tolerant Supervisory Control under C, D Observability and Its Application. International Journal of Systems Science, (2000) 31 (12): 1573-1583
    • (2000) International Journal of Systems Science , vol.31 , Issue.12 , pp. 1573-1583
    • Cho, K.-H.1    Lim, J.-T.2
  • 8
    • 0032688338 scopus 로고    scopus 로고
    • Fault-tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell
    • Seong-Jin Park, Jong-Tae Lim: Fault-tolerant Robust Supervisor for Discrete Event Systems with Model Uncertainty and Its Application to a Workcell. IEEE Transactions on Robotics and Automation, (1999) 15 (2):386-391
    • (1999) IEEE Transactions on Robotics and Automation , vol.15 , Issue.2 , pp. 386-391
    • Park, S.-J.1    Lim, J.-T.2
  • 9
    • 0030164453 scopus 로고    scopus 로고
    • A generalization of state avoidance policies for controlled petri nets
    • L. E. Holloway, X. Guan, and L. Zhang: A Generalization of State Avoidance Policies for Controlled Petri Nets. IEEE Transactions on Automatic Control, (1996) 41 (6):804-816
    • (1996) IEEE Transactions on Automatic Control , vol.41 , Issue.6 , pp. 804-816
    • Holloway, L.E.1    Guan, X.2    Zhang, L.3
  • 10
    • 0023104549 scopus 로고
    • Supervisory control of a class of discrete event processes
    • P. J. Ramadge, W. M. Wonham: Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimal, (1987) 25 (1):206-230
    • (1987) SIAM Journal of Control and Optimal , vol.25 , Issue.1 , pp. 206-230
    • Ramadge, P.J.1    Wonham, W.M.2
  • 11
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Tadao Murata: Petri Nets: Properties, Analysis and Applications. Proceedings of IEEE, (1989) 77 (4):541-579
    • (1989) Proceedings of IEEE , vol.77 , Issue.4 , pp. 541-579
    • Murata, T.1
  • 12
    • 27144548834 scopus 로고    scopus 로고
    • Tolerable fault detectability for discrete event systems
    • accepted by
    • Fei Xue, Da-Zhong Zheng: Tolerable Fault Detectability for Discrete Event Systems accepted by ICCA05
    • ICCA05
    • Xue, F.1    Zheng, D.-Z.2


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