Skip to search formSkip to main contentSkip to account menu

State Machine

A model of computation consisting of a set of states, a set of input events, a set of output events, and a state transition function.
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
MATLAB Based ECG Signal Classification
— An electrocardiogram (ECG) is a bioelectrical signal which records the heart's electrical activity versus time. It is an… 
2013
2013
Offline Signature Verification with Random and Skilled Forgery Detection Using Polar Domain Features and Multi Stage Classification-Regression Model
Offline signature verification system finds several applications in monitory transaction systems like banks. However one of the… 
2009
2009
A Safety-Case Approach For Certifying Adaptive Systems
Adaptive systems—those that can change their behavior at runtime—pose new challenges for certification, and particularly for… 
2009
2009
A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)
The extended finite state machine is a powerful model that can capture almost all the aspects of a system. However, testing from… 
2009
2009
Validation and Verification of grafcets using finite state machine
This paper presents a method to verify (the internal consistency) and to validate (with respect to the purpose of the builders… 
Highly Cited
2006
Highly Cited
2006
Predictive Dynamic Spectrum Access
This paper explores the idea of predictive dynamic spectrum access (PDSA). Modern spectrum resource allocation research typically… 
Highly Cited
2006
Highly Cited
2006
Lingos, Finite State Machines, and Fast Similarity Searching
We apply a recently published method of text-based molecular similarity searching (LINGO) to standard data sets for the purpose… 
2004
2004
Logic Based Hybrid Decision System for a Multi-robot Team
Nowadays, we can see an increasing amount of robotic systems for purposes of continuously growing complexity. Some of these… 
2001
2001
Synthesis of sequential circuits on programmable logic devices based on new models of finite state machines
  • S. Valeri
  • Proceedings Euromicro Symposium on Digital…
  • 2001
  • Corpus ID: 195702814
In this paper, new models, called class A, class B, class C, and class D, of a finite state machine (FSM) are proposed. This… 
1997
1997
Verification with Abstract State Machines Using MDGs
The presence of uninterpreted symbols in the logic means that we must distinguish between a state machine M and its abstract…