A FRAMEWORK FOR REAL-TIME DISCRETE EVENT CONTROL

被引：77
|
作者：
OSTROFF, JS [1 ]
WONHAM, WM [1 ]
机构：
[1] UNIV TORONTO,SYST CONTROL GRP,TORONTO M5S 1A4,ONTARIO,CANADA
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1990年 / 35卷 / 04期
关键词：
D O I：
10.1109/9.52290
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The TTM/RTTL framework is presented for modeling, specifying, and analyzing real-time discrete event systems. Timed transition models (TTM's) are used to represent the processes of the plant and its controller. Real-time temporal logic (RTTL) is the assertion language for specifying plant behavior and verifying that a controller satisfies the specifications. The framework adapts features from the program verification literature which are useful for posing problems of interest to the control engineer like modular synthesis and design. © 1990 IEEE
引用
收藏
页码：386 / 397
页数：12
相关论文
共 50 条
  • [21] A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs
    Dhananjayan, Amrith
    Seow, Kiam Tian
    IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, 2015, 45 (03) : 350 - 361
  • [22] SYNTHESIS OF CONTROLLERS FOR REAL-TIME DISCRETE EVENT SYSTEMS
    OSTROFF, JS
    PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 138 - 144
  • [23] Supervisor synthesis for real-time discrete event systems
    Sathaye, AS
    Krogh, BH
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (01): : 5 - 35
  • [24] On the Schedulability of Real-Time Discrete-Event Systems
    Matsikoudis, Eleftherios
    Stergiou, Christos
    Lee, Edward A.
    2013 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2013,
  • [25] Supervisor Synthesis for Real-Time Discrete Event Systems
    Archana S. Sathaye
    Bruce H. Krogh
    Discrete Event Dynamic Systems, 1998, 8 : 5 - 35
  • [26] Real-Time Event Framework based on component model for distributed real-time systems
    Yoon, EY
    Yoon, YI
    PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 1942 - 1948
  • [27] A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development
    Joon Sung Hong
    Hae-Sang Song
    Tag Gon Kim
    Kyu Ho Park
    Discrete Event Dynamic Systems, 1997, 7 : 355 - 375
  • [28] A real-time discrete event system specification formalism for seamless real-time software development
    Hong, JS
    Song, HS
    Kim, TG
    Park, KH
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (04): : 355 - 375
  • [29] Optimal Control of Two-Stage Discrete Event Systems with Real-Time Constraints
    Jianfeng Mao
    Christos G. Cassandras
    Discrete Event Dynamic Systems, 2007, 17 : 505 - 529
  • [30] On-line Optimal Control of a Class of Discrete Event Systems with Real-Time Constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2010, 20 (02): : 187 - 213
12345