The role of supervisory controller synthesis in automatic control software development

Baeten, J.C.M.; Markovski, Jasen

doi:10.1016/j.scico.2013.11.016

Cited by 5 publications

(4 citation statements)

References 44 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Baeten and Markovski (2015) proposed a model-driven system engineering approach, referred to as supervisory controller synthesis, which targeted discrete-event control software for high-tech and complex systems. The proposed framework supported extensions with quantitative features for development of quality control software with a process-theoretic foundation.…”

Section: Implementation/programmingmentioning

confidence: 99%

Modern software cybernetics: New trends

Yang

Chen

Aliyu

2017

Journal of Systems and Software

View full text Add to dashboard Cite

Section: Implementation/programmingmentioning

confidence: 99%

Modern software cybernetics: New trends

Yang

Chen

Aliyu

2017

Journal of Systems and Software

View full text Add to dashboard Cite

“…We briefly describe the modeling process and we refer to [24] for an overview of additional applications of the proposed framework. The modeling process begins with an informal specification of the controlled system, i.e., the desired product, written by domain engineers.…”

Section: Modeling For Supervisory Controlmentioning

confidence: 99%

“…The hybrid model is suitable for simulation purposes, and it can be abstracted to a discrete-event model for synthesis purposes [2,3]. Alternatively, a discrete-event model can be made, and subsequently refined [25]. We note that in many cases there was already a hardware prototype [12,14,15] and/or a hybrid model in place [13].…”

Section: Modeling For Supervisory Controlmentioning

confidence: 99%

A process-theoretic approach to supervisory coordination under partial observation

Markovski

2016

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

h i g h l i g h t s• We propose a model-based engineering framework for coordination of complex systems. • The framework relies on a process theory geared towards supervisory coordination. • We defined controllability by means of the partial bisimulation preorder.• We characterize event history-based and data observer-based supervisors.• The framework is employed for coordination of a printing process function. a r t i c l e i n f o a b s t r a c tWe propose a synthesis-centric model-based engineering framework for safe and nonblocking coordination of distributed components of complex high-tech systems. The framework is based on a process theory geared towards supervisory coordination and control of nondeterministic discrete-event systems under partial observation. Supervisory control theory deals with automated synthesis of provably correct models of supervisory controllers based on formal models of the system components and a formalization of the coordination requirements. Based on the obtained models, code generation can be used to implement the supervisory controllers in software, on a PLC, or an embedded (micro)processor. The proposed theory employs communication actions to distinguish between the different flows of information, i.e., observation of the system behavior and supervision by means of forwarding control signals. In addition, we consider the case of partial observation, where some behavior of the unsupervised system is hidden from the supervisory controller, e.g., due to lack of sensory information or internal inter-component communication. We revisit the notion of partial observation and treat it as a property of the supervisor, instead of conditioning the control requirements, which is a standard approach. By employing a behavior relation termed partial bisimulation, we are able to succinctly and transparently capture the notions of controllability and partial observability.

show abstract

“…The supervisory control problem is to design a supervisor that determines enabling or disabling of each controllable event from the observation of system's behavior so that the supervised DES satisfies a control specification given by a language or a predicate. The supervisory control is applied to software adaptation and automatic software development [3], [4], and the formal methods in manufacturing systems [5].…”

Section: Introductionmentioning

confidence: 99%

Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances

Pruekprasert

Ushio

2016

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

Sasinee PRUEKPRASERT†a) , Nonmember and Toshimitsu USHIO †b) , Fellow SUMMARY This paper considers an optimal stabilization problem of quantitative discrete event systems (DESs) under the influence of disturbances. We model a DES by a deterministic weighted automaton. The control cost is concerned with the sum of the weights along the generated trajectories reaching the target state. The region of weak attraction is the set of states of the system such that all trajectories starting from them can be controlled to reach a specified set of target states and stay there indefinitely. An optimal stabilizing controller is a controller that drives the states in this region to the set of target states with minimum control cost and keeps them there. We consider two control objectives: to minimize the worst-case control cost (1) subject to all enabled trajectories and (2) subject to the enabled trajectories starting by controllable events. Moreover, we consider the disturbances which are uncontrollable events that rarely occur in the real system but may degrade the control performance when they occur. We propose a linearithmic time algorithm for the synthesis of an optimal stabilizing controller which is robust to disturbances.

show abstract

The role of supervisory controller synthesis in automatic control software development

Cited by 5 publications

References 44 publications

Modern software cybernetics: New trends

Modern software cybernetics: New trends

A process-theoretic approach to supervisory coordination under partial observation

Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances

Contact Info

Product

Resources

About