Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Flordal, Hugo; Malik, Robi; Fabian, Martin; Åkesson, Knut

doi:10.1007/s10626-007-0018-z

Cited by 69 publications

(97 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Different methods have been developed that allow for an automatic synthesis of a supervisor. As computational complexity is high for systems of industrial size, several advanced techniques have been introduced to reduce synthesis complexity, such as modular [25], hierarchical [35], interface-based hierarchical [14], aggregative [11,17], distributed [9,13,32], coordinated distributed [29], and aggregated distributed [30]. They allow for splitting a system in a number of modules for which local supervisors can be synthesized.…”

Section: Synthesis-based Supervisory Control Engineeringmentioning

confidence: 99%

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

2016

View full text Add to dashboard Cite

Increasing system complexity, time to market and development costs reduction place higher demands on engineering processes. Formal models play an important role here because they enable the use of various model-based analyses and early integration techniques and tools. Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably. This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes. To illustrate this approach, examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms. IntroductionIn current industrial practice, it is very difficult to deal with high-tech multidisciplinary system development due to system complexity, market pressure, and resource limitations. To overcome the difficulties, various kinds of models are used increasingly often in the development process. Specifically, formal and executable models built and employed in the design phase can be used to assess functional correctness and performance of component designs and overall system design. Formal verification, in particular model checking [3], is employed when a high degree of confidence in functional correctness of a design is required. To assess design performance, one

show abstract

Section: Synthesis-based Supervisory Control Engineeringmentioning

confidence: 99%

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

2016

View full text Add to dashboard Cite

show abstract

“…One potential drawback of this approach is that the conditions for interface invariance may be too strong for many practical applications. In Flordal et al (2007) and Malik and Flordal (2008) compositional synthesis approaches are provided which aggregate component models one after another hoping that "bad" behaviors can be dropped out during the process of aggregation, instead of being kept to the last stage which usually results in extremely high complexity. Notable attentions should also be paid to some recent distributed synthesis approaches presented in e.g., Su and Thistle (2006), Feng and Wonham (2006), Hill et al (2008) and Su et al (2009Su et al ( , 2010a, which utilize (languagebased or automaton-based) model abstraction techniques when dealing with local synthesis.…”

Section: Supervisory Control Theorymentioning

confidence: 99%

Application of supervisory control theory to theme park vehicles

Forschelen

Mortel-Fronczak

et al. 2012

Discrete Event Dyn Syst

View full text Add to dashboard Cite

Due to increasing system complexity, time-to-market and development costs reduction, new engineering processes are required. Model-based engineering processes are suitable candidates because they support system development by enabling the use of various model-based analysis techniques and tools. As a result, they are able to cope with complexity and have the potential to reduce time-tomarket and development costs. Moreover, supervisory control synthesis can be integrated in this setting, which can further contribute to the development of control systems. To evaluate the applicability of recently developed supervisor synthesis techniques and to show how they can be integrated in an engineering process, a theme park vehicle is chosen as a case study. The supervisor synthesized for the theme park vehicle has successfully been implemented and integrated in the existing resource-control platform.

show abstract

“….. There are different ways of computing a supervisor such as monolithic [1], modular [25], and compositional [26] synthesis. In our approach we apply monolithic synthesis, which is performing fixed-point computations on the single composed automaton S 0 = P Sp.…”

Section: Supervisory Control Theorymentioning

confidence: 99%

Symbolic computation of nonblocking control function for timed discrete event systems

Miremadi

Fei

Åkesson

et al. 2012

2012 IEEE 51st IEEE Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

Abstract-In this paper, we symbolically compute a minimally restrictive nonblocking supervisor for timed discrete event systems, in the supervisory control theory context. The method is based on Timed Extended Finite Automata, which is an augmentation of extended finite automata (EFAs) by incorporating discrete time into the model. EFAs are ordinary automaton extended with discrete variables, guard expressions and action functions. To tackle large problems all computations are based on binary decision diagrams (BDDs). The main feature of this approach is that the BDD-based fixed-point computations is not based on "tick" models that have been commonly used in this area, leading to better performance in many cases. As a case study, we effectively computed the minimally restrictive nonblocking supervisor for a well-known production cell.

show abstract

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Cited by 69 publications

References 14 publications

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

Application of supervisory control theory to theme park vehicles

Symbolic computation of nonblocking control function for timed discrete event systems

Contact Info

Product

Resources

About