Abstract
Numerous approaches to verifying the safety of vehicles in the AHS architecture of PATH have been proposed (see [1] and [2]). One approach involves finding a boundary between safe and unsafe initial conditions. This task is significantly easier if we can guarantee that the severity of an accident is monotonic in the initial conditions. Simulation results are presented in which it is shown that this condition does not hold for the design of [1], and a hybrid automaton model explaining this situation is presented. Finally, some attempts to modify the control laws to obtain monotonicity are presented.
Research supported by the California PATH program, Institute of Transportation Studies, University of California, Berkeley under grant MOU-135
Research supported by a University of California Regents Fellowship and by ARO under grant DAAH04-94-G-0026
Preview
Unable to display preview. Download preview PDF.
References
Datta Godbole and John Lygeros. Longitudinal control of the lead car of a platoon. IEEE Transactions on Vehicular Technology, 43(4):1125–1135, 1994.
Anuj Puri and Pravin Varaiya. Driving safely in smart cars. In Proceedings of American Control Conference, pages 3597–3599, 1995.
Pravin Varaiya. Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, AC-38(2):195–207, 1993.
R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, Lecture Notes in Computer Science 736. Springer-Verlag, 1993.
A. Deshpande and P. Varaiya. Viable control of hybrid systems. In Hybrid Systems II, Lecture Notes in Computer Science. Springer-Verlag, 1995.
John A. Haddon, Datta N. Godbole, Akash Deshpande, and John Lygeros. Verification of hybrid systems: Monotonicity in the AHS control system. Memorandum, California PATH Program, 1996.
John Guckenheimer and Stewart Johnson. Planar hybrid systems. In Hybrid Systems II, Lecture Notes in Computer Science. Springer-Verlag, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haddon, J.A., Godbole, D.N., Deshpande, A., Lygeros, J. (1996). Verification of hybrid systems: Monotonicity in the AHS control system. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020943
Download citation
DOI: https://doi.org/10.1007/BFb0020943
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61155-4
Online ISBN: 978-3-540-68334-6
eBook Packages: Springer Book Archive