Generalized Discrete Event Specifications of Logic Gates

被引：0
|
作者：
Hamri, Maamar [1 ]
Naamane, Aziz [1 ]
Giambiasi, Norbert [1 ]
机构：
[1] Aix Marseille Univ, LSIS UMR CNRS 7296, Marseille, France
来源：
2014 11TH INTERNATIONAL MULTI-CONFERENCE ON SYSTEMS, SIGNALS & DEVICES (SSD) | 2014年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, it is shown how the Generalized Discrete Event Specification paradigm can be advantageously used for logic gate modeling and simulation. The proposed approach is based on the use of piecewise-linear approximations for the representations of logic gates. It is noticed that the modeling part is independent from the simulation one.
引用
收藏
页数：6
相关论文
共 50 条
  • [21] Control reconfiguration of discrete event systems with dynamic control specifications
    Sampath, Rupa
    Darabi, Houshang
    Buy, Ugo
    Liu, Jing
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (01) : 84 - 100
  • [22] Directed Control of Discrete Event Systems with LTL[F] Specifications
    Sakakibara, Ami
    Ushio, Toshimitsu
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 3962 - 3967
  • [23] Decentralized control of discrete event systems with multiple local specifications
    Jiang, SB
    Chandra, V
    Kumar, R
    PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 959 - 964
  • [24] Supervisor synthesis for discrete event systems with finite and infinite specifications
    Cury, JER
    Krogh, BH
    SYSTEM STRUCTURE AND CONTROL 1998 (SSC'98), VOLS 1 AND 2, 1998, : 423 - 428
  • [25] Decentralized Control of Nondeterministic Discrete Event Systems with Deterministic Specifications
    Kimura, Akari
    Takai, Shigemasa
    2022 37TH INTERNATIONAL TECHNICAL CONFERENCE ON CIRCUITS/SYSTEMS, COMPUTERS AND COMMUNICATIONS (ITC-CSCC 2022), 2022, : 1019 - 1022
  • [26] Inductive logic programming for discrete event systems
    Lect Notes Artif Intell, (250):
  • [27] MODULAR FEEDBACK LOGIC FOR DISCRETE EVENT SYSTEMS
    RAMADGE, PJ
    WONHAM, WM
    SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (05) : 1202 - 1218
  • [28] Condition/Event Net Synthesis for Discrete Event Control Using Partial Language Specifications
    Hashizume, Satoru
    Hashizume, Susumu
    Yajima, Tomoyuki
    Onogi, Katsuaki
    2013 PROCEEDINGS OF SICE ANNUAL CONFERENCE (SICE), 2013, : 587 - 594
  • [29] Online Modifications for Event-Based Signal Temporal Logic Specifications
    Gundanaand, David
    Kress-Gazit, Hadas
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2024, 9 (08): : 6864 - 6871
  • [30] Analytical Modeling of Single Event Transients Propagation in Combinational Logic Gates
    Gili, Xavier
    Barcelo, Salvador
    Bota, Sebastia A.
    Segura, Jaume
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2012, 59 (04) : 971 - 979
12345