Using HYTECH to verify an automotive control system

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

Volumn 1201, Issue , 1997, Pages 139-153

  Stauner, Thomas ^a   Müller, Olaf ^a   Fuchs, Max ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b BMW AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOBILE SUSPENSIONS; CONTROL SYSTEMS; EMBEDDED SYSTEMS; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; LINEAR SYSTEMS; MODEL CHECKING; REAL TIME SYSTEMS;

AUTOMOTIVE CONTROL SYSTEMS; BENCH-MARK PROBLEMS; FORMAL ANALYSIS; INDUSTRIAL DEVELOPMENT; LINEAR HYBRID SYSTEMS; PNEUMATIC SUSPENSIONS; REACHABILITY ANALYSIS; SYMBOLIC MODEL CHECKERS;

SUSPENSIONS (COMPONENTS);

EID: 84957688495     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014722     Document Type: Conference Paper

References (9)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur, T.A. Henzinger, and E.D. Sontag. Hybrid Systems III. Lecture Notes in Computer Science 1066. Springer-Verlag, 1996.
3. T.A. Henzinger and P.-H. Ho. Algorithmic analysis of nonlinear hybrid systems. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 225-238. Springer-Verlag, 1995.
4. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to HYTECH. In E. Brinksma et al., editors, Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1019, pages 41-71. Springer-Verlag, 1995.
5. P.-H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 381-394. Springer-Verlag, 1995.
6. T.A. Henzinger and H. Wong-Toi. Linear phase-portrait approximations for nonfinear hybrid systems. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III, LNCS 1066. Springer-Verlag, 1996.
7. Thomas A. Henzinger and H. Wong-Toi. Using HYTECH to synthesize control parameters for a steam boiler. In J.-R. Abrial et al., editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS 1165. Springer-Verlag, 1996.
8. Charles L. Phillips and Royce D. Harbor. Feedback Control Systems. Prentice-Hall, 1988.
9. Thomas Stauner. Specification and Verification of an Electronic Height Control System using Hybrid Automata. Master thesis, Munich University of Technology, 1997.