Hierarchical Interface-Based Supervisory Control Using the Conflict Preorder

Malik, Robi; Leduc, Ryan J.

doi:10.3182/20121003-3-mx-4033.00028

Cited by 7 publications

(7 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Rather than require distinct facilities for separate products, they can rapidly reconfigure themselves for the sake of variation adaption [10], [17]. Their major characterizations are in architectures' evolution and products' diversity [24].…”

Section: Introductionmentioning

confidence: 99%

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Liu

Yuan

2016

IEEE Trans. Contr. Syst. Technol.

View full text Add to dashboard Cite

Modern complex systems require intensive application of sophisticated supervisors. Structural simplification techniques are one of the fundamental researches in the context of flexible manufacturing systems (FMSs). They can reduce implementation cost, mitigate fabrication complexity, and improve reliability. Several typical methods have been developed along this direction. In order to thoroughly explore their effectiveness and performance, we not only conduct a comparison investigation but also develop some new theoretical results. Several analytical results and performance measures are proposed for their qualitative and quantitative comparison. Our approach can assist researchers and practitioners to better comprehend the inherent mechanisms and relative merits of these simplification methodologies as well as their applicability in FMSs. This paper is motivated by FMSs' control; however, it is also applicable to other systems with discrete event controllers.

show abstract

Section: Introductionmentioning

confidence: 99%

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Liu

Yuan

2016

IEEE Trans. Contr. Syst. Technol.

View full text Add to dashboard Cite

show abstract

“…Hierarchical control has also been extended to handle partial observation of the low-level DES [12], and to general -languages using natural projection defined for infinite strings [25]. In another development, strict decoupling between levels achieved through the use of well-defined interfaces has been proposed (e.g., [26] and [27]), followed by an extension to multiple levels [28] and an alternative interfaced-based approach [29].…”

Section: Introductionmentioning

confidence: 99%

Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition

Ngo

Seow

2014

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

A new operational design for hierarchical control of discrete-event systems is proposed. The design brings the structure of command and control from concept to realization for online control operation. For a command reference input, a new concept for output control feasibility of a discrete-event system modeled by a Moore automaton is characterized; and a system decomposition of a suitably structured Moore automaton into a controllable subsystem and an uncontrollable subsystem is formulated. Based on these results, the new command and control design for controller operation is realized, examined, and discussed.Note to Practitioners-In the academic literature, the command and control theory of hierarchical control for discrete-event systems is well established for meeting control specifications of safety with nonblockingness. This paper proposes a new operational design that uses the two-level structure of high-level command and low-level control, hitherto only a theoretical concept, for online translation of command to control during runtime hierarchical control. The design is realized with a two-level control algorithm and a reusable "control technology" for the real discrete-event system at the low level, developed using the fresh theoretical findings in this paper. As the first steps in filling the theory-to-practice gap, the practical advantages of this new operational design include facilitating a deeper understanding of control with online causal clarity of command over control, and a significant reduction in offline synthesis complexity with fast online control computation. In laying an algorithmic foundation for online hierarchical control, the proposed design has potential applications for many engineering control problems, where command and control is the inherent mode of runtime operation, or is needed to provide operational clarity when subjecting the control system to validation tests by simulation and observation. Problems include the design of logical command and control systems for supervising smart grids, traffic light systems and mass rapid transit networks, where the manager in the central command center may issue high-level commands to the operators to control the low-level physical system. Index Terms-Discrete-event systems (DESs), formal languages and automata, hierarchical control, online supervision.

show abstract

“…The more recent approach of Hierarchical Interface-based Supervisory Control using the Conflict Preorder (HISC-CP) [26] does not assume a master-slave relationship either. Based on results about the conflict preorder [28], interfaces are conflict-preserving abstractions of the subsystem they represent.…”

mentioning

confidence: 99%

“…Due to the increased expressive power, the HISC-CP interface consistency conditions facilitate the design of better hierarchies and allow full flexibility in the construction of interfaces and subsystems. This paper is an extended version of [26]. The HISC-CP modelling approach is described more clearly using two detailed examples of manufacturing systems, and experimental results demonstrate the feasibility of the approach for a large-scale system.…”

mentioning

confidence: 99%

Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder

Malik

Leduc

2014

Discrete Event Dyn Syst

Self Cite

View full text Add to dashboard Cite

This paper introduces Hierarchical Interface-Based Supervisory Control using the Conflict Preorder and applies it to the design of two manufacturing systems models of practical scale. Hierarchical Interface-Based Supervisory Control decomposes a large system into subsystems linked to each other by interfaces, facilitating the design of complex systems and the re-use of components. By ensuring that each subsystem satisfies its interface consistency conditions locally, it can be ensured that the complete system is controllable and nonblocking. The interface consistency conditions proposed in this paper are based on the conflict preorder, providing increased flexibility over previous approaches. The framework requires only a small number of interface consistency conditions, and allows for the design of multi-level hierarchies that are provably controllable and nonblocking.

show abstract

Hierarchical Interface-Based Supervisory Control Using the Conflict Preorder

Cited by 7 publications

References 17 publications

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition

Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder

Contact Info

Product

Resources

About