A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems

被引：0
|
作者：
Ahmed Khoumsi
机构：
[1] Université de Sherbrooke,Dep. GEGI
来源：
Discrete Event Dynamic Systems | 2005年 / 15卷
关键词：
supervisory control; real-time discrete event systems (RTDES); conformance relation ; timed automata; Set-Exp-Automata;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this article, we study the problem of controlling a plant described as a real-time discrete event system. The aimed objective is to ensure a conformance relation denoted tioco between the plant and the formal specification of the system, by means of a supervisor. We adopt a two-step approach. In Step 1, we express the problem into a non-real-time form, by using a transformation of timed automata (TA) into particular finite state automata called Set-Exp-Automata (SEA). The latter use two additional types of events, Set and Exp. And in Step 2, we propose a non-real-time control method suitable for SEA. We also propose a control architecture.
引用
收藏
页码：397 / 431
页数：34
相关论文
共 50 条
  • [41] Optimal Control of Multilayer Discrete Event Systems With Real-Time Constraint Guarantees
    Mao, Jianfeng
    Cassandras, Christos G.
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (10): : 1425 - 1434
  • [42] Conformance testing for real-time systems
    Moez Krichen
    Stavros Tripakis
    Formal Methods in System Design, 2009, 34 : 238 - 304
  • [43] Optimal Control of Discrete Event Systems with Weakly Hard Real-Time Constraints
    Shixin Zhuang
    Christos G. Cassandras
    Discrete Event Dynamic Systems, 2009, 19 : 67 - 89
  • [44] Optimal Control of Discrete Event Systems with Weakly Hard Real-Time Constraints
    Zhuang, Shixin
    Cassandras, Christos G.
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2009, 19 (01): : 67 - 89
  • [45] Conformance testing for real-time systems
    Krichen, Moez
    Tripakis, Stavros
    FORMAL METHODS IN SYSTEM DESIGN, 2009, 34 (03) : 238 - 304
  • [46] 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
  • [47] Supervisor synthesis for real-time discrete event systems
    Sathaye, AS
    Krogh, BH
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (01): : 5 - 35
  • [48] 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,
  • [49] Supervisor Synthesis for Real-Time Discrete Event Systems
    Archana S. Sathaye
    Bruce H. Krogh
    Discrete Event Dynamic Systems, 1998, 8 : 5 - 35
  • [50] Reducing the Learning Time of Reinforcement Learning for the Supervisory Control of Discrete Event Systems
    Yang, Junjun
    Tan, Kaige
    Feng, Lei
    El-Sherbeeny, Ahmed M.
    Li, Zhiwu
    IEEE ACCESS, 2023, 11 : 59840 - 59853
12345