%0 Journal Article %1 ParkCho07 %A Park, Seong-Jin %A Cho, Kwang-Hyun %D 2007 %J Systems & Control Letters %K citeulike control, des, supervisory %N 2 %P 106--112 %R 10.1016/j.sysconle.2006.08.002 %T Supervisory control of discrete event systems with communication delays and partial observations %U http://dx.doi.org/10.1016/j.sysconle.2006.08.002 %V 56 %X This paper presents necessary and sufficient conditions for the existence of a nonblocking supervisor that achieves a given language specification for a discrete event system (DES) with communication delays and partial observations. In many practical situations, some uncontrollable events can subsequently occur before a proper control action is applied to the DES due to delays in sensing, communicating, and actuating. Moreover, some of the uncontrollable events may be unobservable. To achieve a given language specification in such situations, this paper presents a language property called delay observability which assures no confliction in making a decision for legal controllable events under partial observation and delay communication.

@article{ParkCho07, abstract = {{This paper presents necessary and sufficient conditions for the existence of a nonblocking supervisor that achieves a given language specification for a discrete event system (DES) with communication delays and partial observations. In many practical situations, some uncontrollable events can subsequently occur before a proper control action is applied to the DES due to delays in sensing, communicating, and actuating. Moreover, some of the uncontrollable events may be unobservable. To achieve a given language specification in such situations, this paper presents a language property called delay observability which assures no confliction in making a decision for legal controllable events under partial observation and delay communication.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Park, Seong-Jin and Cho, Kwang-Hyun}, biburl = {https://www.bibsonomy.org/bibtex/23d3131c815cd0de5600c7846a0fa81c3/fernand0}, citeulike-article-id = {1151616}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.sysconle.2006.08.002}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B6V4X-4M1CYRH-1/2/623ddbb7d4212d52db32846f01867a74}, doi = {10.1016/j.sysconle.2006.08.002}, interhash = {03cea3561aa6e60760af1e42936da7d3}, intrahash = {3d3131c815cd0de5600c7846a0fa81c3}, journal = {Systems \& Control Letters}, keywords = {citeulike control, des, supervisory}, month = feb, number = 2, pages = {106--112}, posted-at = {2007-03-09 16:29:50}, priority = {2}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{Supervisory control of discrete event systems with communication delays and partial observations}}, url = {http://dx.doi.org/10.1016/j.sysconle.2006.08.002}, volume = 56, year = 2007 }