Minimal K-step Event Observation Policy for On-line Observability of Discrete Event Systems

被引:0
|
作者
Xin Juqing [1 ]
Jiang Yan [1 ]
Shu Shaolong [2 ]
机构
[1] Univ Shanghai Sci Technol, Dept Syst Engn, Shanghai 200093, Peoples R China
[2] Tongji Univ, Sch Elect & Informat Engn, Shanghai 200092, Peoples R China
来源
PROCEEDINGS OF THE 29TH CHINESE CONTROL CONFERENCE | 2010年
基金
中国国家自然科学基金;
关键词
Discrete Event Systems; State Estimation; Communication; Sensor Activation; On-line; SUPERVISORY CONTROL;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In practical systems, in order to save energy of sensors and the bandwidth of communication networks which often are critical resources, we need to activate the sensors and use the communication networks as little as possible. Such problem can be formulated as a minimal event observation problem with discrete event system framework. State estimation is usually implemented on-line and how to find a minimal on-line event observation policy becomes meaningful. Observablity is an important property of state estimation for supervisory control and a minimal event observation policy which changes the observable event set whenever there is an output has been proposed. However, If the occurrences of observation events are frequent, then we need to activate/inactivate the smart sensors frequently. Frequently activating/inactivating the smart sensors need more communication resources and may do damage to the smart sensors. So we sometimes need to make a trade off between minimal event observation and frequency of changing the observable event set dynamically. Here we propose a minimal K-step event observation policy. That is, we change the observable event set dynamically after we observe K observable events occurred. By such way, we can change the state of the sensors much less and such policy can largely reduce the communication data between the observer and the sensors when the observer runs.
引用
收藏
页码:1476 / 1482
页数:7
相关论文
共 50 条
  • [1] Verification of k-Step and Definite Critical Observability in Discrete-Event Systems
    Tong, Yin
    Ma, Ziyue
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (07) : 4305 - 4312
  • [2] A k-step String Compression Approach for Discrete Event Systems
    Cao, Lin
    Shu, Shaolong
    Lin, Feng
    Wang, Weiling
    Gong, Chaohui
    2022 IEEE 17TH INTERNATIONAL CONFERENCE ON CONTROL & AUTOMATION, ICCA, 2022, : 1021 - 1027
  • [3] Verification of Strong K-Step Opacity for Discrete-Event Systems
    Han, Xiaoguang
    Zhang, Kuize
    Li, Zhiwu
    2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 4250 - 4255
  • [4] Verifying weak and strong k-step opacity in discrete-event systems✩
    Balun, Jiri
    Masopust, Tomas
    AUTOMATICA, 2023, 155
  • [5] On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems
    Balun, Jiri
    Masopust, Tomas
    IFAC PAPERSONLINE, 2022, 55 (28): : 108 - 113
  • [6] Infinite-step opacity and K-step opacity of stochastic discrete-event systems
    Yin, Xiang
    Li, Zhaojian
    Wang, Weilin
    Li, Shaoyuan
    AUTOMATICA, 2019, 99 : 266 - 274
  • [7] Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
    Qian Chu
    Jiahui Zhang
    Xiaoguang Han
    Zhiwu Li
    Zengqiang Chen
    Journal of Systems Science and Complexity, 2023, 36 : 1830 - 1850
  • [8] Infinite-and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
    CHU Qian
    ZHANG Jiahui
    HAN Xiaoguang
    LI Zhiwu
    CHEN Zengqiang
    Journal of Systems Science & Complexity, 2023, 36 (05) : 1830 - 1850
  • [9] On Network Observability of Discrete Event Systems
    Wang, Fei
    Shu, Shaolong
    Lin, Feng
    2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 3528 - 3533
  • [10] Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
    Chu, Qian
    Zhang, Jiahui
    Han, Xiaoguang
    Li, Zhiwu
    Chen, Zengqiang
    JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2023, 36 (05) : 1830 - 1850