Reasoning about real-time systems with temporal interval logic constraints on multi-state automata

被引：0
|
作者：
机构：
来源：
NASA Conference Publication | 1991年 / 3103 pt 2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS
    GOSWAMI, A
    BELL, M
    JOSEPH, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 1 - 20
  • [42] Comments on "An interval logic for real-time system specification"
    Furia, CA
    Morzenti, A
    Pradella, M
    Rossi, MG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (06) : 424 - 427
  • [43] A real-time interval logic and its decision procedure
    Ramakrishna, YS
    Dillon, LK
    Moser, LE
    MelliarSmith, PM
    Kutty, G
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1996, 21 : 147 - 184
  • [44] CONSTRAINTS ON REAL-TIME COMPUTER SYSTEMS
    CUNNINGT.A
    ERICSSON TECHNICS, 1969, 25 (02): : 59 - &
  • [45] Interval-Valued Reliability Analysis of Multi-State Systems
    Li, Chun-yang
    Chen, Xun
    Yi, Xiao-shan
    Tao, Jun-yong
    IEEE TRANSACTIONS ON RELIABILITY, 2011, 60 (01) : 323 - 330
  • [46] Reasoning about real-time repetitions: terminating and nonterminating
    Hayes, I
    SCIENCE OF COMPUTER PROGRAMMING, 2002, 43 (2-3) : 161 - 192
  • [47] Requirements specification of real-time systems: Temporal parameters and timing-constraints
    Kirner, TG
    Davis, AM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (12) : 735 - 741
  • [48] Sampling-based path planning under temporal logic constraints with real-time adaptation
    Chen, Yizhou
    Wang, Ruoyu
    Wang, Xinyi
    Chen, Ben M.
    2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA, 2023, : 3700 - 3706
  • [49] Real-time reasoning: the case of surveillance systems
    Micucci, Daniela
    Oldani, Marco
    Tisato, Francesco
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 255 - 258
  • [50] A Real-Time Integrated Hierarchical Temporal Memory Network for the Real-Time Continuous Multi-Interval Prediction of Data Streams
    Kang, Hyun-Syug
    JOURNAL OF INFORMATION PROCESSING SYSTEMS, 2015, 11 (01): : 39 - 56
12345