Finitely recursive process models for discrete event systems

DOI10.1109/9.1271zbMath0666.93071OpenAlexW1996362167MaRDI QIDQ3818924

Kemal İnan, Pravin P. 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

supervisory controlfinite state machinescontinuous-timecommunicating sequential processesdata networkfinitely recursive processesdifference equation systemdiscrete event modelscomputer-based controllers

Mathematics Subject Classification ID

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

Related Items (9)

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 ⋮ A resource allocation problem on timed marked graphs: a decomposition approach ⋮ 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 ⋮ Logical models of discrete even systems: a comparative exposition ⋮ A coordination theory for intelligent machines

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