738 search results - page 61 / 148 » Behavioral Systems Theory: A Survey |
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
COMPSEC
2004
13 years 8 months ago
2004
Identifying the intentions or attempts of the monitored agents through observations is very vital in computer network security. In this paper, a plan recognition method for predict...
ATAL
2006
Springer
14 years 16 days ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
JLP
2006
13 years 8 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
NIME
2004
Springer
14 years 2 months ago
2004
Springer
This paper proposes an interface for improvisational ensemble plays which synthesizes musical sounds and graphical images on the floor from people’s act of “walking.” The ai...