Concepedia

Discrete Event Semantics

Discrete Event Semantics is a formal modeling framework within timing semantics that characterizes system behavior as a sequence of instantaneous state transitions occurring at distinct points in time, distinguished by its focus on asynchronous, event-driven dynamics rather than continuous or time-sliced evolution.

214

Publications

11K

Citations

401

Authors

197

Institutions

Publications per year

2017–2026

30

Parents

Publications

214

Verbs and adverbs: multidimensional motion interpolation

C Rose, Michael F. Cohen, Bobby Bodenheimer · IEEE Computer Graphics and Applications · 1998 · 730 citations

, , +16

Supervisory control of discrete-event processes with partial observations

R. Cieślak, C. Desclaux, A. Fawaz et al. · IEEE Transactions on Automatic Control · 1988 · 566 citations

, , +12

Formalization and verification of event-driven process chains

Wil M. P. van der Aalst · Information and Software Technology · 1999 · 565 citations

, , +12

Synchronization and Linearity: An Algebra for Discrete Event Systems.

Charles Leake, François Baccelli, Guy Cohen et al. · Journal of the Operational Research Society · 1994 · 381 citations · Full text

, , +9

Diagnosability of discrete event systems and its applications

Feng Lin · Discrete Event Dynamic Systems · 1994 · 354 citations

, , +10

1–5 of 214

Authors

401

  1. BP
    Bernard P. Zeigler

    University of Arizona, United States

    14 publications · 1K citations

    12

    h-index

  2. EA
    Edward A. Lee

    University of California, Berkeley, United States

    8 publications · 416 citations

    8

    h-index

  3. SL
    Stéphane Lafortune

    University of Michigan, United States

    6 publications · 498 citations

    6

    h-index

  4. WW
    W.M. Wonham

    University of Toronto, Canada

    5 publications · 408 citations

    5

    h-index

  5. KR
    Karen Rudie

    Queen's University, Canada

    5 publications · 222 citations

    5

    h-index

1–5 of 401

Institutions

197

  1. University of California, Berkeley

    Berkeley, United States

    12 h-index

    29 publications

    3.5K citations

  2. University of Arizona

    Tucson, United States

    11 h-index

    19 publications

    1.1K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    14 publications

    425 citations

  4. University of Michigan

    Ann Arbor, United States

    7 h-index

    8 publications

    537 citations

  5. University of Toronto

    Toronto, Canada

    6 h-index

    11 publications

    872 citations

  6. Wayne State University

    Detroit, United States

    6 h-index

    8 publications

    628 citations

  7. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    5 h-index

    6 publications

    209 citations

  8. Queen's University

    Kingston, Canada

    5 h-index

    11 publications

    370 citations

1–8 of 197

Venues

  1. Discrete Event Dynamic Systems

    16 publications · 1.4K citations

    13

    h-index

  2. Automatica

    7 publications · 381 citations

    8

    h-index

  3. SIMULATION

    6 publications · 433 citations

    6

    h-index

  4. IEEE Transactions on Automatic Control

    5 publications · 812 citations

    5

    h-index

  5. Winter Simulation Conference

    Conference · 4 publications · 70 citations

    4

    h-index

1–5