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 条
  • [31] On-line Optimal Control of a Class of Discrete Event Systems with Real-Time Constraints
    Jianfeng Mao
    Christos G. Cassandras
    Discrete Event Dynamic Systems, 2010, 20 : 187 - 213
  • [32] Supervisory control of real-time discrete-event systems using lattice theory
    Cofer, DD
    Garg, VK
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (02) : 199 - 209
  • [33] Optimal Control of Multi-Stage Discrete Event Systems With Real-Time Constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2009, 54 (01) : 108 - 123
  • [34] Optimal control of two-stage discrete event systems with real-time constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 125 - +
  • [35] A new method for centralised and modular supervisory control of real-time discrete event systems
    Ouedraogo, Lucien
    Khoumsi, Ahmed
    Nourelfath, Mustapha
    INTERNATIONAL JOURNAL OF CONTROL, 2010, 83 (01) : 1 - 39
  • [36] On-line Optimal Control of a Class of Discrete Event Systems with Real-Time Constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 1471 - 1476
  • [37] A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control
    Dhananjayan, Amrith
    Seow, Kiam Tian
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (09): : 1204 - 1215
  • [38] Supervisory control of real-time discrete event systems modeled by timed automata with invariants
    Khoumsi, A
    Ouedraogo, L
    Nourelfath, M
    PROCEEDINGS OF THE EIGHTH IASTED INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND CONTROL, 2005, : 494 - 501
  • [39] Receding horizon control for a class of discrete-event systems with real-time constraints
    Miao, Lei
    Cassandras, Christos G.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (05) : 825 - 839
  • [40] A new method for centralized and modular supervisory control of real-time discrete event systems
    Ouedraogo, Lucien
    Nourelfath, Mustapha
    Khoumsi, Ahmed
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 168 - +
12345