Hierarchical interface-based supervisory control of a flexible manufacturing system

Leduc, Ryan J.; Lawford, Mark; Dai, Pengcheng

doi:10.1109/tcst.2006.876635

Cited by 48 publications

(65 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Next, we will very briefly discuss the symbolic methods we have developed. We close by discussing a large manufacturing system example (estimated worst case statespace on the order of 10 30 ) which was extended from the AIP example in [4], [7]. The example demonstrates the improved scalability that our symbolic approach offers.…”

Section: Introductionmentioning

confidence: 92%

“…We present below a state based interface definition as it is more straightforward to verify. We show in [19] that it is equivalent to the language based definition given in [5]- [7] as long as G I j is reachable.…”

Section: High-levelmentioning

confidence: 99%

“…The point 5 in the definition below is actually slightly different than the one given in [4]- [7]. We use it since it makes the synthesis definitions clearer.…”

Section: Definitionmentioning

confidence: 99%

“…The Hierarchical Interface-Based Supervisory Control (HISC) framework was proposed by Leduc et al ( [4]- [7]) to alleviate the state explosion problem. The HISC approach decomposes a system into a high-level subsystem which communicates with n ≥ 1 parallel low-level subsystems through separate interfaces that restrict the interaction of the subsystems.…”

Section: Introductionmentioning

confidence: 99%

“…As the HISC method has already been explained and justified in detail in [5]- [7], we will only discuss it briefly here. For a small illustrative HISC example, please see [5].…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Synthesis Method for Hierarchical Interface-based Supervisory Control

Leduc

Dai

2007

2007 American Control Conference

View full text Add to dashboard Cite

Hierarchical Interface-Based Supervisory Control (HISC) decomposes a discrete-event system (DES) into a high-level subsystem which communicates with n ≥ 1 low-level subsystems, through separate interfaces. It provides a set of local conditions that can be used to verify global conditions such as nonblocking and controllability such that the complete system model never needs to be constructed.Currently, a designer must create the supervisors himself and then verify that they satisfy the HISC conditions. In this paper, we develop a synthesis method that can take advantage of the HISC structure.We replace the supervisor for each level by a corresponding specification DES. We then construct for each level a maximally permissive supervisor that satisfies the corresponding HISC conditions.We define a set of language based fixpoint operators and show that they compute the required level-wise supremal languages. We then discuss the complexity of our algorithms and show that they potentially offer significant savings over the monolithic approach. We also briefly discuss a symbolic HISC verification and synthesis method using Binary Decision Diagrams, that we have also developed.A large manufacturing system example (worst case state space on the order of 10 30 ) extended from the AIP example is briefly discussed. The example showed that we can now handle a given level with a statespace as large as 10 15 states, using less than 160MB of memory. This represents a significant improvement in the size of systems that can be handled by the HISC approach. A software tool for synthesis and verification of HISC systems using our approach was also developed.

show abstract

Section: Introductionmentioning

confidence: 92%

Section: High-levelmentioning

confidence: 99%

“…The point 5 in the definition below is actually slightly different than the one given in [4]- [7]. We use it since it makes the synthesis definitions clearer.…”

Section: Definitionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…As the HISC method has already been explained and justified in detail in [5]- [7], we will only discuss it briefly here. For a small illustrative HISC example, please see [5].…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations