The Formal Logic Approach for Checking the Observability of a Specification Language on DES Functioning

被引：0
|
作者：
Davydov, Artem [1 ]
Larionov, Aleksandr [1 ]
Nagul, Nadezhda [1 ]
机构：
[1] Russian Acad Sci, Siberian Branch, Matrosov Inst Syst Dynam & Control Theory, 134 Lermontov Str, Irkutsk 664033, Russia
来源：
2018 41ST INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO) | 2018年
基金：
俄罗斯科学基金会;
关键词：
discrete-event system; supervisory control; observability; first-order logics; automata; planning; SUPERVISORY CONTROL; EVENT;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Using the new approach to the formalization of controlled discrete-event systems (DES), based on positively constructed formulas (PCFs) calculus, the algorithm for testing the observability of the specification languages is presented in this paper. An information mapping in the form of a natural projection and an automata-based representation of a logical DES is considered. Sequences of events, causing changes in the state of the system, are generated as words of a formal language. A discrete-event model of an autonomous underwater vehicle (AUV) as a member of an AUV group is developed, which describe the main high-level functions of the AUV in surveillance missions. Its formalization in the form of PCF is presented.
引用
收藏
页码：938 / 943
页数：6
相关论文
共 50 条
  • [1] On Checking Observability of Formal Languages in DES Control Problems*
    Davydov, Artem
    Larionov, Aleksandr
    Nagul, Nadezhda
    [J]. 2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1567 - 1572
  • [2] Operational ontological approach to formal programming language specification
    I. S. Anureev
    [J]. Programming and Computer Software, 2009, 35 : 35 - 42
  • [3] Operational ontological approach to formal programming language specification
    Anureev, I. S.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2009, 35 (01) : 35 - 42
  • [4] A rewriting logic approach to the formal specification and verification of web applications
    Alpuente, Maria
    Ballis, Demis
    Romero, Daniel
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 81 : 79 - 107
  • [5] On Checking Controllability of Specification Languages for DES
    Davydov, Artem
    Larionov, Aleksandr
    Nagul, Nadezhda
    [J]. 2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 1151 - 1156
  • [6] English as a formal specification language
    Schwitter, R
    [J]. 13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [7] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [8] Alneelain: A Formal Specification Language
    Ali, Nahid A.
    Mirghani, Amal A.
    Ibrahim, Abdelrasoul Y.
    [J]. 2017 INTERNATIONAL CONFERENCE ON COMMUNICATION, CONTROL, COMPUTING AND ELECTRONICS ENGINEERING (ICCCCEE), 2017,
  • [9] FORMAL LOGIC AND LANGUAGE
    GORSKII, DP
    [J]. SOVIET STUDIES IN PHILOSOPHY, 1963, 2 (1-2): : 49 - 68
  • [10] Analyzing a Formal Specification of Mondex Using Model Checking
    Zeng, Reng
    He, Xudong
    [J]. THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 214 - 229
12345