On control of systems modelled as deterministic Rabin automata
type: Item
instance of: scholarly article
title: On control of systems modelled as deterministic Rabin automata
zbMATH Open document ID: 0853.93008
DOI: 10.1007/BF01439153
author: J. G. Thistle
published in: Discrete Event Dynamic Systems
publication date: 1995-11-22T00:00:00Z
review text: Recent results on the control of infinite behaviour of finite automata are extended to allow Rabin acceptance conditions as modelling assumptions as well as specifications. The key result is a fixed point characterization of the automaton's controllability subset -- the set of states from which it can be controlled to the satisfaction of its associated specification. The fixed point characterization allows for a straightforward computation of the subset and for effective synthesis of controllers. The results have potential applications to supervisory control synthesis, the synthesis of reactive systems, and decision procedures for modal logics.
Mathematics Subject Classification ID: 93A10
Mathematics Subject Classification ID: 93B05
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 819186
zbMATH Keywords: Church's problem
zbMATH Keywords: automata
zbMATH Keywords: Rabin acceptance conditions
zbMATH Keywords: controllability
zbMATH Keywords: supervisory control
zbMATH Keywords: synthesis
MaRDI profile type: Publication
cites work: Defining liveness
cites work: Solving Sequential Conditions by Finite-State Strategies
cites work: Q3739111
cites work: Q4385542
cites work: Q3738540
cites work: On supervisory control of sequential behaviors
cites work: Q4002642
cites work: Testing and generating infinite sequences by a finite automaton
cites work: Q4205072
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Q4074888
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
cites work: Q4202958
cites work: Control of Infinite Behavior of Finite Automata
cites work: Supervision of Infinite Behavior of Discrete-Event Systems
cites work: Q4385530
cites work: Verification of concurrent programs: The automata-theoretic framework
cites work: Q4037392
full work available at URL: https://doi.org/10.1007/bf01439153
OpenAlex ID: W1966652050
description: scientific article; zbMATH DE number 819186