State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
Abstract. We propose a model for communication in single-hop wireless sensor networks and define and evaluate the performance of a robust, energy balanced protocol for a powerful a...
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
Maurice H. ter Beek, Clarence A. Ellis, Jetty Klei...
This paper proposes the Simulated Behaviors Approach for using simulation to investigate the structure and function of control architectures for behavior based mobile robots. The ...
It has recently been suggested that the nervous system employs forward models for the purpose of motor control. The evidence for this hypothetical computational structure comes fr...