Abstract:

In this paper we propose a method to create discrete abstraction of state space behavior for continuous-time systems based on gradient analysis of the system dynamics. Then we describe how to use such a discrete model to design a supervisory controller for a given safety specification for the system. Finally we provide an entropy measure of nondeterminism, which can be used to evaluate the quality of the result discrete model as the degree of nondeterminism in that model. The discrete abstraction and supervisory control approach is demonstrated on a two tank system with switching control.

Download (isis main web site): RuEtal2003.pdf