Implementation and Verification of Distributed Control Systems

Implementation and Verification of Distributed Control Systems
Author :
Publisher : Logos Verlag Berlin GmbH
Total Pages : 131
Release :
ISBN-10 : 9783832528492
ISBN-13 : 3832528490
Rating : 4/5 (490 Downloads)

Book Synopsis Implementation and Verification of Distributed Control Systems by : Christian Gerber

Download or read book Implementation and Verification of Distributed Control Systems written by Christian Gerber and published by Logos Verlag Berlin GmbH. This book was released on 2011 with total page 131 pages. Available in PDF, EPUB and Kindle. Book excerpt: There exist certain key issues to modern industrial automation as modularity, reusability, portability, flexibility, extendibility and reconfigurability to create optimally coordinated automation solution for manufacturing plants. This will feature the operating companies to react fast and flexible to changed customer demands. An appropriate way to realize these issues is an object-oriented control implementation, which has been quite common since the late 90s. This work is focused on the upcoming standard IEC 61499, which defines an object-oriented and event-driven software model, which can be realised by any hardware the engineer prefers. Furthermore, the control implementation is application-oriented and all parts are mapped to available control devices later on. Thus, it is possible to replace one device by another by easily remapping the application. But, does this possibility need certain care during the development of the control application and how could a control engineer be supported to prove the correctness of the plant behaviour in any case? To answer this question the formal model discrete timed Net Condition/Event Systems is used in this work to model in a modular manner the control system and the plant. Both models are connected in closed loop to perform a reachability analysis. It is shown, how a control engineer can examine in a graphical manner the system behaviour for all possible cases by selecting interesting trajectories and drawing them as Gantt-Charts. Since the model of the plant incorporates all sensors and actuators, the state of the corresponding places can be included into the Gantt-Chart.Even if the control engineer has no deep knowledge about the used formal model, this systematic and tool supported way ensures the possibility to analyse the system behaviour in any case, if he changes the control application or remaps it. This will reduce downtimes during production changes and new plant can be brought faster into service.


Implementation and Verification of Distributed Control Systems Related Books

Implementation and Verification of Distributed Control Systems
Language: en
Pages: 131
Authors: Christian Gerber
Categories: Computers
Type: BOOK - Published: 2011 - Publisher: Logos Verlag Berlin GmbH

DOWNLOAD EBOOK

There exist certain key issues to modern industrial automation as modularity, reusability, portability, flexibility, extendibility and reconfigurability to crea
Modelling Control Systems Using IEC 61499
Language: en
Pages: 246
Authors: Alois Zoitl
Categories: Technology & Engineering
Type: BOOK - Published: 2014-05-30 - Publisher: IET

DOWNLOAD EBOOK

This book provides a concise introduction to the main concepts and models defined in the standard for modelling distributed control systems for use in factory a
Intelligent Production Machines and Systems - First I*PROMS Virtual Conference
Language: en
Pages: 691
Authors: Duc T. Pham
Categories: Technology & Engineering
Type: BOOK - Published: 2005-12-09 - Publisher: Elsevier

DOWNLOAD EBOOK

The 2005 Virtual International Conference on IPROMS took place on the Internet between 4 and 15 July 2005. IPROMS 2005 was an outstanding success. During the Co
New Trends in Design of Control Systems 1994
Language: en
Pages: 447
Authors: J. Mikles
Categories: Technology & Engineering
Type: BOOK - Published: 2014-05-23 - Publisher: Elsevier

DOWNLOAD EBOOK

Computer control systems are developing rapidly, therefore an insight of the latest trends in the design of control systems will increase the success of future
Guide to Industrial Control Systems (ICS) Security
Language: en
Pages: 0
Authors: Keith Stouffer
Categories: Computer networks
Type: BOOK - Published: 2015 - Publisher:

DOWNLOAD EBOOK