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 -