Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
752515 | Systems & Control Letters | 2006 | 7 Pages |
Abstract
To avoid the state-space explosion by including tick events in timed discrete event systems (DESs) under partial observation, a notion of eligible time bounds is introduced and based on the notion, controllability and observability conditions of languages are presented. In particular, this paper shows that these controllability and observability conditions are necessary and sufficient for the existence of a supervisor to achieve the given language specification.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Seong-Jin Park, Kwang-Hyun Cho,