Highway System / Ligia Nistor Carnegie Mellon University / Hall et al. / /
IndustryTerm
distributed hybrid systems / complicated cyber-physical systems / automatic driver assistance technology / car length / local / generation car / automated highway systems / local car dynamics / cyber-physical systems / Local car crash / platoon systems / individual ground transportation solutions / car changes / follower car / interactive car system simulations / Car safety measures / stationary car / car control systems / distributed car maneuvers / distributed car control system / car brakes / lane systems / communications networks / car changing lanes / uncontrolled car traffic / communication network / hybrid systems / online supplementary material / car control / communication networks / distributed cyber-physical multi-agent systems / car changFig / car movement using cyber technologies / distributed car control systems / network communication infrastructure / distributed car control / local car dynamics problem / /
Organization
National Science Foundation / Carnegie Mellon University / Computer Science Department / /
Person
Sarah M. Loos / Platzer / Ligia Nistor / Grant Nos / Ligia Nistor Carnegie / /
Position
driver / leader / human driver / way driver / first author / model for lane assignment / leader / and the leader / controller / leader at all times / /
RadioStation
FM 2011 / /
Technology
laser / simulation / car movement using cyber technologies / automatic driver assistance technology / /
Adaptive Cruise Control:? Hybrid, Distributed, and Now Formally Verified Sarah M. Loos, Andr´e Platzer, and Ligia Nistor Carnegie Mellon University, Computer Science Department, Pittsburgh, PA, USA {sloos|aplatzer|lnist