株式会社極東書店トップ ＞ 商品一覧 ＞ Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach. 2007 ed.
商品詳細
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach. 2007 ed.
・ISBN 978-1-84628-650-6 hard EUR 99.99
￥26,726.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Villani, Emilia / Miyagi, Paulo Eigi / Valette, Robert, |
|---|---|
| シリーズ | (Advances in Industrial Control) |
| 出版社 | (Springer London Ltd, UK) |
| 出版年月 | 2007 |
| ページ数 | 226 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-51912＞ |
解説
"Modelling and Analysis of Hybrid Supervisory Systems" introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on UML diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected, a validation procedure that allows verification of the formal properties of the hybrid model is presented.
In building a bridge between what is developed in academic research and what is available to the industrial professional, this monograph places particular emphasis on the description of real-world examples; three of these - an HVAC management system, a landing system and a cane-sugar factory - are discussed at length.