The earlier developed two stage hybrid automata is not a perfect representation of human
walk as it is a combination of discrete and continuous phases and the whole human GAIT …

Many application tasks require the cooperation of two or more robots. Humans are good at
cooperation in shared workspaces, because they anticipate and adapt to the intentions and …

This paper shows how multiagent systems can be modeled by a combination of UML
statecharts and hybrid automata. This allows formal system specification on different levels …

A striking aspect of human coordination is that we achieve it with little or no communication.
We achieve this implicit coordination by taking the perspective of others and inferring their …

Making automation with robots more viable in smaller enterprises requires programming
methods aimed at non-experts. In this work, we expand an automata-based programming …

Abstract In previous works, Hierarchical Hybrid Automata (HHA) have been proposed as a
combination of UML state machine diagrams and hybrid automata to model complex and in …

This paper shows how multiagent systems can be modeled by a combination of UML
statecharts and hybrid automata. This allows formal system specification on different levels …

Hybrid systems are the result of merging the two most commonly used models of dynamical
systems, namely continuous dynamical systems defined by differential equations, and …

In this paper, we consider dynamic multirobot tasks that can be done by any of the robots,
but only with the assistance of any other robot. We propose a novel approach based on the …

This paper studies the problem of forming and updating the network topology in a multirobot
system that is simultaneously engaged in a given task. The contribution of this paper is to …