Index Analysis: Approach Theory at Work
Approach spaces.- Topological and metric approach spaces.- Approach invariants.- Index analysis.- Uniform gauge spaces.- Extensions of spaces and morphisms.- Approach theory meets Topology.- Approach theory meets Functional analysis.- Approach theory meets Probability.- Approach theory meets Hyperspaces.- Approach theory meets DCPO's and Domains.- Categorical considerations.
We present a method for synthesising control strategies for continuous dynamical systems. We use Uppaal Tiga for the synthesis in combination with a set-based Euler method for guaranteeing that the synthesis is safe. We present both a general method and a method which provides tighter bounds for monotone systems. As a case-study, we synthesize a guaranteed safe strategy for a simplified adaptive cruise control application. We show that the guaranteed strategy is only slightly more conservative than the strategy generated in the original adaptive cruise control paper which uses a discrete non guaranteed strategy. Also, we show how reinforcement learning may be used to obtain optimal sub-strategies.