Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,296 papers from all fields of science
Search
Sign In
Create Free Account
Event-driven finite-state machine
Known as:
Event driven finite state machine
, Event-driven
, Event-driven finite state machine
In computation, a finite-state machine (FSM) is event driven if the transition from one state to another is triggered by an event or a message. This…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Computation
Finite-state machine
IAR Systems
Specification and Description Language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Taxi Queue, Passenger Queue or No Queue? - A Queue Detection and Analysis System using Taxi State Transition
Yu Lu
,
Shili Xiang
,
Wei Wu
International Conference on Extending Database…
2015
Corpus ID: 14998399
Taxi waiting queues or passenger waiting queues usually reflect the imbalance between taxi supply and demand, which consequently…
Expand
2014
2014
A Programming Framework of Event-driven Finite State Machine
Liang We
2014
Corpus ID: 64414841
In modern programming,network protocol,game roles modeling and many other issues which include complex state switches can be…
Expand
2014
2014
Hybrid Scheme of Electricity Metering in Smart Grid
M. Simonov
IEEE Systems Journal
2014
Corpus ID: 22779000
The hybrid scheme of electricity metering combining time- and event-driven approaches makes visible events. It enables the…
Expand
2013
2013
Event-driven control, communication, and optimization
C. Cassandras
Proceedings of the 32nd Chinese Control…
2013
Corpus ID: 24006874
The time-driven paradigm for modeling, sampling, estimation, control, and optimization is based on centuries of theoretical…
Expand
2009
2009
EPC vs. UML Activity Diagram - Two Experiments Examining their Usefulness for Requirements Engineering
Anne Gross
,
Jörg Dörr
IEEE International Requirements Engineering…
2009
Corpus ID: 21318546
Business process modeling notations are used in requirements engineering to specify business processes that should be supported…
Expand
2009
2009
PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams
M. Jenihhin
,
J. Raik
,
A. Chepurov
,
R. Ubar
Journal of electronic testing
2009
Corpus ID: 15173072
This paper proposes a novel method for the simulation-based checking of assertions written in the PSL language. The method uses a…
Expand
2008
2008
Advanced hierarchical event-stream model and the real-time calculus
K. Albers
,
S. Kollmann
,
F. Bodmann
,
F. Slomka
2008
Corpus ID: 62660418
Analyzing future distributed real-time systems, automotive and avionic systems, requires compositional real-time analysis…
Expand
2001
2001
Non-deterministic diagnosis of end-to-end service failures in a multi-layer communication system
M. Steinder
,
A. Sethi
Proceedings Tenth International Conference on…
2001
Corpus ID: 13436105
Fault localization is a process of isolating faults responsible for the observable malfunctioning of the managed system…
Expand
1990
1990
Event-driven behavioural simulation of analogue transfer functions
R. Cottrell
Proceedings of the European Design Automation…
1990
Corpus ID: 29297110
A method is proposed for simulating analogue circuits, represented by their transfer functions, in an event-driven simulator…
Expand
1988
1988
Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation
Larry Soulé
,
Anoop Gupta
26th ACM/IEEE Design Automation Conference
1988
Corpus ID: 14962372
This paper explores the suitability of the Chandy-Misra algorithm for digital logic simulation. We use four realistic circuits as…
Expand
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)
ACCEPT & CONTINUE