Skip to search formSkip to main contentSkip to account menu

Finite-state machine

Known as: FSM, Finite state, Finite automata 
The behavior of state machines can be observed in many devices in modern society that perform a predetermined sequence of actions depending on a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract machineAbstract state machinesApplication-specific instruction set processorBehavior model

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
MobiGUITAR: Automated Model-Based Testing of Mobile Apps
As mobile devices become increasingly smarter and more powerful, so too must the engineering of their software. User-interface… 
Highly Cited
2000
Highly Cited
2000
Gesture modeling and recognition using finite state machines
We propose a state-based approach to gesture learning and recognition. Using spatial clustering and temporal alignment, each… 
Review
1997
Review
1997
Design of embedded systems: formal models, validation, and synthesis
This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation… 
Highly Cited
1994
Highly Cited
1994
The State Complexities of Some Basic Operations on Regular Languages
Highly Cited
1992
Highly Cited
1992
TINA: A Natural Language System for Spoken Language Applications
A new natural language system, TINA, has been developed for applications involving spoken language tasks. TINA integrates key… 
Highly Cited
1990
Highly Cited
1990
Switching and Finite Automata Theory: Computer Science Series
Highly Cited
1989
Highly Cited
1989
Artificial Neural-Net Based Dynamic Security Assessment for Electric Power Systems
In the post-fault dynamic analysis of interconnected power systems, the critical fault clearing time (CCT) is one of the… 
Highly Cited
1988
Highly Cited
1988
MUSTANG: state assignment of finite state machines targeting multilevel logic implementations
The problem of state assignment for synchronous finite-state machines (FSM), targeted towards multilevel combinational logic and… 
Highly Cited
1987
Highly Cited
1987
Modalities for Model Checking: Branching Time Logic Strikes Back
Highly Cited
1985
Highly Cited
1985
Finite-state vector quantization for waveform coding
A finite-state vector quantizer is a finite-state machine used for data compression: Each successive source vector is encoded… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)