Vladimeros Vladimerou

16 papers A 1C 3Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2019 — conf
Preceding Vehicle State Prediction Using V2V Safety Messages.
VNC
Ahmed Hamdi Sakr, Vladimeros Vladimerou, Miles Johnson
2018 — conf
Lane Change Detection Using V2V Safety Messages.
ITSC
Ahmed Hamdi Sakr, Gaurav Bansal, Vladimeros Vladimerou, Miles Johnson
2017 — conf
V2V and on-board sensor fusion for road geometry estimation.
ITSC
Ahmed Hamdi Sakr, Gaurav Bansal, Vladimeros Vladimerou, Kris Kusano, Miles Johnson
2015 J jnl
A decidable class of planar linear hybrid systems.
Theor. Comput. Sci.
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2012 J jnl
Verification of Bounded Discrete Horizon Hybrid Automata.
IEEE Trans. Autom. Control.
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2011 C conf
Distributed resource management using iterative gradient update synthesis.
ACC
Karl Mårtensson, Vladimeros Vladimerou
2011 J jnl
Specifications for decidable hybrid games.
Theor. Comput. Sci.
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2009 — conf
STORMED Hybrid Games.
HSCC
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2009 — —
Specifications for Decidable Hybrid Automata and Games
Vladimeros Vladimerou
2009 A conf
Verifying Tolerant Systems Using Polynomial Approximations.
RTSS
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2008 — conf
A Decidable Class of Planar Linear Hybrid Systems.
HSCC
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2008 — conf
STORMED Hybrid Systems.
ICALP (2)
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2005 — ch.
Wireless Control with Bluetooth.
Handbook of Networked and Embedded Control Systems
Vladimeros Vladimerou, Geir E. Dullerud
2004 C conf
A hovercraft testbed for decentralized and cooperative control.
ACC
Vladimeros Vladimerou, Andrew Stubbs, Joel Rubel, Adam Fulford, Jeffrey Strick, Geir E. Dullerud
2002 C conf
Development of a vehicle network control testbed.
ACC
Andrew Stubbs, Vladimeros Vladimerou, Andy Vaughn, Geir E. Dullerud
2002 — conf
Distributed control of network vehicles.
CDC
Andrew Stubbs, Vladimeros Vladimerou, Joel Rubel, Geir E. Dullerud