A hierarchical and modular control architecture for sequential behaviours

Baier, Christine; Moor, Thomas

doi:10.1007/s10626-014-0182-x

Cited by 10 publications

(7 citation statements)

References 23 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: 72%

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

Schmuck

Moor

Majumdar

2019

Discrete Event Dyn Syst

Self Cite

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: 72%

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

Schmuck

Moor

Majumdar

2019

Discrete Event Dyn Syst

Self Cite

View full text Add to dashboard Cite

show abstract

“…Organizing systems into hierarchical structures is a common engineering practice used to overcome the combinatorial statespace explosion. This technique has many applications across control theory and computer science, including manufacturing, robotics, and artificial intelligence [2]- [11].…”

Section: Introductionmentioning

confidence: 99%

Hierarchical Supervisory Control under Partial Observation: Normality

Komenda¹,

Masopust²

2022

Preprint

View full text Add to dashboard Cite

Conditions preserving observability of specifications between the plant and its abstraction are fundamental for hierarchical supervisory control of discrete-event systems under partial observation. Observation consistency and local observation consistency were identified as such conditions. To preserve normality, only observation consistency is required. Although observation consistency preserves normality between the levels for normal specifications, we show that for specifications that are not normal, observation consistency does not guarantee that the supremal normal sublanguage computed on the low level and on the high level coincide. Therefore, we define modified observation consistency, under which the supremal normal sublanguages of different levels coincide. Since we show that the verification of (modified) observation consistency is PSPACE-hard for finite automata models and undecidable for systems slightly more expressive than finite automata, we further discuss two stronger conditions that are easy to verify, and hence of practical interest. We apply modified observation consistency in modular systems to guarantee that the global supervisor can be computed locally. In particular, we use the coordination control framework, where the global and local computations of supervisors coincide under the assumption that the coordinated events are all observable.

show abstract

“…Schmidt et al (2008) extended hierarchical supervisory control to decentralized systems, and Schmidt and Breindl (2011) found weaker sufficient conditions for maximal permissiveness of high-level supervisors with complete observations. Recently, Baier and Moor (2015) generalized hierarchical supervisory control to the Büchi framework, where the plant and the specification are represented by ω-languages.…”

Section: Introductionmentioning

confidence: 99%

Conditions for Hierarchical Supervisory Control under Partial Observation

Komenda¹,

Masopust²

2019

Preprint

View full text Add to dashboard Cite

The fundamental problem in hierarchical supervisory control under partial observation is to find conditions preserving observability between the original (low-level) and the abstracted (highlevel) plants. Two conditions for observable specifications were identified in the literatureobservation consistency (OC) and local observation consistency (LOC). However, the decidability of OC and LOC were left open. We show that both OC and LOC are decidable for regular systems. We further show that these conditions do not guarantee that supremal (normal or relatively observable) sublanguages computed on the low level and on the high level always coincide. To solve the issue, we suggest a new conditionmodified observation consistency -and show that under this condition, the supremal normal sublanguages are preserved between the levels, while the supremal relatively observable high-level sublanguage is at least as good as the supremal relatively observable low-level sublanguage, i.e., the high-level solution may be even better than the low-level solution.

show abstract

A hierarchical and modular control architecture for sequential behaviours

Cited by 10 publications

References 23 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

Hierarchical Supervisory Control under Partial Observation: Normality

Conditions for Hierarchical Supervisory Control under Partial Observation

Contact Info

Product

Resources

About