TY - JOUR

T1 - Approximation of multiple switched flow systems for the purpose of control synthesis

AU - Moor, Thomas

AU - Raisch, Jörg

PY - 2000/12

Y1 - 2000/12

N2 - Switched flow systems exhibit a continuous state evolving w.r.t. continuous time. However, a purely discrete interface to the environment is provided, acting on input events by switching between a finite number of flows and generating output events whenever the continuous state crosses certain boundaries. Here, a practically important task is the synthesis of a supervisory controller enforcing a specification in terms of input and output events to be met. A well known approach is so called approximation based synthesis, where the switched flow system is approximately realized by a finite automation. In the situation of multiple switched flow systems the question arises first, how to approximate the individual systems, and second, how to compose the approximations in order to finally apply a synthesis scheme. It turns out that retaining clock time on the approximation level leads to a suitable overall procedure.

AB - Switched flow systems exhibit a continuous state evolving w.r.t. continuous time. However, a purely discrete interface to the environment is provided, acting on input events by switching between a finite number of flows and generating output events whenever the continuous state crosses certain boundaries. Here, a practically important task is the synthesis of a supervisory controller enforcing a specification in terms of input and output events to be met. A well known approach is so called approximation based synthesis, where the switched flow system is approximately realized by a finite automation. In the situation of multiple switched flow systems the question arises first, how to approximate the individual systems, and second, how to compose the approximations in order to finally apply a synthesis scheme. It turns out that retaining clock time on the approximation level leads to a suitable overall procedure.

KW - Discrete approximations

KW - Discrete event systems

KW - Hybrid systems

KW - Supervisory control synthesis

UR - http://www.scopus.com/inward/record.url?scp=0034439810&partnerID=8YFLogxK

U2 - 10.1109/CDC.2000.912266

DO - 10.1109/CDC.2000.912266

M3 - Article

AN - SCOPUS:0034439810

SN - 0743-1546

VL - 4

SP - 3604

EP - 3609

JO - Proceedings of the IEEE Conference on Decision and Control

JF - Proceedings of the IEEE Conference on Decision and Control

ER -