Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Discrete Abstraction and Supervisory Control of Switching Systems

Summary: Discrete Abstraction and Supervisory Control of
Switching Systems
Rong Su
Sherif Abdelwahed
Gabor Karsai
Gautam Biswas
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 spiflication 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.
Keywords: Discrete abstraction, supervisory control,
hybrid systems.
1 Introduction
In this paper we consider the problem of discrete ab-
straction of system bahavior and supervisory control for


Source: Abdelwahed, Sherif - Department of Electrical Engineering and Computer Science, Vanderbilt University


Collections: Engineering