Implementation and Verification of Distributed Control Systems
By (author) Christian Gerber
Paperback (Published)
(May 2011)
ISBN: 9783832528492
5.71 x 8.27 inches
Price: $57.00
Out of stock
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.
- By (author) Christian Gerber
Other Titles in this Series
Similar Books
![Book cover: Transitive Media [Philosophy]](https://isd.stisonbooks.com/images/books/native/9781804132340.jpg?asset_id=66970)
Care in an Era of New Technologies and Artificial Intelligence
Relationships in a Connected World
Volume 14
Buchblogs zwischen Passion und Profession
Zur Diskursivierung digitaler literaturbezogener Anschlusskommunikation als Arbeit
Die Einführung ins richtige Handeln in der Arithmetik (Madḫal ar-rašad ilā ʿilm al-ʿadad) von al-Qalaṣādī (st. 1486)
Bearbeitung und Einordnung in die maġribinische Mathematikgeschichte
Volume 19
Digitale Medien und Religionsunterricht
Ein domänenspezifischer Beitrag zu einer kritischen Medienbildung unter Berücksichtigung medien-, bildungs- und lerntheoretischer Perspektiven
Ein Glucksritter als Wegbereiter der Motorisierung
Der Basler Kaufmann Eduard Burckhardt (1847-1897)
Partizipative Produktentwicklung in der Modeindustrie
Methoden, Vorgehensmodelle und ihre Anwendung in der Wertschöpfung smarter Outdoorbekleidung
Heterarchical Production Planning and Control Architectures in the Context of Industry 4.0
Complexity-based Selection and Guidance for Implementation
Volume 67
Proceedings of the 7th Symposium of the Hellenic Society for Archaeometry
Archaeology Archaeometry: 30 Years Later
I disegni e i discorsi di Giovanni Antonio Nigrone vol. I
fontanaro e ingegniero de acqua (1585-1609 ca.)
Volume 481
I disegni e i discorsi di Giovanni Antonio Nigrone vol. II
Fontanaro e ingegniero de acqua (1585-1609 ca.)
Volume 497
