-
1
-
-
0034842068
-
Failure diagnosis of dynamic systems: An approach based on discrete event systems
-
Jun
-
S. Lafortune, D. Teneketzis, M. Sampath, R. Sengupta, and K. Sinnamohideen, "Failure diagnosis of dynamic systems: An approach based on discrete event systems," in Proc. American Control Conf., Jun. 2001, pp. 2058-2071.
-
(2001)
Proc. American Control Conf
, pp. 2058-2071
-
-
Lafortune, S.1
Teneketzis, D.2
Sampath, M.3
Sengupta, R.4
Sinnamohideen, K.5
-
2
-
-
0030109707
-
Failure diagnosis using discrete event models
-
Mar
-
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete event models," IEEE Trans. Control Syst. Technol., vol. 4, no. 2, pp. 105-124, Mar. 1996.
-
(1996)
IEEE Trans. Control Syst. Technol
, vol.4
, Issue.2
, pp. 105-124
-
-
Sampath, M.1
Sengupta, R.2
Lafortune, S.3
Sinnamohideen, K.4
Teneketzis, D.5
-
3
-
-
0033872311
-
Coordinated decentralized protocols for failure diagnosis of discrete-event systems
-
Jan
-
R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 10, no. 1/2, pp. 33-86, Jan. 2000.
-
(2000)
Discrete Event Dynamic Systems: Theory and Applications
, vol.10
, Issue.1-2
, pp. 33-86
-
-
Debouk, R.1
Lafortune, S.2
Teneketzis, D.3
-
4
-
-
34147164428
-
Diagnosis of modular discrete event systems
-
presented at the, Reims, France, Sep
-
O. Contant, S. Lafortune, and D. Teneketzis, "Diagnosis of modular discrete event systems," presented at the Int. Workshop on Discrete Event Systems, Reims, France, Sep. 2004.
-
(2004)
Int. Workshop on Discrete Event Systems
-
-
Contant, O.1
Lafortune, S.2
Teneketzis, D.3
-
5
-
-
0002089689
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
|