Chapter

Hybrid Systems: Computation and Control

Volume 2289 of the series Lecture Notes in Computer Science pp 281-293

Date:

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

  • T. John KooAffiliated withDepartment of Electrical Engineering and Computer Sciences, University of California at Berkeley
  • , Shankar SastryAffiliated withDepartment of Electrical Engineering and Computer Sciences, University of California at Berkeley

* Final gross prices may vary according to local VAT.

Get Access

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.