Další formáty:
BibTeX
LaTeX
RIS
@article{937181, author = {Komenda, Jan and Masopust, Tomáš and van Schuppen, Jan H.}, article_number = {7}, keywords = {Discrete-event system, Coordination control, Coordinator, Supervisory control, Conditional controllability, Conditional observability, Conditional normality, Supremal conditionally controllable and conditionally normal sublanguage}, language = {eng}, issn = {0167-6911}, journal = {Systems & Control Letters}, title = {Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator}, url = {http://dx.doi.org/10.1016/j.sysconle.2011.04.005}, volume = {60}, year = {2011} }
TY - JOUR ID - 937181 AU - Komenda, Jan - Masopust, Tomáš - van Schuppen, Jan H. PY - 2011 TI - Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator JF - Systems & Control Letters VL - 60 IS - 7 SP - 492-502 EP - 492-502 PB - Elsevier B.V. SN - 01676911 KW - Discrete-event system, Coordination control, Coordinator, Supervisory control, Conditional controllability, Conditional observability, Conditional normality, Supremal conditionally controllable and conditionally normal sublanguage UR - http://dx.doi.org/10.1016/j.sysconle.2011.04.005 N2 - 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. ER -
KOMENDA, Jan, Tomáš MASOPUST a Jan H. VAN SCHUPPEN. Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. \textit{Systems \&{} Control Letters}. Elsevier B.V., 2011, roč.~60, č.~7, s.~492-502. ISSN~0167-6911.
|