Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Formal Specification and Synthesis of Procedural Controllers for Process Systems
10 Angebote vergleichen
Bester Preis: € 5,11 (vom 20.11.2019)Formal Specification and Synthesis of Procedural Controllers for Process Systems (1996)
ISBN: 9783540760214 bzw. 3540760210, in Deutsch, Springer Mrz 1996, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. These activities are normally carried out by procedural control systems (such as PLCs or DCSs). Despite the extent to which these control systems are used in practice, limited theoretical frameworks exist to support their analysis and design. This is particularly relevant in flexible production environments which are characterised by frequent changes in the product recipes, production modes and equipment configuration. The book outlines a formal framework for the synthesis of control systems employed in the automation of event-driven process operations. The approach used builds on other theories initially proposed in computing and control disciplines. 252 pp. Englisch.
Formal Specification and Synthesis of Procedural Controllers for Process Systems (1996)
ISBN: 9783540760214 bzw. 3540760210, vermutlich in Englisch, Springer, Taschenbuch, neu.
The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. These activities are normally carried out by procedural control systems (such as PLCs or DCSs). Despite the extent to which these control systems are used in practice, limited theoretical frameworks exist to support their analysis and design. This is particularly relevant in flexible production environments which are characterised by frequent changes in the product recipes, production modes and equipment configuration. The book outlines a formal framework for the synthesis of control systems employed in the automation of event-driven process operations. The approach used builds on other theories initially proposed in computing and control disciplines. Taschenbuch, 20.03.1996.
Formal Specification and Synthesis of Procedural Controllers for Process Systems
ISBN: 9783540760214 bzw. 3540760210, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. These activities are normally carried out by procedural control systems (such as PLCs or DCSs). Despite the extent to which these control systems are used in practice, limited theoretical frameworks exist to support their analysis and design. This is particularly relevant in flexible production environments which are characterised by frequent changes in the product recipes, production modes and equipment configuration. The book outlines a formal framework for the synthesis of control systems employed in the automation of event-driven process operations. The approach used builds on other theories initially proposed in computing and control disciplines. Soft cover.
Formal Specification and Synthesis of Procedural Controllers for Process Systems
ISBN: 9783540444305 bzw. 3540444300, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. These activities are normally carried out by procedural control systems (such as PLCs or DCSs). Despite the extent to which these control systems are used in practice, limited theoretical frameworks exist to support their analysis and design. This is particularly relevant in flexible production environments which are characterised by frequent changes in the product recipes, production modes and equipment configuration. The book outlines a formal framework for the synthesis of control systems employed in the automation of event-driven process operations. The approach used builds on other theories initially proposed in computing and control disciplines. eBook.
Formal Specification and Synthesis of Procedural Controllers for Process Systems (Lecture Notes in Control and Information Sciences)
ISBN: 9783540760214 bzw. 3540760210, in Deutsch, Springer, gebraucht.
Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition.
Formal Specification and Synthesis of Procedural Controllers for Process Systems (1996)
ISBN: 9783540760214 bzw. 3540760210, in Deutsch, Springer Verlag, Taschenbuch, neu.
221 pages. 9.25x6.25x0.75 inches. In Stock.
Formal Specification and Synthesis of Procedural (1996)
ISBN: 9783540760214 bzw. 3540760210, vermutlich in Englisch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formal Specification and Synthesis of Procedural Controllers for Process Systems
ISBN: 9783540444305 bzw. 3540444300, in Deutsch, Springer Nature, neu, E-Book.
Normal, automation, control, control system, control theory, Engineering; Control, Robotics, Mechatronics, eBook.