Concepedia

State Transition Logic

State Transition Logic is a formalism in sequential logic description that specifies the rules governing the progression of a system from one state to another in response to input conditions, distinguished by its explicit encoding of state-dependent temporal dependencies within finite-state models.

57

Publications

2.7K

Citations

165

Authors

77

Institutions

Publications per year

2017–2026

10

Parents

Publications

57

Synthesis of feedback control logic for a class of controlled Petri nets

L.E. Holloway, Bruce H. Krogh · IEEE Transactions on Automatic Control · 1990 · 340 citations

, , +17

A survey of Behavior Trees in robotics and AI

Matteo Iovino, Edvards Scukins, Jonathan Styrud et al. · Robotics and Autonomous Systems · 2022 · 253 citations · Full text

, , +13

A specification language for direct-manipulation user interfaces

Robert J.K Jacob · ACM Transactions on Graphics · 1986 · 210 citations · Full text

, , +9

Data driven discovery of cyber physical systems

Nature Communications · 2019 · 188 citations · Full text

, , +14

Data driven discovery of cyber physical systems

Ye Yuan, Xiuchuan Tang, Wei Zhou et al. · Open MIND · 2019 · 168 citations · Full text

, , +14

1–5 of 57

Authors

165

  1. JS
    Joshua Sunshine

    Carnegie Mellon University, United States

    2 publications · 82 citations

    2

    h-index

  2. KM
    K. Maezawa

    Nagoya University, Japan

    2 publications · 23 citations

    2

    h-index

  3. SS
    Sven Stork

    Carnegie Mellon University, United States

    2 publications · 82 citations

    2

    h-index

  4. ES
    Edvards Scukins

    KTH Royal Institute of Technology, Sweden

    2 publications · 284 citations

    2

    h-index

  5. PÖ
    Petter Ögren

    KTH Royal Institute of Technology, Sweden

    2 publications · 284 citations

    2

    h-index

1–5 of 165

Institutions

77

  1. Beihang University

    Beijing, China

    3 h-index

    14 publications

    266 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    10 publications

    1K citations

  3. Huazhong University of Science and Technology

    Wuhan, China

    3 h-index

    14 publications

    2.3K citations

  4. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    2 publications

    356 citations

  5. Delft University of Technology

    Delft, The Netherlands

    2 h-index

    2 publications

    356 citations

  6. National University of Singapore

    Singapore, Singapore

    2 h-index

    5 publications

    159 citations

  7. Nagoya University

    Nagoya, Japan

    2 h-index

    9 publications

    103 citations

  8. University of Chile

    Santiago, Chile

    2 h-index

    2 publications

    82 citations

1–8 of 77

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 2 publications · 97 citations

    2

    h-index

  2. arXiv (Cornell University)

    Repository · 2 publications · 61 citations

    2

    h-index

  3. Theoretical Computer Science

    2 publications · 109 citations

    2

    h-index

  4. Japanese Journal of Applied Physics

    JJAP · 1 publications · 11 citations

    1

    h-index

  5. IRE Transactions on Communications Systems

    1 publications · 10 citations

    1

    h-index

1–5