Dynamical Characteristics of Hierarchical Hybrid System for Multiple Satellite Control

摘要

The objective of this proposal is to investigate the dynamical properties of a hierarchical hybrid system. In the prior studies, we have developed a three-tier, hybrid system architecture for multiple remote sensing satellite control. There, we concentrated in modeling and analysis of a dynamical system whose solution only depends on the initial states. In this study, we propose to introduce another hybrid automaton with input variables. Then we will study reachability, safety, and stability properties of the hybrid system. This study will lead to a software verification tool. We will utilize game theory for automata and continuous dynamical systems. For the low-level control, we will investigate the use of statistical control and game theory for N-players. This will lead to a more effective low-level controller.