DMCA
Correctness of Vehicle Control Systems - A Case Study (1996)
Cached
Download Links
by
H.B. Weinberg
,
Nancy Lynch
| Venue: | In 17th IEEE Real-Time Systems Symposium |
| Citations: | 13 - 6 self |
BibTeX
@INPROCEEDINGS{Weinberg96correctnessof,
author = {H.B. Weinberg and Nancy Lynch},
title = {Correctness of Vehicle Control Systems - A Case Study},
booktitle = {In 17th IEEE Real-Time Systems Symposium},
year = {1996},
pages = {62--72},
publisher = {Also}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Several example vehicle deceleration maneuvers arising in automated transportation systems are specified, and their correctness verified, using the hybrid I/O automaton model of Lynch, Segala, Vaandrager and Weinberg [16]. All system components are formalized using hybrid I/O automata, and their combination described using automaton composition. The proofs use invariant assertions, simulation mappings, and differential calculus.
