Boundedness analysis of finitely recursive processes. II. Sequential and hybrid processes
From MaRDI portal
Publication:4506577
DOI10.1109/9.728870zbMath0962.93065OpenAlexW2150193476MaRDI QIDQ4506577
Amit Patra, Supratik Bose, Siddhartha Mukhopadhyay
Publication date: 17 October 2000
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.728870
boundednesssequential compositiondecidablediscrete-event systemparallel compositionfinitely recursive processeschange operators
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Discrete event control/observation systems (93C65)