메뉴 건너뛰기




Volumn 33, Issue 1, 2011, Pages 149-167

A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism

Author keywords

automated manufacturing systems; discrete event systems; fault detection; fault monitoring; hybrid Petri nets

Indexed keywords

ACCIDENT PREVENTION; AUTOMATION; DISCRETE EVENT SIMULATION; FAULT DETECTION; MANUFACTURE; ONLINE SYSTEMS; PETRI NETS;

EID: 79952018267     PISSN: 01423312     EISSN: None     Source Type: Journal    
DOI: 10.1177/0142331208095677     Document Type: Article
Times cited : (6)

References (17)
  • 1
    • 36348953215 scopus 로고    scopus 로고
    • Monitoring of a class of timed discrete events systems
    • IEEE International Conference on Robotics and Automation, Rome, 1003-1008
    • Allahham, A. and Alla, H. 2007: Monitoring of a class of timed discrete events systems. IEEE International Conference on Robotics and Automation, Rome, 1003-1008.
    • (2007)
    • Allahham, A.1    Alla, H.2
  • 3
    • 79960723036 scopus 로고    scopus 로고
    • A monitoring approach for discrete events systems based on a timed Petri net model
    • 16th IFAC World Congress, Prague
    • Ghazel, M., Toguèni, A. and Bigang, M. 2005: A monitoring approach for discrete events systems based on a timed Petri net model. 16th IFAC World Congress, Prague.
    • (2005)
    • Ghazel, M.1    Toguèni, A.2    Bigang, M.3
  • 4
    • 33847186246 scopus 로고    scopus 로고
    • Fault detection for discrete event systems using Petri nets with unobservable transitions
    • 44th IEEE Conference on Decision and Control and European Control Conference, Seville, 6323-28
    • Giua, A. and Seatzu, C. 2005: Fault detection for discrete event systems using Petri nets with unobservable transitions. 44th IEEE Conference on Decision and Control and European Control Conference, Seville, 6323-28.
    • (2005)
    • Giua, A.1    Seatzu, C.2
  • 5
    • 84958982586 scopus 로고    scopus 로고
    • Monitoring discrete event systems using Petri net embeddings
    • Hadjicostis, C.N. and Veghese, G.C. 1999: Monitoring discrete event systems using Petri net embeddings. Lecture Notes in Computer Science, 1639, 188-207.
    • (1999) Lecture Notes in Computer Science , vol.1639 , pp. 188-207
    • Hadjicostis, C.N.1    Veghese, G.C.2
  • 7
    • 0032259936 scopus 로고    scopus 로고
    • Diagnosis and analysis of diagnosis properties using discrete event dynamic systems
    • 37th IEEE Conference on Decision and Control, Tampa, FL, 3775-80
    • Larsson, M. 1998: Diagnosis and analysis of diagnosis properties using discrete event dynamic systems. 37th IEEE Conference on Decision and Control, Tampa, FL, 3775-80.
    • (1998)
    • Larsson, M.1
  • 9
    • 0001047238 scopus 로고
    • Diagnosability of discrete event systems and its applications
    • Lin, F. 1994: Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems, 4, 197-212.
    • (1994) Discrete Event Dynamic Systems , vol.4 , pp. 197-212
    • Lin, F.1
  • 10
    • 0034186976 scopus 로고    scopus 로고
    • Template languages for fault monitoring of timed discrete event processes
    • Pandalai, D.N. and Holloway, L.E. 2000: Template languages for fault monitoring of timed discrete event processes. IEEE Transactions on Automatic Control, 45, 868-82.
    • (2000) IEEE Transactions on Automatic Control , vol.45 , pp. 868-882
    • Pandalai, D.N.1    Holloway, L.E.2
  • 15
    • 0027632545 scopus 로고
    • Fault detection/monitoring using time Petri nets. IEEE Transactions on Systems
    • Srinivasan, V.S. and Jafari, M.A. 1993: Fault detection/monitoring using time Petri nets. IEEE Transactions on Systems, Man and Cybernetics, 23, 1155-62.
    • (1993) Man and Cybernetics , vol.23 , pp. 1155-1162
    • Srinivasan, V.S.1    Jafari, M.A.2
  • 16
    • 0041764962 scopus 로고    scopus 로고
    • Fault diagnosis in discrete-event systems: framework and model reduction
    • Zad, S.H., Kwong, R.H. and Wonham, W.M. 2003: Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Transactions on Automatic Control, 48, 1199-212.
    • (2003) IEEE Transactions on Automatic Control , vol.48 , pp. 1199-1212
    • Zad, S.H.1    Kwong, R.H.2    Wonham, W.M.3


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