Finitely recursive process models for discrete event systems

DOI10.1109/9.1271MaRDI QIDQ3818924zbMATH OpenOpenAlexFDO

Authors Kemal İnan, Pravin Varaiya

Publication date 1988

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/9.1271

zbMATH Keywords

finite state machinescontinuous-timesupervisory controlcommunicating sequential processesdata networkfinitely recursive processesdifference equation systemdiscrete event modelscomputer-based controllers

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55) Theory of operating systems (68N25)

Recommendations

• Boundedness analysis of finitely recursive processes. I. Concurrent processes
• scientific article; zbMATH DE number 4200091
• scientific article; zbMATH DE number 4050968
• Supervisory Control of a Class of Discrete Event Processes
• A nondeterministic extension over finitely recursive process model

Cited in

(13)

• Discrete events and general systems theory
• Concurrent regular expressions and their relationship to Petri nets
• A resource allocation problem on timed marked graphs: a decomposition approach
• Boundedness analysis of finitely recursive processes. II. Sequential and hybrid processes
• scientific article; zbMATH DE number 4050968 (Why is no real title available?)
• An algebraic approach to supervisory control
• Aggregation and multi-level control in discrete event dynamic systems
• scientific article; zbMATH DE number 409566 (Why is no real title available?)
• A nondeterministic extension over finitely recursive process model
• Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems
• Solvable systems are usually measurable
• A coordination theory for intelligent machines
• Logical models of discrete even systems: a comparative exposition

This page was built for publication: Finitely recursive process models for discrete event systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3818924)