TEMPORAL LOGIC AND Z-SPECIFICATIONS

被引：0
|
作者：
DUKE, R [1 ]
SMITH, G [1 ]
机构：
[1] UNIV QUEENSLAND,DEPT COMP SCI,ST LUCIA,QLD 4067,AUSTRALIA
来源：
AUSTRALIAN COMPUTER JOURNAL | 1989年 / 21卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：62 / 66
页数：5
相关论文
共 50 条
  • [41] The use of a logic programming language in the animation of Z specifications
    West, Margaret M.
    Logic Programming, Proceedings, 2007, 4670 : 451 - 452
  • [42] A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems
    Ahmad, Hammad
    Jeannin, Jean-Baptiste
    HSCC2021: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK), 2021,
  • [43] Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis
    Buyukkocak, Ali Tevfik
    Aksaray, Derya
    2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 2890 - 2896
  • [44] Distributed implementations of global temporal logic motion specifications
    Kloetzer, Marius
    Bella, Calin
    2008 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-9, 2008, : 393 - 398
  • [45] Voltage Restoration in Microgrids using Temporal Logic Specifications
    Taousser, Fatima Z.
    Olama, Mohammed M.
    Djouadi, Seddik M.
    Zhang, Yichen
    Xue, Yaosuo
    Ollis, Ben
    Tomsovic, Kevin
    2020 IEEE POWER & ENERGY SOCIETY INNOVATIVE SMART GRID TECHNOLOGIES CONFERENCE (ISGT), 2020,
  • [46] Prescribed Performance Control for Signal Temporal Logic Specifications
    Lindemann, Lars
    Verginis, Christos K.
    Dimarogonas, Dimos V.
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [47] Deriving liveness goals from temporal logic specifications
    Caleiro, C
    Saake, G
    Sernadas, A
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 521 - 553
  • [48] Building SWIFI tools from temporal logic specifications
    Rodríguez, M
    Fabre, JC
    Arlat, J
    2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2003, : 95 - 104
  • [49] Model Predictive Control with Signal Temporal Logic Specifications
    Raman, Vasumathi
    Donze, Alexandre
    Maasoumy, Mehdi
    Murray, Richard M.
    Sangiovanni-Vincentelli, Alberto
    Seshia, Sanjit A.
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 81 - 87
  • [50] Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
    Leahy, Kevin
    Jones, Austin
    Vasile, Cristian-Ioan
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2022, 7 (02) : 2297 - 2304
12345