Modelling and analysis of hybrid supervisory systems : a petri net approach

著者

• Villani, Emilia
• Miyagi, Paulo Eigi
• Valette, Robert

書誌事項

Modelling and analysis of hybrid supervisory systems : a petri net approach

Emilia Villani, Paulo E. Miyagi and Robert Valette

（Advances in industrial control）

Springer-Verlag, c2007

• : hbk
• : [ebook]

注記

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」 より

詳細情報

• NII書誌ID(NCID): BA81971622
• ISBN:
  • 9781846286506
  • 9781846286513
• LCCN: 2006938338
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: xxi, 224 p.
• 大きさ: 25 cm
• 分類:
  • LCC : TJ213
  • DC22 : 629.80151135
• 件名:
  • LCSH : Automatic control
  • LCSH : Automatic control -- Mathematical models
  • LCSH : System analysis
  • LCSH : Automatic control -- Case studies
  • LCSH : Petri nets
• 親書誌ID:
  • BA17234269