-
2
-
-
0038631985
-
Diagnosis of asynchronous discrete event systems: a net unfolding approach
-
Benveniste A., Fabre E., Haar S., and Jard C. Diagnosis of asynchronous discrete event systems: a net unfolding approach. IEEE Transactions on Automatic Control 48 5 (2003) 714-727
-
(2003)
IEEE Transactions on Automatic Control
, vol.48
, Issue.5
, pp. 714-727
-
-
Benveniste, A.1
Fabre, E.2
Haar, S.3
Jard, C.4
-
3
-
-
33845464637
-
Fault diagnosis in discrete time hybrid systems - a case study
-
Bhowal P., Sarkar D., Mukhopadhyay S., and Basu A. Fault diagnosis in discrete time hybrid systems - a case study. Information Sciences 177 5 (2007) 1290-1308
-
(2007)
Information Sciences
, vol.177
, Issue.5
, pp. 1290-1308
-
-
Bhowal, P.1
Sarkar, D.2
Mukhopadhyay, S.3
Basu, A.4
-
4
-
-
34548040741
-
Diagnosis of delay-deadline failures in real-time discrete event models
-
Biswas S., Sarkar D., Bhawal P., and Mukhopadhyay S. Diagnosis of delay-deadline failures in real-time discrete event models. ISA Transactions 46 4 (2007) 569-582
-
(2007)
ISA Transactions
, vol.46
, Issue.4
, pp. 569-582
-
-
Biswas, S.1
Sarkar, D.2
Bhawal, P.3
Mukhopadhyay, S.4
-
6
-
-
4844231054
-
Conflicts versus analytical redundancy relations: a comparative analysis of the model-based diagnosis approach from the artificial intelligence and the automatic control perspectives
-
Cordier M.O., Dague P., Lévy F., Montmain L., Staroswiecki M., and Travé-Massuyès L. Conflicts versus analytical redundancy relations: a comparative analysis of the model-based diagnosis approach from the artificial intelligence and the automatic control perspectives. IEEE Transactions on Systems, Man and Cybernetics - Part B: Cybernetics 34 5 (2006) 2163-2177
-
(2006)
IEEE Transactions on Systems, Man and Cybernetics - Part B: Cybernetics
, vol.34
, Issue.5
, pp. 2163-2177
-
-
Cordier, M.O.1
Dague, P.2
Lévy, F.3
Montmain, L.4
Staroswiecki, M.5
Travé-Massuyès, L.6
-
7
-
-
0041663535
-
Temporal abstraction and inductive logic programming for arythmia recognition from ECG
-
Corrault G., Cordier M.O., Quiniou R., and Wang F. Temporal abstraction and inductive logic programming for arythmia recognition from ECG. Artificial Intelligence in Medicine 28 3 (2003) 231-263
-
(2003)
Artificial Intelligence in Medicine
, vol.28
, Issue.3
, pp. 231-263
-
-
Corrault, G.1
Cordier, M.O.2
Quiniou, R.3
Wang, F.4
-
8
-
-
34548363294
-
Partial order techniques for distributed discrete event systems: why you cannot avoid using them
-
Fabre E., and Benveniste A. Partial order techniques for distributed discrete event systems: why you cannot avoid using them. Discrete Event Dynamical Systems 17 3 (2007) 355-403
-
(2007)
Discrete Event Dynamical Systems
, vol.17
, Issue.3
, pp. 355-403
-
-
Fabre, E.1
Benveniste, A.2
-
9
-
-
63149148416
-
Extraction de connnaissances provenant de données multisources pour la characterisation d' arythmies cardiaques
-
Clermont-Ferrand, France
-
E. Fromont, M.O. Cordier, R. Quiniou, Extraction de connnaissances provenant de données multisources pour la characterisation d' arythmies cardiaques, in: Proceedings of EGC'04, Workshop: Fouille de données complexes dans un processus d' extraction de connaissances, Clermont-Ferrand, France, 2004.
-
(2004)
Proceedings of EGC'04, Workshop: Fouille de données complexes dans un processus d' extraction de connaissances
-
-
Fromont, E.1
Cordier, M.O.2
Quiniou, R.3
-
10
-
-
63149187809
-
Automata slicing for diagnosing discrete-event systems with partially ordered observations
-
A. Grastein, M.O. Cordier, C. Largouët, Automata slicing for diagnosing discrete-event systems with partially ordered observations, in: Proceedings of AI*IA, 9th Congress of the Italian Association for Artificial Intelligence, 2005, pp. 282-285.
-
(2005)
Proceedings of AI*IA, 9th Congress of the Italian Association for Artificial Intelligence
, pp. 282-285
-
-
Grastein, A.1
Cordier, M.O.2
Largouët, C.3
-
12
-
-
33845733171
-
Multiresolution abnormal trace detection using varied-length n-Grams and automata
-
Jiang G., Chen H., Urugueanu C., and Yoshihira K. Multiresolution abnormal trace detection using varied-length n-Grams and automata. IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews 37 1 (2007) 86-97
-
(2007)
IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews
, vol.37
, Issue.1
, pp. 86-97
-
-
Jiang, G.1
Chen, H.2
Urugueanu, C.3
Yoshihira, K.4
-
13
-
-
35748958437
-
Diagnosability of fuzzy discrete event systems
-
Kilic E. Diagnosability of fuzzy discrete event systems. Information Sciences 178 3 (2008) 858-870
-
(2008)
Information Sciences
, vol.178
, Issue.3
, pp. 858-870
-
-
Kilic, E.1
-
14
-
-
0029481560
-
Syntactic recognition of ECG signals by attributed finite automata
-
Koski A., Juhola M., and Meriste M. Syntactic recognition of ECG signals by attributed finite automata. Pattern Recognition 28 12 (1995) 1927-1940
-
(1995)
Pattern Recognition
, vol.28
, Issue.12
, pp. 1927-1940
-
-
Koski, A.1
Juhola, M.2
Meriste, M.3
-
16
-
-
24944554023
-
Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids
-
Li M., and Pedrycz W. Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids. Fuzzy Sets and Systems 156 1 (2005) 68-92
-
(2005)
Fuzzy Sets and Systems
, vol.156
, Issue.1
, pp. 68-92
-
-
Li, M.1
Pedrycz, W.2
-
18
-
-
41849085562
-
Decentralized diagnosis of stochastic discrete event systems
-
Liu F., Qiu D., Xing H., and Fan Z. Decentralized diagnosis of stochastic discrete event systems. IEEE Transactions on Automatic Control 53 2 (2008) 535-546
-
(2008)
IEEE Transactions on Automatic Control
, vol.53
, Issue.2
, pp. 535-546
-
-
Liu, F.1
Qiu, D.2
Xing, H.3
Fan, Z.4
-
19
-
-
51749120140
-
Safe diagnosability of stochastic discrete event systems
-
Liu F., and Qiu D. Safe diagnosability of stochastic discrete event systems. IEEE Transactions on Automatic Control 53 5 (2008) 1291-1296
-
(2008)
IEEE Transactions on Automatic Control
, vol.53
, Issue.5
, pp. 1291-1296
-
-
Liu, F.1
Qiu, D.2
-
20
-
-
43149087561
-
Fault diagnosis of discretely controlled continuous systems by means of discrete event models
-
Lunze J. Fault diagnosis of discretely controlled continuous systems by means of discrete event models. Discrete Event Dynamical Systems 18 2 (2008) 181-210
-
(2008)
Discrete Event Dynamical Systems
, vol.18
, Issue.2
, pp. 181-210
-
-
Lunze, J.1
-
21
-
-
63149178730
-
Modelling electromechanical drive systems: A formal language approach
-
Rome Italy
-
J.F. Martins, A.J. Pires, R. Vilela Mendes, J.A. Dente, Modelling electromechanical drive systems: a formal language approach, in: Proceedings of 35th IEEE Industry Applications Society Annual Meeting, IAS 2000, Rome Italy, 2000.
-
(2000)
Proceedings of 35th IEEE Industry Applications Society Annual Meeting, IAS
-
-
Martins, J.F.1
Pires, A.J.2
Vilela Mendes, R.3
Dente, J.A.4
-
23
-
-
44749088139
-
Diagnosability analysis of a class of hierarchical state machines
-
Paoli A., and Lafortune S. Diagnosability analysis of a class of hierarchical state machines. Discrete Event Dynamical Systems 18 (2008) 385-413
-
(2008)
Discrete Event Dynamical Systems
, vol.18
, pp. 385-413
-
-
Paoli, A.1
Lafortune, S.2
-
24
-
-
0348170841
-
Characterizations of fuzzy finite automata
-
Qiu D. Characterizations of fuzzy finite automata. Fuzzy Sets and Systems 141 3 (2004) 391-414
-
(2004)
Fuzzy Sets and Systems
, vol.141
, Issue.3
, pp. 391-414
-
-
Qiu, D.1
-
27
-
-
0345848127
-
Automata theory based on completed residuated lattice-valued logic (II)
-
Qiu D.W. Automata theory based on completed residuated lattice-valued logic (II). Science in China (F) 45 6 (2002) 442-452
-
(2002)
Science in China (F)
, vol.45
, Issue.6
, pp. 442-452
-
-
Qiu, D.W.1
-
28
-
-
33846307028
-
On-line fault diagnosis of discrete event systems - a Petri-Net-based approach
-
Ramirez Trevino A., Ruiz-Beltran E., Rivera-Rangel I., and Lopez Mellado E. On-line fault diagnosis of discrete event systems - a Petri-Net-based approach. IEEE Transactions on Automation Science and Engineering 4 1 (2007) 31-39
-
(2007)
IEEE Transactions on Automation Science and Engineering
, vol.4
, Issue.1
, pp. 31-39
-
-
Ramirez Trevino, A.1
Ruiz-Beltran, E.2
Rivera-Rangel, I.3
Lopez Mellado, E.4
-
29
-
-
51349115478
-
Encoding fuzzy possibilistic diagnostics as a constrained optimization problem
-
Sala A. Encoding fuzzy possibilistic diagnostics as a constrained optimization problem. Information Sciences 178 22 (2008) 4246-4263
-
(2008)
Information Sciences
, vol.178
, Issue.22
, pp. 4246-4263
-
-
Sala, A.1
-
30
-
-
0029373586
-
Diagnosability of discrete-event systems
-
Sampath M., Sengupta R., Lafortune S., Sinnamohiddenen K., and Teneketzis D. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 40 9 (1995) 1555-1575
-
(1995)
IEEE Transactions on Automatic Control
, vol.40
, Issue.9
, pp. 1555-1575
-
-
Sampath, M.1
Sengupta, R.2
Lafortune, S.3
Sinnamohiddenen, K.4
Teneketzis, D.5
-
31
-
-
0028194367
-
Clinical monitoring with fuzzy automata
-
Steimann F., and Adlassnig K.P. Clinical monitoring with fuzzy automata. Fuzzy Sets and Systems 61 1 (1994) 37-42
-
(1994)
Fuzzy Sets and Systems
, vol.61
, Issue.1
, pp. 37-42
-
-
Steimann, F.1
Adlassnig, K.P.2
-
32
-
-
30344486002
-
Global and local consistencies in distributed fault diagnosis for discrete event systems
-
Su R., and Wonham W.M. Global and local consistencies in distributed fault diagnosis for discrete event systems. IEEE Transactions on Automatic Control 50 12 (2005) 1923-1935
-
(2005)
IEEE Transactions on Automatic Control
, vol.50
, Issue.12
, pp. 1923-1935
-
-
Su, R.1
Wonham, W.M.2
-
35
-
-
84886264893
-
Applying hierarchical fuzzy automata to automatic diagnosis
-
North America Fuzzy Information Process. Syst, Pensacola, FL
-
M.B. Tümer, L.A. Belfore, K.M. Ropella, Applying hierarchical fuzzy automata to automatic diagnosis, in: Proceedings of Mtg. North America Fuzzy Information Process. Syst., Pensacola, FL, 1998.
-
(1998)
Proceedings of Mtg
-
-
Tümer, M.B.1
Belfore, L.A.2
Ropella, K.M.3
-
36
-
-
0345258461
-
A syntactic methodology for automatic diagnosis by analysis of continuous time measurements using hierarchical signal representations
-
Tümer M., Belfore L., and Ropella K. A syntactic methodology for automatic diagnosis by analysis of continuous time measurements using hierarchical signal representations. IEEE Trans. on Systems, Man and Cybernetics - Part B: Cybernetics 33 6 (2005) 951-965
-
(2005)
IEEE Trans. on Systems, Man and Cybernetics - Part B: Cybernetics
, vol.33
, Issue.6
, pp. 951-965
-
-
Tümer, M.1
Belfore, L.2
Ropella, K.3
-
37
-
-
0346107521
-
Stability analysis of an adaptive fuzzy control system using Petri Nets and learning automata
-
Tzafestas S.G., and Rigatos G.G. Stability analysis of an adaptive fuzzy control system using Petri Nets and learning automata. Mathematics and Computers in Simulation 51 3 (2000) 315-341
-
(2000)
Mathematics and Computers in Simulation
, vol.51
, Issue.3
, pp. 315-341
-
-
Tzafestas, S.G.1
Rigatos, G.G.2
-
38
-
-
84885460273
-
System fault diagnosis, reliability and related knowledge-based approaches, Fault Diagnostics and Reliability
-
Reidel Dordrecht Holland
-
S.G. Tzafestas, M.G. Singh, G. Schmidt, System fault diagnosis, reliability and related knowledge-based approaches, Fault Diagnostics and Reliability, vol. 1, Knowledge-based and Fault Tolerant techniques, Reidel Dordrecht Holland, 1989.
-
(1989)
Knowledge-based and Fault Tolerant techniques
, vol.1
-
-
Tzafestas, S.G.1
Singh, M.G.2
Schmidt, G.3
-
39
-
-
13244251279
-
Reaching fault diagnosis agreement on an unreliable general network
-
Yan K.Q., and Wang S.C. Reaching fault diagnosis agreement on an unreliable general network. Information Sciences 170 2-4 (2005) 397-407
-
(2005)
Information Sciences
, vol.170
, Issue.2-4
, pp. 397-407
-
-
Yan, K.Q.1
Wang, S.C.2
|