Hybrid System Reachability-Based Analysis of Dynamical Agents
This paper describes a hybrid dynamical system-based approach to formalizing and mechanizing analyses of dynamical agents, i.e., situated, embodied actors that continuously respond to their environment. As an example, the paper describes a class of formalized metrics for reasoning about the relative difficulties of agent navigation in various environments —not just whether one scenario is more difficult than another, but how much more difficult a scenario might be— and presents results of relative difficulty reasoning using a specific example metric. This illustrates that qualitative or heuristic agent properties, which are commonly unformalized and imprecise, may be formalized and rigorously analyzed using this approach. The paper also discusses the potential implementation of relative difficulty metrics in meta-intelligent agents.
KeywordsMobile Robot Hybrid System Initial Region Reachability Analysis Dynamical Agent
Unable to display preview. Download preview PDF.
- 5.Aaron, E., Sun, H., Ivančić, F., Metaxas, D.: A hybrid dynamical systems approach to intelligent low-level navigation. In: Proceedings of Computer Animation, pp. 154–163 (2002)Google Scholar
- 6.Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)Google Scholar
- 10.Dang, T.: Verification and Synthesis of Hybrid Systems. PhD thesis, Verimag, Institut National Polytechnique de Grenoble (2000)Google Scholar