Modelling and Analysis of Hybrid Supervisory Systems

Modelling and Analysis of Hybrid Supervisory Systems

4.11 - 1251 ratings - Source

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.The purpose of the conversion is to identify which places and transitions of the OO-DPT net perform the activities of the activity diagram, and therefore ensure that they are consistent. The conversion is made by applying the following rules: anbsp;...

Title:Modelling and Analysis of Hybrid Supervisory Systems
Author: Emilia Villani, Paulo Eigi Miyagi, Robert Valette
Publisher:Springer Science & Business Media - 2007-05-18

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA