Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga
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.
Abstract Making schedules for batch controlled plants in the chemical process industry is a topic often discussed. A wide range of scheduling tools have a separated model and a mathematical optimizer. In this paper we discuss a solution where a event discrete simulation tool is connected to the DCS. With all necessary model information stored in the DCS the scheduling tools in plant independent, where a optimizer (a combination of heuristics and genetic algorithms) generates a proposal for the final schedule.