Automotive control revisited linear inequalities as approximation of reachable sets

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

Volumn 1386, Issue , 1998, Pages 110-125

  Fehnker, Ansgar ^a  

^a CSI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957877343     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_35     Document Type: Conference Paper

References (16)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Ohvero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. David Burghes and Alexander Graham. Introduction to Control Theory, including Optimal Control. Ellis Horwood series in mathematics and its applications. John Wiley & Sons, New York, 1980.
3. Roger W. Brockett. Finite Dimensional Linear Systems. John Wiley & Sons, New York, 1970.
4. E. Dolginova and N. Lynch. Safety verification for automated platoon maneuvers: A case study. In Oded Maler, editor, HART'97, LNCS 1201. Springer-Verlag, 1997.
5. Gerd Fischer. Analytische Geometrie. Friedr. Vieweg & Sohn, Braunschweig, 1991.
6. Philip E. Gill, Walter Murray, and Margaret H. Wright. Numerical Linear Algebra and Optimization, volume 1. Addison-Wesley, 1991.
7. T.A. Henzinger and P.-H. Ho. Algorithmic analysis of nonlinear hybrid systems. In P. Wolper, editor, CAV 95: Computer-aided Verification, LNCS 939, pages 225-238. Springer-Verlag, 1995.
8. L. Helmink, M.P.A. Sellink, and F.W. Vaandrager. Proof-checking a data link protocol. In H. Barendregt and T. Nipkow, editors, Proceedings International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993, LNCS 806, pages 127-165. Springer-Verlag, 1994. Full version available as CWI technical report.
9. T.A. Henzinger and H. Wong-Toi. Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III, LNCS 1066, pages 377-388. Springer-Verlag, 1996.
10. E.B. Lee and L. Markus. Foundations of optimal control theory. The SIAM series in applied mathematics. Wiley, New York, 1967.
11. N. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg. Hybrid I/O automata. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III, LNCS 1066, pages 496-510. Springer-Verlag, 1996.
12. A. Puri, V. Borkar, and P. Varaiya. ϵ-approximation of differential inclusions. In Proceedings of the 34th IEEE Con]erence on Decision and Control (CDC 95), 1995.
13. Alexander Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons, 1986.
14. Thomas Stauner, Olaf Müller, and Max Fuchs. Using hytech to verify an automotive control system. In Oded Maler, editor, HART'97, LNCS 1201, pages 139-153. Springer-Verlag, 1997.
15. Thomas Stauner. Specification and Verification of an Electronic Height Control System using Hybrid Automata. Master's thesis, Munich University of Technology, 1997.
16. Li Xuandong, Dang Van Hung, and Zheng Tao. Checking hybrid automata for linear duration invariants. In ASIAN' 97, LNCS 1345, pages 166-180. Springer-Verlag, 1997.