Supervision of Infinite Behavior of Discrete-Event Systems

DOI10.1137/S0363012991217524zbMath0925.93234OpenAlexW2071592303MaRDI QIDQ4302303

J. G. Thistle, W. Murray Wonham

Publication date: 14 August 1994

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/s0363012991217524

zbMATH Keywords

synthesissupervisory control\(\omega\)-automata\(\omega\)-languagecontrollable languages

Mathematics Subject Classification ID

Related Items (12)

Automatic synthesis of a subclass of schedulers in timed systems. ⋮ On control of systems modelled as deterministic Rabin automata ⋮ Supervisory control of discrete event systems ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Control of \(\omega\)-automata under state fairness assumptions ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Supervisory Control with Complete Observations ⋮ A decidable class of problems for control under partial observation ⋮ Unnamed Item ⋮ A hierarchical and modular control architecture for sequential behaviours ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction

This page was built for publication: Supervision of Infinite Behavior of Discrete-Event Systems