We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network topologies, geometric transition conditions, ...

In this paper we study the problem of generating control programs, i.e. strings of symbolic descriptions of control-interrupt pairs (or modes) from input-output data. In particular, we take the point of view that such ...

In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic control programs using strings from a motion description ...

In this paper we consider the problem of conflict avoidance for autonomous systems using a hierarchical control strategy that we establish using the notion of predicate consistent abstractions. We apply our proposed ...

In this article, we introduce the MODEbox tool for automatically producing hybrid, multimodal control programs from data. In particular, given an I/O string, four distinct operational units are introduced. The application ...

One challenge facing coordination and deployment of unmanned aerial vehicles (UAVs) today is the amount of human involvement needed to carry out a successful mission. Currently, control and coordination of UAVs typically ...

In this work, we consider the controlled agreement problem for multi-agent networks, where a collection of agents take on leader roles while the remaining agents execute local, consensus-like protocols. Our aim is to ...

In this paper we study the problem of generating control programs, i.e. strings of symbolic descriptions of control-interrupt pairs (or modes) from input-output data. In particular, we take the point of view that such ...

In this paper, we show that when it is possible to use feedback in the specification of "motor programs," the length of the descriptions of the instruction sequences for carrying out a given task can be reduced by a ...