메뉴 건너뛰기




Volumn 4, Issue 2, 2007, Pages 206-219

Distributed diagnosis of place-bordered petri nets

Author keywords

Distributed algorithms; Fault diagnosis; Petri nets; Software implementation

Indexed keywords

FAULT DIAGNOSIS ALGORITHM; MODELING FORMALISM; SOFTWARE IMPLEMENTATION; SOFTWARE TOOLBOX;

EID: 34147120124     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2006.879916     Document Type: Article
Times cited : (126)

References (21)
  • 3
  • 5
    • 0002089689 scopus 로고
    • Realization of fault-tolerant systems by coding Petri nets
    • Apr
    • J. Sifakis, "Realization of fault-tolerant systems by coding Petri nets," J. Design Automation and Fault-Tolerant Computing, vol. 3, pp. 93-107, Apr. 1979.
    • (1979) J. Design Automation and Fault-Tolerant Computing , vol.3 , pp. 93-107
    • Sifakis, J.1
  • 6
    • 0031369902 scopus 로고    scopus 로고
    • Petri net state estimators based on event observation
    • Dec
    • A. Giua, "Petri net state estimators based on event observation," in Proc. 36th IEEE Conf. Decision and Control, Dec. 1997, pp. 4086-4091.
    • (1997) Proc. 36th IEEE Conf. Decision and Control , pp. 4086-4091
    • Giua, A.1
  • 7
    • 84958982586 scopus 로고    scopus 로고
    • Monitoring discrete event systems using petri net embeddings
    • Application and Theory of Petri Nets, Heidelberg, Germany: Springer Berlin
    • C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using petri net embeddings," in Application and Theory of Petri Nets 1999 (Series Lecture Notes in Computer Science). Heidelberg, Germany: Springer Berlin, 1999, vol. 1639, pp. 188-207.
    • (1999) Series Lecture Notes in Computer Science , vol.1639 , pp. 188-207
    • Hadjicostis, C.N.1    Verghese, G.C.2
  • 8
    • 0038631985 scopus 로고    scopus 로고
    • Diagnosis of asynchronous discrete event systems, a net unfolding approach
    • May
    • A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosis of asynchronous discrete event systems, a net unfolding approach," IEEE Trans. Autom. Control, vol. 48, no. 5, pp. 714-727, May 2003.
    • (2003) IEEE Trans. Autom. Control , vol.48 , Issue.5 , pp. 714-727
    • Benveniste, A.1    Fabre, E.2    Haar, S.3    Jard, C.4
  • 9
    • 33847213588 scopus 로고    scopus 로고
    • Distributed contextual diagnosis for very large systems
    • presented at the, Reims, France, Sep
    • R. K. Boel and G. Jiroveanu, "Distributed contextual diagnosis for very large systems," presented at the Int. Workshop on Discrete Event Systems, Reims, France, Sep. 2004.
    • (2004) Int. Workshop on Discrete Event Systems
    • Boel, R.K.1    Jiroveanu, G.2
  • 10
    • 34147174251 scopus 로고    scopus 로고
    • R.K. Boel and G. Jiroveanu, A distributed approach for fault detection and diagnosis based on time Petti nets, presented at the CESA, Lille, France, Jul. 2003.
    • R.K. Boel and G. Jiroveanu, "A distributed approach for fault detection and diagnosis based on time Petti nets," presented at the CESA, Lille, France, Jul. 2003.
  • 11
    • 17444372766 scopus 로고    scopus 로고
    • State estimation of λ-free labeled Petri nets with contact-free nondeterministic transitions
    • Mar
    • A. Giua, D. Corona, and C. Seatzu, "State estimation of λ-free labeled Petri nets with contact-free nondeterministic transitions," Discr. Event Dynam. Syst.: Theory Applicat., vol. 15, no. 1, pp. 85-108, Mar. 2005.
    • (2005) Discr. Event Dynam. Syst.: Theory Applicat , vol.15 , Issue.1 , pp. 85-108
    • Giua, A.1    Corona, D.2    Seatzu, C.3
  • 13
    • 84936753122 scopus 로고    scopus 로고
    • Distributed diagnosis for qualitative systems
    • M. Silva, A. Giua, and J. Colom, Eds. Los Alamitos, CA: IEEE Comput. Soc, Oct
    • R. Su, W. Wonham, J. Kurien, and X. Koutsoukos, "Distributed diagnosis for qualitative systems," in Proc. Int. Workshop on Discrete Event Systems, M. Silva, A. Giua, and J. Colom, Eds. Los Alamitos, CA: IEEE Comput. Soc., Oct. 2002, pp. 169-174.
    • (2002) Proc. Int. Workshop on Discrete Event Systems , pp. 169-174
    • Su, R.1    Wonham, W.2    Kurien, J.3    Koutsoukos, X.4
  • 14
    • 30344440216 scopus 로고    scopus 로고
    • Hierarchical distributed diagnosis under global consistencys
    • M. Silva, A. Giua, and J. Colom, Eds, Sep
    • R. Su and W. Wonham, "Hierarchical distributed diagnosis under global consistencys," in Proc. Int. Workshop on Discrete Event Systems, M. Silva, A. Giua, and J. Colom, Eds., Sep. 2004, pp. 157-162.
    • (2004) Proc. Int. Workshop on Discrete Event Systems , pp. 157-162
    • Su, R.1    Wonham, W.2
  • 15
    • 35248890966 scopus 로고    scopus 로고
    • Distributed diagnosis of discrete-event systems using Petri nets
    • Application and Theory of Petri Nets, Heidelberg, Germany: Springer-Verlag, Jun
    • S. Gene and S. Lafortune, "Distributed diagnosis of discrete-event systems using Petri nets," in Application and Theory of Petri Nets, 2003 (Series Lecture Notes in Computer Science). Heidelberg, Germany: Springer-Verlag, Jun. 2003, vol. 2679, pp. 316-336.
    • (2003) Series Lecture Notes in Computer Science , vol.2679 , pp. 316-336
    • Gene, S.1    Lafortune, S.2
  • 16
    • 79960733015 scopus 로고    scopus 로고
    • A distributed algorithm for on-line diagnosis of place-bordered Petri nets
    • presented at the Congr, Prague, Czech Republic, Jul
    • S. Gene and S. Lafortune, "A distributed algorithm for on-line diagnosis of place-bordered Petri nets," presented at the 16th Int. Federation of Automatic Control World Congr., Prague, Czech Republic, Jul. 2005.
    • (2005) 16th Int. Federation of Automatic Control World
    • Gene, S.1    Lafortune, S.2


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