Formal specification and synthesis of procedural controllers for process systems
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). Despi...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer-Verlag : Springer e-books
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in control and information sciences
212 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal specification and synthesis of procedural controllers for process systems, Arturo Sanchez, London, Springer, 1996, xxiv, 221 p., Lecture notes in control and information sciences, 3-540-76021-0 • Formal Specification and Synthesis of Procedural Controllers for Process Systems, Texte imprimé, 9783662186084 |
| LEADER | 03226nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 945389 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155225693 | ||
| 020 | |a 9783540444305 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 620 | ||
| 100 | 1 | |a Sanchez, Arturo, |d 1963- | |
| 245 | 1 | 0 | |a Formal specification and synthesis of procedural controllers for process systems |c Arturo Sanchez. |
| 260 | |a Berlin [etc.] : |b Springer-Verlag : |b Springer e-books. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in control and information sciences |v 212 |x 1610-7411 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a The role of procedural control -- Modelling framework -- Specification modelling -- Supervisory control theory -- Synthesis of procedural controllers -- Implementation issues -- Epilogue. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Commande automatique | ||
| 650 | |a Commande de processus | ||
| 650 | |a Ingénierie | ||
| 776 | 0 | |0 025000306 |t Formal specification and synthesis of procedural controllers for process systems |f Arturo Sanchez |c London |n Springer |d 1996 |p xxiv, 221 p. |s Lecture notes in control and information sciences |z 3-540-76021-0 | |
| 776 | 0 | |t Formal Specification and Synthesis of Procedural Controllers for Process Systems |b Texte imprimé |z 9783662186084 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0036104 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-M0W0PBS7-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747910952 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0036104 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750923822 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0036104 |z Accès INSA CVL | |
| 997 | |0 945389 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||