Verification of hybrid systems: Monotonicity in the AHS control system
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 161-172
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Verification of hybrid systems: Monotonicity in the AHS control system1996
- Viable control of hybrid systemsLecture Notes in Computer Science, 1995
- Planar hybrid systemsLecture Notes in Computer Science, 1995
- Longitudinal control of the lead car of a platoonIEEE Transactions on Vehicular Technology, 1994
- Smart cars on smart roads: problems of controlIEEE Transactions on Automatic Control, 1993
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems1993