|
Box 118, SE-221 00 Lund, Sweden Visit: Ole Römers väg 1 Phone: +46 46 222 47 85 Fax: +46 46 13 81 18
|
||
|
Vladimeros Vladimerou Postdoctoral Researcher Department of Automatic Control LTH |
|
Box 118, SE-221 00 Lund, Sweden Visit: Ole Römers väg 1 Phone: +46 46 222 47 85 Fax: +46 46 13 81 18
|
||
|
Vladimeros Vladimerou Postdoctoral Researcher Department of Automatic Control LTH |
Control and formal methods: Verification and synthesis with performance guarantees in hybrid systems and games.
Networked autonomous vehicles: Software and hardware design using off-the-shelf and educational-institution-built components. Distributed systems and task allocation.
with P. Prabhakar, M. Viswanathan, and G. Dullerud, "STORMED Hybrid Systems" Proceedings of the ICALP 2008, pp 136-147
with A. Stubbs, et al, "Multivehicle Systems Control over Networks" IEEE Control Systems Magazine, June 2006, Vol 26, No 3, pp 56-59
Hybrid Systems and Verification
CHAT Control of Heterogeneus Automation Systems
Vladimeros Vladimerou
MR Erdos Number < 4 (Vladimerou, Viswanathan, Rubinfeld, Alon, Erdös)