Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Ellipsoidal Techniques for Reachability Analysis
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid System Models of Navigation Strategies for Games and Animations
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
The d/dt Tool for Verification of Hybrid Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation
CA '02 Proceedings of the Computer Animation
Brief A hybrid control approach to action coordination for mobile robots
Automatica (Journal of IFAC)
| Hi-index | 0.00 |
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.