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 条
  • [41] Supervisory control of dense real-time discrete-event systems with partial observation
    Khoumsi, A
    WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 105 - 112
  • [42] Optimal control of multi-stage discrete event systems with real-time constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 1061 - +
  • [43] Optimal on-off control for a class of discrete event systems with real-time constraints
    Lei Miao
    Lijian Xu
    Dingde Jiang
    Discrete Event Dynamic Systems, 2019, 29 : 79 - 90
  • [44] Optimal on-off control for a class of discrete event systems with real-time constraints
    Miao, Lei
    Xu, Lijian
    Jiang, Dingde
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2019, 29 (01): : 79 - 90
  • [45] Optimal control of two-stage discrete event systems with real-time constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2007, 17 (04): : 505 - 529
  • [46] Distributed Framework for Political Event Coding in Real-Time
    Salam, Sayeed
    Brandt, Patrick
    Holmes, Jennifer
    Khan, Latifur
    2018 2ND EUROPEAN CONFERENCE ON ELECTRICAL ENGINEERING AND COMPUTER SCIENCE (EECS 2018), 2018, : 266 - 273
  • [47] Real-time event control in active databases
    Baekgaard, L
    Godskesen, JC
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 42 (03) : 263 - 271
  • [48] Modeling of discrete event systems with hard real-time deadlines
    Xi'an Jiaotong Univ, Xi'an, China
    Hsi An Chiao Tung Ta Hsueh, 7 (27-31):
  • [49] On controlling prioritized discrete event systems with real-time constraints
    Lei Miao
    Discrete Event Dynamic Systems, 2018, 28 : 427 - 447
  • [50] REAL-TIME PARAMETRIC ANALYSIS OF DISCRETE EVENT SYSTEM TRAJECTORIES
    LEE, JI
    CASSANDRAS, CG
    HO, YC
    PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 2024 - 2025
12345