Qualitative diagnosis of condition systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 14, Issue 4, 2004, Pages 395-412

  Ashley, Jeffrey ^a   Holloway, Lawrence E ^a  

^a Center for Manufacturing   (United States)

Author keywords

Causal nets; Discrete event systems; Fault diagnosis; Petri nets

Indexed keywords

CAUSAL NETS; DISCRETE EVENT SYSTEMS; DISCRETE STATE SYSTEMS; FAULT DIAGNOSIS;

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; ERROR COMPENSATION; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL LOGIC; PETRI NETS; PROBABILISTIC LOGICS; RANDOM PROCESSES;

SYSTEMS ENGINEERING;

EID: 4444328804     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:DISC.0000039787.51382.af     Document Type: Article

References (15)

1. Aghasaryan, A., Fabre, E., Benveniste, A., Boubour, R., and Jard, C. 1998. Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets. Discrete Event Dynamic Systems: Theory and Applications 8(1): 203-231.
2. Ashley, J. 2004. Diagnosis of Condition Systems. Ph.D. thesis, University of Kentucky.
3. Darwiche, A., and Pearl, J. 1994a. Symbolic causal networks. In Proceedings of the 12th National Conference on Artificial Intelligence (AAAI), pp. 238-244.
4. Darwiche, A., and Pearl, J. 1994b. Symbolic causal networks for reasoning about actions and plans. Technical report, Working Notes: AAAI Spring Symposium on Decision Theoretic Planning.
5. Davis, R.; and Hamscher, W. C. 1988. Model-Based Reasoning: Troubleshooting. Technical Report 1059, Massachussets Institute of Technology Artificial Intelligence Laboratory.
6. Hanisch, H.-M., Luder, A., and Rausch, M. 1997. Controller synthesis for net condition/event systems with a solution for incomplete state observation. European Journal of Control 3(4): 280-291.
7. Holloway, L., and Ashley, J. 1998. Condition languages and condition systems for modeling ambiguous control specifications. In IEE International Workshop on Discrete Event Systems (WODES9B), Cagliari.
8. Holloway, L. E., Guan, X., Sundaravadivelu, R., and Ashley, J. 2000. Automated synthesis and composition of taskblocks for control or manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics: Part B 30(5): 696-712.
9. Huang, Z., Chandra, V., Jiang, S., and Kumar, R. 2003. Modeling discrete event systems with faults using a rules based formalism. Mathematical and Computer Modeling of Dynamical Systems 9(3): 233-254.
10. Kowalewski, S., Lakhnech, Y., Lukoschus, B., and Urbina, L. 1998. On the composition of condition/event systems. In Proceedings of International Workshop on Discrete Event Systems, WODES98, Cagliari.
11. Provan, O., and Chen, Y.-L. 1998. Diagnosis of timed discrete event systems using temporal causal networks: Modeling and analysis. In Proceedings of the 4th Workshop on Discrete Event Systems (IEE), pp. 152-154.
12. Provan, O., and Chen, Y.-L. 2000. Characterizing controllability and observability properties of temporal causal network modeling for discrete event systems. In Proceedings of the American Controls Conference, pp. 3540-3544.
13. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1995. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control 40(9): 1555-1575.
14. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. C. 1996. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 4(2); 105-124.
15. Sreenivas, R., and Krogh, B. 1991. On condition/event systems with discrete state realizations. Discrete Event Dynamic Theory and Applications 1(2): 209-236.