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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

Taxi waiting queues or passenger waiting queues usually reflect the imbalance between taxi supply and demand, which consequently…

2014

In modern programming,network protocol,game roles modeling and many other issues which include complex state switches can be…

2014

The hybrid scheme of electricity metering combining time- and event-driven approaches makes visible events. It enables the…

2013

The time-driven paradigm for modeling, sampling, estimation, control, and optimization is based on centuries of theoretical…

2009

Business process modeling notations are used in requirements engineering to specify business processes that should be supported…

2009

This paper proposes a novel method for the simulation-based checking of assertions written in the PSL language. The method uses a…

2008

Analyzing future distributed real-time systems, automotive and avionic systems, requires compositional real-time analysis…

2001

Fault localization is a process of isolating faults responsible for the observable malfunctioning of the managed system…

1990

A method is proposed for simulating analogue circuits, represented by their transfer functions, in an event-driven simulator…

1988

This paper explores the suitability of the Chandy-Misra algorithm for digital logic simulation. We use four realistic circuits as…