Tags
Language
Tags
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4

Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Repost)

Posted By: step778
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Repost)

Emilia Villani, Paulo Eigi Miyagi, Robert Valette, "Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach"
2006 | pages: 238 | ISBN: 1846286506 | PDF | 3,0 mb

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.

My Link