Implementation and Verification of Distributed Control Systems (Paperback)

Language: English

Published by Logos Verlag Berlin GmbH, Berlin, 2011

3832528490 / 9783832528492

  • Softcover
  • New
See all details

Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

5-star seller

AbeBooks seller since June 22, 2007

View this seller's items
Softcover

Condition: New

£ 121.97

£ 27.93 shipping 
Ships from Australia to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Paperback. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Seller Inventory # 9783832528492

Title
Implementation and Verification of Distributed Control Systems (Paperback)
Author
Christian Gerber
Publisher
Logos Verlag Berlin GmbH, Berlin
Publication year
2011
Condition
new
Binding
Paperback
Language
English
ISBN 10
3832528490
ISBN 13
9783832528492

AussieBookSeller

Truganina, VIC, Australia

5-star seller

AbeBooks seller since June 22, 2007

Shipping rates from Australia to U.S.A.

Item25 to 45 business days8 to 14 business days
First item£ 27.93£ 33.22
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Seller's business information

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029