scientific article; zbMATH DE number 408813

zbMath0783.03019MaRDI QIDQ4202958

J. G. Thistle, W. Murray Wonham

Publication date: 6 September 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

livenesscontrol synthesisprogram synthesisemptiness problemcontrollability subsetautomata on infinite treesstate feedback control strategysmall model theoremcontrol-theoretic formulation of Church's problemdeterministic string \(\omega\)-automatainverse dynamics operatorlogical decision procedures

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Decidability of theories and sets of sentences (03B25)

Related Items (6)

Determinization of timed Petri nets behaviors ⋮ 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 ⋮ Compatibility of refining and controlling plant automata with bisimulation quotients ⋮ A hierarchical and modular control architecture for sequential behaviours

This page was built for publication: