Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems Submitted by Herbert Tanner on Thu, 10/31/2013 - 13:41 CPS Domains Robotics Foundations Concurrency and Timing Real-time Systems Modeling Real-Time Coordination Academia