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 条

[1] Logic gate modeling and simulation using generalized discrete event specifications: G-DEVS
Naamane, A
Giambiasi, N
Modelling and Simulation 2003, 2003, : 252 - 256
[2] Logic gate modeling and simulation using generalized discrete event specifications : G-DEVS
Naamane, A
Giambiasi, N
8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS, AND INFORMATICS, VOL XVI, PROCEEDINGS, 2004, : 203 - 207
[3] Supervisory control of discrete event systems with CTL* temporal logic specifications
Jiang, SB
Kumar, R
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2006, 44 (06) : 2079 - 2103
[4] Supervisory control of discrete event systems with CTL* temporal logic specifications
Jiang, SB
Kumar, R
PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 4122 - 4127
[5] Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications
Sakakibara, Ami
Ushio, Toshimitsu
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2018, E101A (02): : 313 - 321
[6] SPECIFICATIONS OF THRESHOLD-LOGIC GATES FOR OPTIMUM SSI LOGIC PACKAGING
HURST, SL
ELECTRONICS LETTERS, 1972, 8 (21) : 514 - &
[7] COMPOSITIONAL SYNTHESIS FOR COOPERATING DISCRETE EVENT SYSTEMS FROM MODULAR TEMPORAL LOGIC SPECIFICATIONS
UCHIHIRA, N
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (03) : 380 - 391
[8] VERIFYING A CLASS OF NONDETERMINISTIC DISCRETE EVENT SYSTEMS IN A GENERALIZED TEMPORAL LOGIC
LIN, JY
IONESCU, D
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1992, 22 (06): : 1461 - 1469
[9] Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications
Jiang, SB
Kumar, R
PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2002, 1-6 : 128 - 133
[10] Failure diagnosis of discrete-event systems with linear-time temporal logic specifications
Jiang, SB
Kumar, R
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2004, 49 (06) : 934 - 945

← 1 2 3 4 5 →