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 条
  • [31] Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systems
    Cheng, JD
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 794 - 799
  • [32] TEMPORAL REASONING IN REAKT - AN ENVIRONMENT FOR REAL-TIME KNOWLEDGE-BASED SYSTEMS
    BARBER, F
    BOTTI, V
    ONAINDIA, E
    CRESPO, A
    AI COMMUNICATIONS, 1994, 7 (3-4) : 175 - 202
  • [33] Temporal Reasoning Component for Real-Time Intelligent Decision- Support Systems
    Eremeev, A. P.
    Kurilenko, I. E.
    SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING, 2011, 38 (05) : 332 - 343
  • [34] EXAMPLES OF A REAL-TIME TEMPORAL LOGIC SPECIFICATION
    KOYMANS, R
    DEROEVER, WP
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 231 - 252
  • [35] A real-time semantics of temporal logic of actions
    Kaminski, M
    Yariv, Y
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (06) : 921 - 937
  • [36] REAL-TIME TEMPORAL LOGIC DECISION PROCEDURES
    OSTROFF, JS
    REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 92 - 101
  • [37] State of the art on the temporal robustness of uniprocessor real-time systems
    George, Laurent
    Journal Europeen des Systemes Automatises, 2008, 42 (09): : 1135 - 1160
  • [38] State clock logic: A decidable real-time logic
    Raskin, JF
    Schobbens, PY
    HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 33 - 47
  • [39] Real-time scheduling under time-interval constraints
    de la Rocha, Fabio Rodrigues
    de Oliveira, Romulo Silva
    EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2007, 4808 : 158 - 169
  • [40] Real-Time Task Attributes and Temporal Constraints
    Ashamalla, Amir
    Beydoun, Ghassan
    Paramesh, Nandan
    AMCIS 2014 PROCEEDINGS, 2014,
12345