Automated Highway Systems / Model / Sect / Cooperative Intersection Collision Avoidance Systems / Hybrid Systems / /
Country
United States / /
Currency
USD / / /
Facility
Carnegie Mellon University / R. Hall / HIGHWAY CONTROL In / Institute of Transportation Studies / /
IndustryTerm
intelligent transportation system / platoon maneuver protocols / car crashes / generation technology / highway systems / intelligent vehicle systems / car controllers / cross intersection protocols / difficult systems / intersection protocol / computer control technology / individual ground transportation / car turns / ground transportation systems / car control systems / subsequent systems / car control / vehicle systems / Intelligent transportation scenarios / car driving / ground transportation / distributed car control / large-scale urban systems / verification tool / /
Organization
Institute of Transportation Studies / Society of Automotive Engineers Inc. / National Science Foundation / UC Berkeley / Carnegie Mellon University / Pittsburgh / Computer Science Department / /
Person
Sarah M. Loos / /
Position
complex model presented / designer / vehicle controller for non-sensing stoplights / first author / general systems using simulation / controller / model described / /
Safe Intersections: At the Crossing of Hybrid Systems and Verification Sarah M. Loos and Andr´e Platzer Abstract— Intelligent vehicle systems have interesting prospects for solving inefficiencies and risks in ground t