Control of Infinite Behavior of Finite Automata

DOI10.1137/S0363012991217536zbMath0925.93233OpenAlexW1981568149MaRDI QIDQ4302302

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/s0363012991217536

zbMATH Keywords

discrete-event systems\(\omega\)-automatasynthesis problems\(\omega\)-languagesChurch's problem\(\omega\)-regular gamestreeautomaton emptiness

Mathematics Subject Classification ID

2-person games (91A05) Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Synthesis problems (93B50) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Related Items

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, Adaptive control of asynchronous sequential machines with state feedback, Bursts and output feedback control of non-deterministic asynchronous sequential machines, Supervisory control and reactive synthesis: a comparative introduction, Refinements of behavioural abstractions for the supervisory control of hybrid systems, Compatibility of refining and controlling plant automata with bisimulation quotients, Static state feedback control of asynchronous sequential machines, Reachability and controllability analysis of probabilistic finite automata via a novel matrix method, Controllability, reachability, and stabilizability of finite automata: a controllability matrix method, State feedback control of asynchronous sequential machines with adversarial inputs, Input/output control of asynchronous sequential machines with races, Minimal sensor activation and minimal communication in discrete-event systems, Generalized detectability for discrete event systems, Asynchronous sequential machines with adversarial intervention: the use of bursts, Automatic defensive control of asynchronous sequential machines, On the stabilization of nondeterministic finite automata via static output feedback, State estimation and detectability of probabilistic discrete event systems, On the control of asynchronous sequential machines with infinite cycles, Structural measures for games and process control in the branch learning model, Supervisory Control with Complete Observations