New predictability verification tests for discrete-event systems modeled by finite state automata

被引：1
|
作者：
Barcelos, Raphael J. . [1 ]
Basilio, Joao C. . [1 ]
机构：
[1] Univ Fed Rio de Janeiro, Dept Elect Engn, BR-21949900 Rio De Janeiro, Brazil
来源：
IFAC PAPERSONLINE | 2020年 / 53卷 / 04期
关键词：
Discrete event systems; automaton; predictability; copredictability; failure prognosis; copredictability verification; POLYNOMIAL-TIME VERIFICATION; DECENTRALIZED DIAGNOSABILITY; FAILURE DIAGNOSIS; PROGNOSIS; CODIAGNOSABILITY;
D O I：
10.1016/j.ifacol.2021.04.023
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper deals with the problem of copredictability verification of discrete event systems (DES) modeled by automata in less restrictive scenarios, i.e., avoiding the assumptions on language liveness and absence of cycles of states connected by unobservable events only. We present necessary and sufficient conditions for a regular language to be copredictable, and adapt previous results on diagnosability verification to develop two new strategies to verify copredictability: the first one is based on a diagnoser-like automaton, and the second one by using verifiers. Copyright (C) 2020 The Authors.
引用
下载
收藏
页码：243 / 249
页数：7
相关论文
共 50 条
  • [41] State-based Safe-codiagnosability of Discrete-Event Systems and A Polynomial Verification Algorithm
    Deng, Weilin
    Qiu, Daowen
    PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, : 2397 - 2402
  • [42] Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets
    Raman, A.
    Sreenivas, R. S.
    2019 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2019, : 2372 - 2377
  • [43] Integrating temporal logic as a state-based specification language for discrete-event control design in finite automata
    Seow, Kiam Tian
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (03) : 451 - 464
  • [44] Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems
    Xiaoguang Han
    Pengfei Wang
    Zengqiang Chen
    Science China Information Sciences, 2020, 63
  • [45] Incremental verification and synthesis of discrete-event systems guided by counter examples
    Brandin, BA
    Malik, R
    Malik, P
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2004, 12 (03) : 387 - 401
  • [46] 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
  • [47] Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems
    Liu, Fuchun
    Cao, Weihua
    Dziong, Zbigniew
    FUZZY SETS AND SYSTEMS, 2024, 490
  • [48] Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems
    Xiaoguang HAN
    Pengfei WANG
    Zengqiang CHEN
    Science China(Information Sciences), 2020, 63 (11) : 324 - 326
  • [49] A Polynomial Verification Algorithm for Safe Diagnosability of Fuzzy Discrete-Event Systems
    Liu Fuchun
    Zhang Qiansheng
    Huang Renwei
    2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 3915 - 3920
  • [50] Verification algorithm for opacity of discrete-event systems with rough set theory
    Liu F.-C.
    Zhao Y.-P.
    Zhao R.
    Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2019, 36 (08): : 1259 - 1264
12345