• Graph Process Specifications for Hybrid Networked Systems 

      Twu, Philip Y.; Martin, Patrick; Egerstedt, Magnus B. (Georgia Institute of TechnologySpringer, 2012-12)
      Many large-scale multi-agent missions consist of a sequence of subtasks, each of which can be accomplished separately by having agents execute appropriate decentralized controllers. However, many decentralized controllers ...
    • Hybrid Systems Tools for Compiling Controllers for Cyber-Physical Systems 

      Martin, Patrick; Egerstedt, Magnus B. (Georgia Institute of TechnologySpringer, 2011-09-15)
      In this paper, we consider the problem of going from high-level specifications of complex control tasks for cyber-physical systems to their actual implementation and execution on physical devices. This transition between ...
    • Pancakes: A Software Framework for Distributed Robot and Sensor Network Applications 

      Martin, Patrick; de la Croix, Jean-Pierre; Egerstedt, Magnus B. (Georgia Institute of TechnologySpringer Verlag, 2013)
      The development of control applications for multi-agent robot and sensor networks is complicated by the heterogeneous nature of the systems involved, as well as their physical capabilities (or limitations).We propose a ...