Modeling Techniques for Distributed Control Systems Based on the IEC 61499 Standard ɩĻ Current Approaches and Open Problems

Frey, Georg; Hussain, Tanvir

doi:10.1109/wodes.2006.1678427

Cited by 26 publications

(18 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[14], [15], [16], describe architectures that aim to solve particular challenges in the design and deployment of distributed control and each specify function blocks to a greater or lesser extent. As it is pointed out in the survey [17], the common factor across most design methods is the attempt to use Object Oriented (OO) techniques applied to function blocks.…”

Section: Efforts On Improving Engineering Efficiency Of Automationmentioning

confidence: 99%

Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499

Black

Vyatkin

2010

IEEE Trans. Automat. Sci. Eng.

104

View full text Add to dashboard Cite

Abstract. Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and other areas of manufacturing and materials handling, these legacy automation technologies are increasingly limiting for the growing demand for systems that are reconfigurable, fault tolerant and easy to maintain. IEC 61499 Function Blocks is an emerging architectural framework for the design of distributed industrial automation systems and their reusable components. A number of architectures have been suggested for multi-agent and holonic control systems that incorporate function blocks. This paper presents a multiagent control approach for a baggage handling system using IEC 61499 Function Blocks. In particular, it focuses on demonstrating a decentralised control system that is scalable, reconfigurable and fault tolerant. The design follows the Automation Object approach, and produces a function block component representing a single section of conveyor. In accordance with holonic principles this component is autonomous and collaborative, such that the structure and the behaviour of a baggage handling system can be entirely defined by the interconnection of these components within the function block design environment. Simulation is used to demonstrate the effectiveness of the agent-based control system and a utility is presented for real-time viewing of these systems. Tests on a physical conveyor test system demonstrated deployment to embedded control hardware.

show abstract

Section: Efforts On Improving Engineering Efficiency Of Automationmentioning

confidence: 99%

Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499

Black

Vyatkin

2010

IEEE Trans. Automat. Sci. Eng.

104

View full text Add to dashboard Cite

show abstract

“…The execution semantics are not completely specified by the IEC 61499 standard, and hence, different researchers have assumed somewhat different execution semantics in studying and modeling IEC 61499 controllers [3], [14], [15], [16] and [17]. Different IEC 61499 runtime environments often assume different execution semantics, which can lead to difficulties when a system is moved from one runtime environment to another [14].…”

Section: B Open Execution Semantics Issuesmentioning

confidence: 99%

“…Both [3] and [15] pose the question of whether the standard allows multi-tasking, i.e. multiple function blocks within a network running at the same time.…”

Section: B Open Execution Semantics Issuesmentioning

confidence: 99%

“…The main emphasis in verification of IEC 61499 controllers has been transforming these controllers into formal models whose properties can be more easily verified. For example, both the NCES formalism and timed automata have been used to express 61499 models and create verification methods using these formalisms [3]. Verification research in discrete event systems (DES) in general has included verification of controllability by means of counter-examples [4], studying the complexity of verifying language specifications [5], and checking diagnosability for partially observed systems [6].…”

mentioning

confidence: 99%

See 1 more Smart Citation

Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers

Allen

Goh

Tilbury

2009

2009 IEEE International Conference on Automation Science and Engineering

View full text Add to dashboard Cite

Verification of logic controllers can identify errors during the design stage so they can be remedied and prevent some faults from occurring once the system is running. Input order robustness is the property that multiple inputs arriving in a variety of orders, and regardless of the order, produce the same set of outputs and same final state. Verifying this property ensures determinism of the closed-loop system even if the environment is non-deterministic. Because use of the IEC 61499 standard for distributed control is becoming more widespread, we present the application of input order robustness verification to controllers implemented in this formalism. Open issues with IEC 61499 execution semantics are presented and discussed in relation to input order robustness verification.

show abstract

“…Čengić, et al proposed a formal framework for modeling Application [12] and execution semantics of the Application [13]. Many other formal methods such as net condition/event systems (NCES) and signal interpreted petri net (SIPN) were compared in [14].…”

mentioning

confidence: 99%

Improvement of type declaration of the IEC 61499 basic function block for developing applications of cyber-physical system

Wang

Zhang

Jia

2015

Microprocessors and Microsystems

View full text Add to dashboard Cite

The cyber-physical system relies on a network of physical devices. The IEC 61499 standard entails a systematic solution to distributed system development. The basic function block (BFB) is the essential construct of the IEC 61499 architecture. However, the execution semantics of the BFB is not well defined by the standard, which leads to a part of the semantic ambiguity. In this paper, we contribute to improve BFB type declaration by proposing a compact interface model and a strict execution control chart (ECC) model. The improved BFB exhibits less semantic ambiguity, is easier to be created, and is more convenient to be applied in a function block network than the standard BFB.

show abstract

Modeling Techniques for Distributed Control Systems Based on the IEC 61499 Standard ɩĻ Current Approaches and Open Problems

Cited by 26 publications

References 27 publications

Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499

Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499

Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers

Improvement of type declaration of the IEC 61499 basic function block for developing applications of cyber-physical system

Contact Info

Product

Resources

About