-
1
-
-
0029373586
-
Diagnosability of discrete event systems
-
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. "Diagnosability of discrete event systems," IEEE Trans. Automat, Contr., vol 4, no. 9, pp. 1555-1575, 1995.
-
(1995)
IEEE Trans. Automat, Contr
, vol.4
, Issue.9
, pp. 1555-1575
-
-
Sampath, M.1
Sengupta, R.2
Lafortune, S.3
Sinnamohideen, K.4
Teneketzis, D.5
-
2
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
T. Murata. "Petri nets: Properties, analysis and applications," in Proc. of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.
-
(1989)
Proc. of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
4
-
-
0026123003
-
A New Technique for Fault Detection Using Petri Nets
-
J. Prock. "A New Technique for Fault Detection Using Petri Nets". Automatica, vol. 27, pp. 239-245, 1991.
-
(1991)
Automatica
, vol.27
, pp. 239-245
-
-
Prock, J.1
-
5
-
-
35248890966
-
Distributed Diagnosis of Discrete Event Systems Using Petri Nets
-
S. Gene, S. Lafortune. "Distributed Diagnosis of Discrete Event Systems Using Petri Nets," in Proc. of the 24th ATPN, 2003, pp. 316-336.
-
(2003)
Proc. of the 24th ATPN
, pp. 316-336
-
-
Gene, S.1
Lafortune, S.2
-
6
-
-
3042616825
-
Diagnosability of Discrete Event Systems. A Petri Net Based Approach
-
A. Ramírez-Treviño, E. Ruiz-Beltrán, I. Rivera-Rangel, E. López-Mellado. "Diagnosability of Discrete Event Systems. A Petri Net Based Approach," in Proc. of the IEEE ICRA, 2004, pp. 541-546.
-
(2004)
Proc. of the IEEE ICRA
, pp. 541-546
-
-
Ramírez-Treviño, A.1
Ruiz-Beltrán, E.2
Rivera-Rangel, I.3
López-Mellado, E.4
-
7
-
-
84958982586
-
Monitoring Discrete Event Systems Using Petri Net Embeddings
-
Application and theory of Petri Nets ICATN
-
C. N. Hadjicostis, G. C. Verghese. "Monitoring Discrete Event Systems Using Petri Net Embeddings," in Application and theory of Petri Nets (ICATN), no. 1639 in Lecture Notes in Computer Science, 1999, pp. 188-208.
-
(1999)
Lecture Notes in Computer Science
, Issue.1639
, pp. 188-208
-
-
Hadjicostis, C.N.1
Verghese, G.C.2
-
8
-
-
18844469131
-
Observability of Discrete Event Systems Modeled by Interpreted Petri Nets
-
A. Ramírez-Treviño, I. Rivera-Rangel, E. López-Mellado. "Observability of Discrete Event Systems Modeled by Interpreted Petri Nets, " IEEE Transactions on Robotics and Automation, vol 19, no. 4, pp. 557-565, 2003.
-
(2003)
IEEE Transactions on Robotics and Automation
, vol.19
, Issue.4
, pp. 557-565
-
-
Ramírez-Treviño, A.1
Rivera-Rangel, I.2
López-Mellado, E.3
-
10
-
-
27944447689
-
Fault detection and location in DES modeled using Petri Nets
-
E. Ruiz-Beltrán, T. Jiménez-Ochoa, A. Ramírez- Treviño, E. López-Mellado, M. Meda-Campaña. "Fault detection and location in DES modeled using Petri Nets," in Proc. of the International Conference on Systems, Man and Cybernetics, 2005, pp. 1645-1650.
-
(2005)
Proc. of the International Conference on Systems, Man and Cybernetics
, pp. 1645-1650
-
-
Ruiz-Beltrán, E.1
Jiménez-Ochoa, T.2
Ramírez- Treviño, A.3
López-Mellado, E.4
Meda-Campaña, M.5
|