A verified hybrid controller for automated vehicles /
Main Author: | Lygeros, John |
---|---|
Corporate Authors: | California. Department of Transportation, University of California, Berkeley. Institute of Transportation Studies, Partners for Advanced Transit and Highways (Calif.) |
Other Authors: | Godbole, Datta N., Sastry, Shankar, (Sosale Shankara) |
Format: | Book |
Language: | English |
Published: |
Berkeley, Calif. :
California PATH Program, Institute of Transportation Studies, University of California at Berkeley,
[1997]
|
Series: | PATH research report.
UCB-ITS-PRR-97-9. |
Subjects: |