Concepedia

Finite State Controller Design

Finite State Controller Design is a formal methodology within the domain of finite state machine modeling that specifies the systematic construction and configuration of control logic to govern state transitions and outputs in response to input sequences, distinguishing it from general computation models by its reliance on a finite set of discrete states and deterministic or nondeterministic transition rules.

67

Publications

2.7K

Citations

175

Authors

84

Institutions

Publications per year

2017–2026

21

Parents

Publications

67

State Feedback Stabilization for Boolean Control Networks

Rui Li, Meng Yang, Tianguang Chu · IEEE Transactions on Automatic Control · 2013 · 327 citations

, , +17

Observability of place/transition nets

Alessandro Giua, Carla Seatzu · IEEE Transactions on Automatic Control · 2002 · 166 citations

, , +14

Global scheduling independent of control dependencies based on condition vectors

Katsunori Wakabayashi, Hayate Tanaka · Design Automation Conference · 1992 · 122 citations

, , +15

Computing Abstractions of Nonlinear Systems

IEEE Transactions on Automatic Control · 2011 · 98 citations · Full text

, , +17

Input/output control of asynchronous sequential machines

Xiaojun Geng, J. M. Hammer · IEEE Transactions on Automatic Control · 2005 · 92 citations

, , +16

1–5 of 67

Authors

175

  1. SD
    Shihong Ding

    Jiangsu University, China

    2 publications · 57 citations

    2

    h-index

  2. KW
    Katsunori Wakabayashi

    National Institute for Materials Science, Japan

    2 publications · 211 citations

    2

    h-index

  3. HT
    Hayate Tanaka

    NEC (Japan), Japan

    2 publications · 211 citations

    2

    h-index

  4. AS
    Alberto Sangiovanni‐Vincentelli

    University of California, Berkeley, United States

    2 publications · 42 citations

    2

    h-index

  5. AS
    A. Saldanha

    University of California, Berkeley, United States

    2 publications · 42 citations

    2

    h-index

1–5 of 175

Institutions

84

  1. University of Waterloo

    Waterloo, Canada

    3 h-index

    7 publications

    237 citations

  2. Northeastern University

    Shenyang, China

    3 h-index

    7 publications

    227 citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    5 publications

    169 citations

  4. University of L'Aquila

    L’Aquila, Italy

    3 h-index

    8 publications

    286 citations

  5. University of Cagliari

    Cagliari, Italy

    3 h-index

    5 publications

    543 citations

  6. Northwestern Polytechnical University

    Xi'an, China

    2 h-index

    4 publications

    252 citations

  7. Cadence Design Systems (United States)

    San Jose, United States

    2 h-index

    2 publications

    42 citations

  8. Lawrence Berkeley National Laboratory

    Berkeley, United States

    2 h-index

    2 publications

    42 citations

1–8 of 84

Venues

  1. IEEE Transactions on Automatic Control

    11 publications · 959 citations

    11

    h-index

  2. ISA Transactions

    2 publications · 82 citations

    2

    h-index

  3. 2

    h-index

  4. International Journal of Control

    2 publications · 76 citations

    2

    h-index

  5. Design Automation Conference

    Conference · 2 publications · 135 citations

    2

    h-index

1–5