Control of \(\omega\)-automata under state fairness assumptions

DOI10.1016/S0167-6911(97)00106-0zbMath0902.93039OpenAlexW2048523103MaRDI QIDQ1128704

J. G. Thistle, Roland P. Malhamé

Publication date: 13 August 1998

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6911(97)00106-0

zbMATH Keywords

supervisory controlcontrollability subsetdeadlock-free control of finite automataRabin acceptance conditionsstate fairness condition

Mathematics Subject Classification ID

Controllability (93B05) Hierarchical systems (93A13) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Supervisory control and reactive synthesis: a comparative introduction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On control of systems modelled as deterministic Rabin automata
• A lattice-theoretical fixpoint theorem and its applications
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Control of Infinite Behavior of Finite Automata
• Supervision of Infinite Behavior of Discrete-Event Systems

This page was built for publication: Control of \(\omega\)-automata under state fairness assumptions