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 条
  • [1] Supervisory control design for real-time discrete event systems
    Schneider, O
    de Ridder, M
    Spathopoulos, M
    UKACC INTERNATIONAL CONFERENCE ON CONTROL '98, VOLS I&II, 1998, : 838 - 844
  • [2] ON SUPERVISORY CONTROL OF REAL-TIME DISCRETE-EVENT SYSTEMS
    LI, Y
    WONHAM, WM
    INFORMATION SCIENCES, 1988, 46 (03) : 159 - 183
  • [3] A GENERIC FRAMEWORK FOR REAL-TIME DISCRETE EVENT SIMULATION (DES) MODELLING
    Tavakoli, Siamak
    Mousavi, Alireza
    Komashie, Alexander
    2008 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2008, : 1931 - 1938
  • [4] Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
    Jianfeng Mao
    Christos G. Cassandras
    Discrete Event Dynamic Systems, 2010, 20 : 37 - 62
  • [5] Methods of discrete event systems control in AI real-time skills
    Kozak, P.
    Proceedings of the IFIP WG 5.4/IFAC Workshop on Dependability of Artificial Intelligence Systems, 1991,
  • [6] Optimal admission control of discrete event systems with real-time constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 1145 - 1150
  • [7] Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2010, 20 (01): : 37 - 62
  • [8] Supervisory control of real-time discrete event systems under bounded time constraints
    Park, SJ
    Cho, KH
    Lim, JT
    IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, 2004, 151 (03): : 347 - 352
  • [9] Receding Horizon control for a class of Discrete Event Systems with real-time constraints
    Miao, Lei
    Cassandras, Christos G.
    2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 7714 - 7719
  • [10] State feedback control of real-time discrete event systems with infinite states
    Park, Seong-Jin
    Cho, Kwang-Hyun
    INTERNATIONAL JOURNAL OF CONTROL, 2015, 88 (05) : 1078 - 1088
12345