Bisimulation based hierarchical system architecture for single-agent multi-modal systems. (English) Zbl 1044.93502

Tomlin, Claire J. (ed.) et al., Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25–27, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43321-X). Lect. Notes Comput. Sci. 2289, 281-293 (2002).
Summary: In this paper, a hierarchical system architecture for single-agent multi-modal systems is proposed. The layered system is designed to promote proof obligations so that system specification at one level of granularity conforms with that at another level and vice versa. The design principle for the construction of the hierarchy is based on bisimulation with respect to reachability specifications. Therefore, a higher-level system and a lower-level system are bisimilar. Our approach is illustrated by designing a system architecture for controlling an autonomous agent.
For the entire collection see [Zbl 0989.00055].


93A13 Hierarchical systems
49N75 Pursuit and evasion games
68Q45 Formal languages and automata
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68T99 Artificial intelligence
Full Text: Link