The integrated discrete-event systems tool

被引：0
|
作者：
Rudie, Karen [1 ]
机构：
[1] Queens Univ, Dept Elect & Comp Engn, Kingston, ON, Canada
来源：
WODES 2006: Eighth International Workshop on Discrete Event Systems, Proceedings | 2006年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A software tool for discrete-event systems problem-solving is described. The tool, called IDES, features a graphical user interface, allows input to be entered in a way that mimics pen-and-paper drawing, and allows output to LATEX and other formats. The current version of the tool does not yet include DES operations; rather it serves as a prototype for the software we are building that will incorporate DES operations.
引用
收藏
页码：394 / 395
页数：2
相关论文
共 50 条
  • [21] Discrete-event control of nondeterministic systems
    Heymann, M
    Lin, F
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (01) : 3 - 17
  • [22] Incremental Diagnosis of Discrete-Event Systems
    Grastien, Alban
    Cordier, Marie-Odile
    Largouet, Christine
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1564 - 1565
  • [23] ON HIERARCHICAL CONTROL OF DISCRETE-EVENT SYSTEMS
    ZHONG, H
    WONHAM, WM
    PROCEEDINGS OF THE 22ND CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1 & 2, 1988, : 64 - 70
  • [24] Hierarchical control of discrete-event systems
    Wong, KC
    Wonham, WM
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1996, 6 (03): : 241 - 273
  • [25] Active diagnosis of discrete-event systems
    Sampath, M
    Lafortune, S
    Teneketzis, D
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (07) : 908 - 929
  • [26] On the synchronization of cyclic discrete-event systems
    Lopes, G. A. D.
    De Schutter, B.
    van den Boom, T. J. J.
    2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 5810 - 5815
  • [27] On Opacity Verification for Discrete-Event Systems
    Balun, Jiri
    Masopust, Tomas
    IFAC PAPERSONLINE, 2020, 53 (02): : 2075 - 2080
  • [28] On Relative Observability of Discrete-Event Systems
    Cai, Kai
    Zhang, Renyuan
    Wonham, W. M.
    2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 7285 - 7290
  • [29] Consistent reduction in discrete-event systems
    Cai, Kai
    Giua, Alessandro
    Seatzu, Carla
    AUTOMATICA, 2022, 142
  • [30] Supervisor Reduction for Discrete-Event Systems
    R. Su
    W.M. Wonham
    Discrete Event Dynamic Systems, 2004, 14 : 31 - 53
12345