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

Author(s)

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

Bibliographic Information

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]

Note

Includes bibliographical references (p. [213]-216) and index

Description and Table of Contents

Description

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.

Table of Contents

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.

by "Nielsen BookData"

Details

• NCID: BA81971622
• ISBN:
  • 9781846286506
  • 9781846286513
• LCCN: 2006938338
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: xxi, 224 p.
• Size: 25 cm
• Classification:
  • LCC : TJ213
  • DC22 : 629.80151135
• Subject Headings:
  • LCSH : Automatic control
  • LCSH : Automatic control -- Mathematical models
  • LCSH : System analysis
  • LCSH : Automatic control -- Case studies
  • LCSH : Petri nets
• Parent Bibliography ID:
  • BA17234269