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

communicating sequential processescomputer-based controllerscontinuous-timedata networkdifference equation systemdiscrete event modelsfinite state machinesfinitely recursive processessupervisory control

Mathematics Subject Classification ID

Theory of operating systems (68N25) 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)

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)

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