Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes
- 1 January 2012
- journal article
- Published by Elsevier in IFAC Proceedings Volumes
- Vol. 45 (9), 333-338
- https://doi.org/10.3182/20120606-3-nl-3011.00057
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- Rigorously computed orbits of dynamical systems without the wrapping effectComputing, 1998
- Computing integrals involving the matrix exponentialIEEE Transactions on Automatic Control, 1978