On control of systems modelled as deterministic Rabin automata

Thistle, J. G.

doi:10.1007/bf01439153

Cited by 20 publications

(18 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Wen et al 2008;Paoli et al 2011;Moor 2016), and, most relevant for this report, behaviours over an infinite time-axis (e.g. Ramadge 1989a;Thistle andWonham 1994a, 2009;Moor et al 2011;Baier and Moor 2015;Zhang and Cai 2018).…”

Section: Introductionmentioning

confidence: 71%

“…This contrasts the design of reactive modules where the synthesis of liveness properties is conceived a relevant challenge. We therefore conduct our study for a branch of supervisory control that addresses the synthesis problem for ω-languages; (see Ramadge 1989a;Thistle andWonham 1994a, 1995), where the authors explicitly relate their work to Church's problem. For a comprehensive introduction to SCT for ω-languages see also the technical report by Moor (2017).…”

Section: Scopementioning

confidence: 99%

“…The behaviour L associated with f is defined via (14). The proof that L solves Problem 2 can be obtained as a special case of the construction presented by Thistle andWonham (1992, 1994b).…”

Section: Algorithmic Solutionmentioning

confidence: 99%

See 2 more Smart Citations

On the relation between reactive synthesis and supervisory control of non-terminating processes

Schmuck

Moor

Majumdar

2019

Discrete Event Dyn Syst

View full text Add to dashboard Cite

Reactive synthesis and supervisory control theory both provide a design methodology for the automatic and algorithmic design of digital systems from declarative specifications. The reactive synthesis approach originates in computer science, and seeks to synthesise a system that interacts with its environment over time and that, doing so, satisfies a prescribed specification. Here, the distinguishing feature when compared to other synthesis problems in computer science is that the interaction is temporal in that it explicitly refers to a sequence of computation cycles. Supervisory control originates in control theory and seeks to synthesise a controller that-in closed-loop configuration with a plant-enforces a prescribed specification over time. The distinguishing feature compared to other branches of control is that all dynamics are driven by discrete events as opposed to continuous signals. While both methods apparently are closely related, the technical details differ significantly. We provide a formal comparison which allows us to identify conditions under which one can solve one synthesis problem using methods from the other one; we also discuss how the resulting solutions compare. To facilitate this comparison, we give a unified introduction to reactive synthesis and supervisory control and derive formal problem statements and a characterisation of their solutions in terms of ω-languages. Recent contributions to the two fields address different aspects of the respective problem, and we expect the formal relationship identified in this paper to be useful in that it allows the application of algorithmic techniques from one field in the other.

show abstract

Section: Introductionmentioning

confidence: 71%

Section: Scopementioning

confidence: 99%

See 1 more Smart Citation

On the relation between reactive synthesis and supervisory control of non-terminating processes

Schmuck

Moor

Majumdar

2019

Discrete Event Dyn Syst

View full text Add to dashboard Cite

show abstract

“…[13] proposed an alternative algorithm to compute the supremal ω-controllable sublanguage. Later, Thistle [14] extend the result in [10] to a more general case where the plant DES are modelled by deterministic Rabin-automata. More recently, Thistle and Lamouchi [15] addressed the issue of partial observation in the supervisory control of DES with infinite behavior.…”

Section: Introductionmentioning

confidence: 77%

“…Our proposed localization procedure can in principle be used to construct local controllers from supervisors computed by any other synthesis method for DES with infinite behavior e.g. [8,9,14].…”

Section: Introductionmentioning

confidence: 99%

Supervisor Localization of Discrete-Event Systems with Infinite Behavior

Zhang

Cai

2018

IFAC-PapersOnLine

View full text Add to dashboard Cite

Recently we developed supervisor localization, a top-down approach to distributed control of discreteevent systems (DES) with finite behavior. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this report, we extend supervisor localization to study the distributed control of DES with infinite behavior. Specifically, we first employ Thistle and Wonham's supervisory control theory for DES with infinite behavior to compute a safety supervisor (for safety specifications) and a liveness supervisor (for liveness specifications), and then design a suitable localization procedure to decompose the safety supervisor into a set of safety local controllers, one for each controllable event, and decompose the liveness supervisor into a set of liveness local controllers, two for each controllable event. The localization procedure for decomposing the liveness supervisor is novel; in particular, a local controller is responsible for disabling the corresponding controllable event on only part of the states of the liveness supervisor, and consequently, the derived local controller in general has states number no more than that computed by considering the disablement on all the states.Moreover, we prove that the derived local controllers achieve the same controlled behavior with the safety and liveness supervisors. We finally illustrate the result by a Small Factory example.

show abstract

Submodule Construction and Supervisory Control: A Generalization

Bochmann

2002

Implementation and Application of Automata

View full text Add to dashboard Cite

On control of systems modelled as deterministic Rabin automata

Cited by 20 publications

References 33 publications

On the relation between reactive synthesis and supervisory control of non-terminating processes

On the relation between reactive synthesis and supervisory control of non-terminating processes

Supervisor Localization of Discrete-Event Systems with Infinite Behavior

Submodule Construction and Supervisory Control: A Generalization

Contact Info

Product

Resources

About