Concepedia

State Machine Design

State Machine Design is a formal modeling method used in embedded software design and microcontroller programming that specifies a system’s behavior as a finite set of states, transitions, and actions, distinguishing it from other behavioral models by its explicit representation of discrete states and event-driven state transitions.

294

Publications

13.3K

Citations

1.1K

Authors

350

Institutions

Publications per year

2017–2026

52

Variants

Fsm Design

Parents

Publications

294

The part-time parliament

Leslie Lamport · ACM Transactions on Computer Systems · 1998 · 2.7K citations · Full text

, , +10

Protothreads

Adam Dunkels, O. Schmidt, Thiemo Voigt et al. · 2006 · 344 citations

, , +13

Towards programmable enterprise WLANS with Odin

Lalith Suresh, Julius Schulz-Zander, Ruben Merz et al. · 2012 · 299 citations · Full text

, , +17

Fast Byzantine Consensus

Jean‐Philippe Martin, Lorenzo Alvisi · IEEE Transactions on Dependable and Secure Computing · 2006 · 277 citations

, , +13

A state machine strategy based on droop control for an energy management system of PEMFC-battery-supercapacitor hybrid tramway

Qi Li, Hanqing Yang, Ying Han et al. · International Journal of Hydrogen Energy · 2016 · 227 citations

, , +17

1–5 of 294

Authors

1.1K

  1. MA
    Marian Adamski

    University of Zielona Góra, Poland

    5 publications · 93 citations

    5

    h-index

  2. SM
    Steven M. Nowick

    Columbia University, United States

    5 publications · 250 citations

    5

    h-index

  3. KS
    Karsten Strehl

    Paderborn University, Germany

    3 publications · 129 citations

    3

    h-index

  4. FH
    Florian Holzapfel

    Technical University of Munich, Germany

    3 publications · 42 citations

    3

    h-index

  5. AK
    Andreas Kuehlmann

    Cadence Design Systems (United States), United States

    3 publications · 98 citations

    3

    h-index

1–5 of 1.1K

Institutions

350

  1. Massachusetts Institute of Technology

    Cambridge, United States

    10 h-index

    25 publications

    758 citations

  2. The University of Texas at Austin

    Austin, United States

    8 h-index

    18 publications

    2K citations

  3. Stanford University

    Stanford, United States

    7 h-index

    14 publications

    830 citations

  4. University of Zielona Góra

    Zielona Góra, Poland

    7 h-index

    20 publications

    386 citations

  5. IBM (United States)

    Armonk, United States

    7 h-index

    16 publications

    411 citations

  6. Ames Research Center

    Mountain View, United States

    6 h-index

    18 publications

    934 citations

  7. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    6 h-index

    9 publications

    538 citations

  8. University of Michigan

    Ann Arbor, United States

    5 h-index

    13 publications

    690 citations

1–8 of 350

Venues

  1. ACM SIGPLAN Notices

    4 publications · 62 citations

    4

    h-index

  2. 4

    h-index

  3. IBM Systems Journal

    3 publications · 194 citations

    3

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 2 publications · 91 citations

    2

    h-index

  5. IEEE Transactions on Power Electronics

    2 publications · 206 citations

    2

    h-index

1–5