A hierarchical and modular control architecture for sequential behaviours

DOI10.1007/S10626-014-0182-XMaRDI QIDQ2348360zbMATH OpenOpenAlexFDO

Authors Christine Baier, Thomas Moor

Publication date 12 June 2015

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-014-0182-x

zbMATH Keywords

\(\omega\)-languagesdiscrete-event systemshierarchical control systemsmodular control systemssequential behaviours

Mathematics Subject Classification ID

Applications of graph theory (05C90) Formal languages and automata (68Q45) Hierarchical systems (93A13) Attainable sets, reachability (93B03) Controllability (93B05) Design techniques (robust design, computer-aided design, etc.) (93B51) Feedback control (93B52) Discrete event control/observation systems (93C65)

Recommendations

• Hierarchical control of discrete-event systems
• Hierarchical control system design using approximate simulation
• Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
• Hierarchical control of timed discrete-event systems
• Constructing control system abstractions from modular components

Cites work

• Effective control synthesis for partially observed discrete-event systems
• Finite-state automata on infinite inputs
• Hierarchical control of discrete-event systems
• Hierarchical interface-based supervisory control-part II: parallel case
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 408813 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 1455625 (Why is no real title available?)
• scientific article; zbMATH DE number 1444727 (Why is no real title available?)
• Introduction to Discrete Event Systems
• Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
• On observability of discrete-event systems
• On supervisory control of sequential behaviors
• Paradigms and puzzles in the theory of dynamical systems
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Supervision of Infinite Behavior of Discrete-Event Systems
• Supervisory Control Architecture for Discrete-Event Systems
• Supervisory Control of a Class of Discrete Event Processes

Cited in

(6)

• On the relation between reactive synthesis and supervisory control of non-terminating processes
• scientific article; zbMATH DE number 2089539 (Why is no real title available?)
• Design of knowledge-rich hierarchical controllers for large functional systems
• scientific article; zbMATH DE number 4033143 (Why is no real title available?)
• scientific article; zbMATH DE number 2085331 (Why is no real title available?)
• Progressive events in supervisory control and compositional verification

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: A hierarchical and modular control architecture for sequential behaviours

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2348360)