Design and PLC based implementation of supervisory control for under-load tap-changing transformers

Noorbakhsh, Mahvash; Afzalian, Ali A.

doi:10.1109/iccas.2007.4407031

Cited by 9 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although several applications reported in the literature, e.g., [15,22,23], include implementation of synthesized supervisors on a PC or a PLC, they are usually put in practice in an academic setup. To our knowledge, the industrial applications described in [12,18,34] are ones of the few that actually refer to an existing industrial product.…”

Section: Industrial Casesmentioning

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: Industrial Casesmentioning

confidence: 99%

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

2016

View full text Add to dashboard Cite

show abstract

“…Theoretical results can be exerted in industrial applications, e.g. gas transmission networks and power systems [20].…”

Section: Introductionmentioning

confidence: 99%

Distributed supervisory control with partial observation

Saeidi

Afzalian

Gharavian

2016

2016 4th International Conference on Control, Instrumentation, and Automation (ICCIA)

View full text Add to dashboard Cite

Distributed supervisory control is a method to synthesize local controllers without any restriction on observation of the plant. Since the set algebra preserves relationships between variables and provides a simpler way to develop theories, the observation properties are redefined and corresponding propositions are proved by set algebra, in this paper. Moreover, we define new observation properties, i.e. local normality and local relative observability for the local controllers which constructed by any localization algorithm that preserves control equivalent to monolithic supervisor w.r.t. the plant. These properties enable us to investigate the observation problem from monolithic to distributed supervisory control. Furthermore, observation equivalence property is defined corresponding to the control equivalence in distributed supervisory control with partial observation. It is proved that, providing observation equivalence of the local controllers to the monolithic supervisor w.r.t. the plant, the control equivalence is satisfied, if and only if the intersection of local events sets is a subset or equal to the global observable events set.

show abstract