Modelling and analysis of hybrid supervisory systems : a petri net approach
著者
書誌事項
Modelling and analysis of hybrid supervisory systems : a petri net approach
(Advances in industrial control)
Springer-Verlag, c2007
- : hbk
- : [ebook]
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [213]-216) and index
内容説明・目次
内容説明
This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The book also presents a validation procedure that allows verification of the formal properties of the hybrid model.
目次
Modelling of Hybrid Systems.- Development of the Supervisory System.- Hybrid System Analysis.- Application 1: HVAC System.- Application 2: Landing System.- Application 3: Cane Sugar Factory.- Conclusion and Research Topics.
「Nielsen BookData」 より