-
1
-
-
36348953215
-
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
-
2
-
-
0034246361
-
Modelling and control with first order hybrid Petri nets
-
Balduzzi, F., Giua, A. and Menga, G. 2000: Modelling and control with first order hybrid Petri nets. IEEE Transactions on Robotics and Automation, 16, 382-99.
-
(2000)
IEEE Transactions on Robotics and Automation
, vol.16
, pp. 382-399
-
-
Balduzzi, F.1
Giua, A.2
Menga, G.3
-
3
-
-
79960723036
-
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
-
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
-
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
-
6
-
-
0037389325
-
Diagnosis of repeated/intermittent failure in discrete event systems
-
Jiang, S., Kumar, R. and Garcia, H.E. 2003: Diagnosis of repeated/intermittent failure in discrete event systems. IEEE Transactions on Robotics and Automation, 19, 310-23.
-
(2003)
IEEE Transactions on Robotics and Automation
, vol.19
, pp. 310-323
-
-
Jiang, S.1
Kumar, R.2
Garcia, H.E.3
-
7
-
-
0032259936
-
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
-
8
-
-
0022102587
-
Fault tree analysis, methods, and applications - a review
-
Lee, W.S., Grosh, D.L., Tillman, F.A. and Lie, C.H. 1985: Fault tree analysis, methods, and applications - a review. IEEE Transactions on Reliability, 34, 194-203.
-
(1985)
IEEE Transactions on Reliability
, vol.34
, pp. 194-203
-
-
Lee, W.S.1
Grosh, D.L.2
Tillman, F.A.3
Lie, C.H.4
-
9
-
-
0001047238
-
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
-
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
-
11
-
-
33846307028
-
Online fault diagnosis of discrete event systems. A Petri net-based approach
-
Ramirez-Trevino, A., Ruiz-Beltràn, E., Rivera-Rangel, I. and Lopez-Mellado, E. 2007: Online fault diagnosis of discrete event systems. A Petri net-based approach. IEEE Transactions on Automation Science and Engineering, 4, 31-39.
-
(2007)
IEEE Transactions on Automation Science and Engineering
, vol.4
, pp. 31-39
-
-
Ramirez-Trevino, A.1
Ruiz-Beltràn, E.2
Rivera-Rangel, I.3
Lopez-Mellado, E.4
-
12
-
-
0029373586
-
Diagnosability of discrete event systems
-
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K. and Teneketzis, D. 1995: Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40, 1555-75.
-
(1995)
IEEE Transactions on Automatic Control
, vol.40
, pp. 1555-1575
-
-
Sampath, M.1
Sengupta, R.2
Lafortune, S.3
Sinnamohideen, K.4
Teneketzis, D.5
-
13
-
-
0030109707
-
Failure diagnosis using discrete-event models
-
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K. and Teneketzis, D. 1996: Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4, 105-24.
-
(1996)
IEEE Transactions on Control Systems Technology
, vol.4
, pp. 105-124
-
-
Sampath, M.1
Sengupta, R.2
Lafortune, S.3
Sinnamohideen, K.4
Teneketzis, D.5
-
14
-
-
0032122101
-
Active diagnosis of discrete-event systems
-
Sampath, M., Lafortune, S. and Teneketzis, D. 1998: Active diagnosis of discrete-event systems. IEEE Transactions on Automatic Control, 43, 908-29.
-
(1998)
IEEE Transactions on Automatic Control
, vol.43
, pp. 908-929
-
-
Sampath, M.1
Lafortune, S.2
Teneketzis, D.3
-
15
-
-
0027632545
-
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
-
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
|