Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems

  • T. John Koo
  • Shankar Sastry
Conference paper

DOI: 10.1007/3-540-45873-5_23

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2289)
Cite this paper as:
Koo T.J., Sastry S. (2002) Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems. In: Tomlin C.J., Greenstreet M.R. (eds) Hybrid Systems: Computation and Control. HSCC 2002. Lecture Notes in Computer Science, vol 2289. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • T. John Koo
    • 1
  • Shankar Sastry
    • 1
  1. 1.Department of Electrical Engineering and Computer SciencesUniversity of California at BerkeleyBerkeley

Personalised recommendations