A VERIFICATION METHODOLOGY FOR REAL-TIME SUPERVISORY CONTROL SPECIFICATION

被引：3
|
作者：
SHANMUGHAM, SG
ROBERTS, CA
机构：
[1] Department of Industrial, Management Systems Engineering Arizona State University Tempe
来源：
COMPUTERS & INDUSTRIAL ENGINEERING | 1995年 / 29卷
关键词：
D O I：
10.1016/0360-8352(95)00159-X
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
[No abstract available]
引用
收藏
页码：705 / 709
页数：5
相关论文
共 50 条
  • [41] Real-time specification patterns
    Konrad, S
    Cheng, BHC
    [J]. ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 372 - 381
  • [42] Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method
    Nakamura, Masaki
    Higashi, Shuki
    Sakakibara, Kazutoshi
    Ogata, Kazuhiro
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2022, E105A (05) : 823 - 832
  • [43] Real-time MPC supervisory system
    Leung, D
    Romagnoli, J
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 2000, 24 (2-7) : 285 - 290
  • [44] Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems
    Barbosa, Raul
    Karlsson, Johan
    [J]. 2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 192 - 199
  • [45] A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
    Regnier, Paul
    Lima, George
    Andrade, Aline
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 240 : 221 - 238
  • [46] PETRI NET BASED SPECIFICATION OF A REAL-TIME SUPERVISORY CONTROLLER FOR AN AUTONOMOUS WIND DIESEL SYSTEM
    KAMWA, I
    SAULNIER, B
    REID, R
    [J]. ELECTRIC POWER SYSTEMS RESEARCH, 1991, 21 (03) : 203 - 216
  • [47] Design of the discrete supervisory controller for real-time fuzzy control systems
    Muskinja, N
    Tovornik, B
    Donlagic, D
    [J]. FUZZ-IEEE '96 - PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1996, : 31 - 35
  • [48] Formal verification methodology for real-time Field Programmable Gate Array
    Jabeen, Shaista
    Srinivasan, Sudarshan
    Shuja, Sana
    [J]. IET COMPUTERS AND DIGITAL TECHNIQUES, 2017, 11 (05): : 197 - 203
  • [49] RPV: A programming environment for real-time parallel vision - Specification and programming methodology
    Arita, D
    Hamada, Y
    Yonemoto, S
    Taniguchi, R
    [J]. PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 218 - 225
  • [50] Supervisory control of real-time discrete event systems under bounded time constraints
    Park, SJ
    Cho, KH
    Lim, JT
    [J]. IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, 2004, 151 (03): : 347 - 352
12345