In this paper, a hierarchical system architecture for singleagent 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.
CITATION STYLE
Koo, T. J., & Sastry, S. (2002). Bisimulation based hierarchical system architecture for single-agent multi-modal systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2289, pp. 281–293). Springer Verlag. https://doi.org/10.1007/3-540-45873-5_23
Mendeley helps you to discover research relevant for your work.