Finite State Machine Modeling

Finite State Machine Modeling is a formal method within the domain of Hardware Description Languages that specifies digital system behavior by defining a finite set of states, transitions between them, and associated outputs, distinguishing it from other behavioral modeling techniques through its emphasis on explicit state-based control logic representation.

Publications

194.3K

Citations

6.4K

Authors

1.6K

Institutions

Publications per year

2017–2026

399

Parents

Hardware Description Languages

Children

Asynchronous Finite State MachinesBinary State EncodingFinite State Controller DesignFinite State Machine CompositionFinite State Machine ExtractionFinite State Machine OptimizationFinite State Machine SpecificationFormal VerificationGray Code State EncodingHardware Finite State Machine Synthesis

Publications

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 3.3K citations

Engineering, Autonomous Systems, Discrete Mathematics +16

The control of discrete event systems

Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations

Engineering, Computer Science, Systems Engineering +15

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra · Communications of the ACM · 1975 · 1.9K citations · Full text

Computing, Computer Science, Algorithms +14

On the synthesis of a reactive module

Amir Pnueli, Roni Rosner · 1989 · 1.4K citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 4K

Authors

6.4K

AS
Alberto Sangiovanni‐Vincentelli
University of California, Berkeley, United States
23 publications · 2.1K citations
19
h-index
ZL
Zhiwu Li
Xidian University, China
25 publications · 942 citations
19
h-index
GD
Gary D. Hachtel
University of Colorado Boulder, United States
22 publications · 1.2K citations
19
h-index
FS
Fabio Somenzi
University of Colorado Boulder, United States
21 publications · 1.3K citations
19
h-index
RM
Robert M. Hierons
Brunel University of London, United Kingdom
24 publications · 765 citations
18
h-index

1–5 of 6.4K

Institutions

1.6K

1–8 of 1.6K

Venues

IEEE Transactions on Automatic Control
91 publications · 6.5K citations
43
h-index
Theoretical Computer Science
102 publications · 6.1K citations
36
h-index
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
72 publications · 4.9K citations
36
h-index
IEEE Transactions on Computers
68 publications · 3.6K citations
32
h-index
IEEE Transactions on Software Engineering
TSE · 50 publications · 7.2K citations
31
h-index

1–5