State Transition Systems

State Transition Systems is a formal model of computation that consists of a set of states and transitions between them, distinguished by its explicit representation of state changes in response to inputs or actions, used to describe the behavior of discrete-event systems.

499

Publications

26.6K

Citations

1.1K

Authors

488

Institutions

Publications per year

2017–2026

60

Variants

State Transition System

Authors

1.1K

  1. SU
    Sebastián Uchitel

    Imperial College London, United Kingdom

    9 publications · 724 citations

    9

    h-index

  2. KG
    Kim G. Larsen

    Aalborg University, Denmark

    7 publications · 368 citations

    7

    h-index

  3. CB
    Călin Belta

    Boston University, United States

    6 publications · 343 citations

    6

    h-index

  4. CY
    Chunhua Yang

    Central South University, China

    5 publications · 297 citations

    5

    h-index

  5. XZ
    Xiaojun Zhou

    Central South University, China

    5 publications · 297 citations

    5

    h-index

1–5 of 1.1K

Venues

  1. Theoretical Computer Science

    14 publications · 1.7K citations

    14

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 16 publications · 407 citations

    13

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 11 publications · 1.2K citations

    11

    h-index

  4. IEEE Transactions on Automatic Control

    8 publications · 498 citations

    8

    h-index

  5. Information and Computation

    8 publications · 199 citations

    8

    h-index

1–5