Rigorous design of a fault diagnosis and isolation algorithm

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1567, Issue , 1999, Pages 100-121

  Gao, Jianping ^a   Xu, Qiwen ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; HYBRID SYSTEMS;

DENSE-TIME; DISCRETE COMPONENTS; DURATION CALCULUS; FAULT DIAGNOSIS AND ISOLATIONS; PARALLEL COMPONENT; PROGRAM LOGIC; SYSTEM PROPERTY;

COMPUTER CIRCUITS;

EID: 84956855306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49163-5_6     Document Type: Conference Paper

References (13)

1. K. R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs (2nd edition). Springer-Verlag, 1997.
2. R. J. R. Back. Correctness Preserving Program Refinements: Proof Theory and Ap-plications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Am-sterdam, 1980.
3. Zhou Chaochen and M. R. Hansen. Chopping a point. In J.-F. He, J. Cooke, and P. Wallis, editors, Proc. BCS FACS 7th Refinement Workshop:Theory and Practice of System Design, Bath, U. K., July 1996. Electronic Workshops in Computing, Springer-Verlag.
4. Zhou Chaochen and M. R. Hansen. An adequate first order interval logic. In H. Langmaack, A. Pnueli, and W.-P. de Roever, editors, International Symposium, Compositionality-The Significant Diérence. Springer-Verlag, 1998, 1998.
5. Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Informa-tion Processing Letters, 40(5):269-276, 1991.
6. Zhou Chaochen, A. P. Ravn, and M. R. Hansen. An extended duration calculus for hybrid systems. In Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn, H. Rischel (Eds.), pages 36-59. LNCS 736, Springer-Verlag, 1993.
7. T. A. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for timed transition systems. Information and Computation, 112(2):273-337, 1994.
8. Z. Manna and A. Pnueli. Verifying hybrid systems. In Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn, H. Rischel (Eds.), pages 36-59. LNCS 736, Springer-Verlag, 1993.
9. C. C. Morgan. Programming from Specifications. Prentice-Hall, 1990.
10. B. Moszkowski. A temporal logic for multilevel reasoning about hardware. IEEE Computer, 18(2):10-19, 1985.
11. P. K. Pandya, H.-P. Wang, and Q.-W. Xu. Towards a theory of sequential hy-brid programs. In D. Gries and W.-P. de Roever, editors, Proc. IFIP Working Conference PROCOMET'98, pages 366-384. Chapman & Hall, 1998.
12. Q.-W. Xu. Semantics and verification of extended phase transition systems in duration calculus. In O. Maler, editor, International Workshop on Hybrid and Real-Time Systems, pages 301-315. LNCS 1201, Springer-Verlag, 1997.
13. Q.-W. Xu and W.-D. He. Hierarchical design of a chemical concentration control system. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control, pages 270-281. LNCS 1066, Springer-Verlag, 1995.