-
1
-
-
43049171144
-
Hybrid I/O automata
-
LNCS, Springer Verlag
-
N. Lynch, R. Segala, F. Vaandrager, and H. Weinberg, “Hybrid I/O automata,” in Hybrid Systems III, no. 1066 in LNCS, pp. 496-510, Springer Verlag, 1996.
-
(1996)
Hybrid Systems III
, Issue.1066
, pp. 496-510
-
-
Lynch, N.1
Segala, R.2
Vaandrager, F.3
Weinberg, H.4
-
2
-
-
1842617269
-
-
tech. rep., PATH Technical Memo 93-9, Institute of Transportation Studies, University of California, Berkeley
-
A. Hitchcock, “Casualties in accidents occuring during split and merge maneuvers,” tech. rep., PATH Technical Memo 93-9, Institute of Transportation Studies, University of California, Berkeley, 1993.
-
(1993)
Casualties in Accidents Occuring during Split and Merge Maneuvers
-
-
Hitchcock, A.1
-
3
-
-
84958057441
-
A game theoretic approach to hybrid system design
-
LNCS, Springer Verlag
-
J. Lygeros, D. N. Godbole, and S. Sastry, “A game theoretic approach to hybrid system design,” in Hybrid Systems III, no. 1066 in LNCS, pp. 1-12, Springer Verlag, 1996.
-
(1996)
Hybrid Systems III
, Issue.1066
, pp. 1-12
-
-
Lygeros, J.1
Godbole, D.N.2
Sastry, S.3
-
4
-
-
0030385506
-
Safe velocity tracking controller for AHS platoon leader
-
P. Li, L. Alvarez, R. Horowitz, P.-Y. Chen, and J. Carbaugh, “Safe velocity tracking controller for AHS platoon leader,” in IEEE Conference on Decision and Control, pp. 2283-2288, 1996.
-
(1996)
IEEE Conference on Decision and Control
, pp. 2283-2288
-
-
Li, P.1
Alvarez, L.2
Horowitz, R.3
Chen, P.-Y.4
Carbaugh, J.5
-
5
-
-
84957684274
-
Safety verification for automated platoon maneuvers: A case study
-
(O. Maler, ed., LNCS, Berlin: Springer Verlag
-
E. Dolginova and N. Lynch, “Safety verification for automated platoon maneuvers: a case study,” in Proceedings of HART97 (O. Maler, ed.), no. 1201 in LNCS, pp. 154-170, Berlin: Springer Verlag, 1997.
-
(1997)
Proceedings of HART97
, Issue.1201
, pp. 154-170
-
-
Dolginova, E.1
Lynch, N.2
-
7
-
-
33747096221
-
-
Tech. Rep. UCB-ITS-PRR-97-9, Institute of Transportation Studies, University of California, Berkeley, (to appear in the Special Issue on Hybrid Systems of the IEEE Transactions on Automatic Control)
-
J. Lygeros, D. N. Godbole, and S. Sastry, “A verified hybrid controller for automated vehicles,” Tech. Rep. UCB-ITS-PRR-97-9, Institute of Transportation Studies, University of California, Berkeley, 1997. (to appear in the Special Issue on Hybrid Systems of the IEEE Transactions on Automatic Control).
-
(1997)
A Verified Hybrid Controller for Automated Vehicles
-
-
Lygeros, J.1
Godbole, D.N.2
Sastry, S.3
-
9
-
-
0030689403
-
Tools for safety and throughput analysis of automated highway systems
-
D. N. Godbole and J. Lygeros, “Tools for safety and throughput analysis of automated highway systems,” in American Control Conference, pp. 2031-2035, 1997.
-
(1997)
American Control Conference
, pp. 2031-2035
-
-
Godbole, D.N.1
Lygeros, J.2
|