Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
756527 | Systems & Control Letters | 2011 | 11 Pages |
Abstract
Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen,