Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
From MaRDI portal
Publication:3818944
DOI10.1109/9.8645zbMath0666.93095OpenAlexW2025459956MaRDI QIDQ3818944
Publication date: 1989
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.8645
manufacturingdiscrete event systemregular languagesBüchi automataFinite automatacontrollable languagenonblocking supervisor
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Production models (90B30) Synthesis problems (93B50) Theory of operating systems (68N25) Model systems in control theory (93C99)
Related Items (26)
On-line control of partially observed discrete event systems ⋮ Controller Synthesis with Highly Simplified Linear Constraints ⋮ On control of systems modelled as deterministic Rabin automata ⋮ Supervision based on place invariants: a survey ⋮ Observer-based control of block-triangular discrete time hybrid automata on a partial order ⋮ Supervisory control of discrete event systems ⋮ Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications ⋮ 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 ⋮ Robust stutter bisimulation for abstraction and controller synthesis with disturbance ⋮ On condition/event systems with discrete state realizations ⋮ A temporal logic approach to discrete event control for the safety canonical class ⋮ Aggregation and multi-level control in discrete event dynamic systems ⋮ A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models ⋮ PSPACE-completeness of modular supervisory control problems ⋮ Hierarchical Hybrid Symbolic Robot Motion Planning and Control ⋮ Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions ⋮ Flexible regenerative supervision of sequential behaviour. ⋮ Discussion on: ``Supervisory control of product and hierarchical discrete event systems ⋮ The complexity of some reachability problems for a system on a finite group ⋮ On the corrective control of sequential machines ⋮ Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations ⋮ Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation ⋮ Supervisory control using augmented languages in discrete event systems ⋮ A hierarchical and modular control architecture for sequential behaviours
This page was built for publication: Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
