A Nondeterministic Extension over Finitely Recursive ProcessModel

Authors:
Supratik Bose;Siddhartha Mukhopadhyay;Amit Patra
Affiliations:
Center for Artificial Intelligence and Robotics, Bangalore 560001 INDIA;Department of Electrical Engineering, I.I.T. Kharagpur, W.B., 721302 INDIA;Department of Electrical Engineering, I.I.T. Kharagpur, W.B., 721302 INDIA
Venue:
Discrete Event Dynamic Systems
Year:
1997

Citing 7
Cited 0

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Communicating sequential processes

Communicating sequential processes
Statecharts: A visual formalism for complex systems

Science of Computer Programming
On observability of discrete-event systems

Information Sciences: an International Journal - Robotics and Automation/Control Series
Algebraic theory of processes

Algebraic theory of processes
Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models

SIAM Journal on Control and Optimization
Communication and Concurrency

Communication and Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper extends the Finitely Recursive Process frameworkintroduced by Inan and Varaiya for modelling Discrete Event Systemsto encompass nondeterministic processes. Nondeterminism has beencaptured as a set of possible ’deterministic futures‘ insteadof using the standard ’failure‘ model of Communicating SequentialProcesses. In the beginning a general structure of finitely recursiveprocess space is provided with some important modifications.Next, the nondeterministic process space has been introducedas a special case of the general algebraic process space. A collectionof operators has been defined over this nondeterministic processspace that enables its characterisation in a finitely recursivemanner. Finally, the advantages and disadvantages of the proposedmodel vis-a-vis other nondeterministic models of discrete eventsystems are discussed.