• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach

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

Hardcover

Series: Advances in Industrial Control

Technology & Engineering

ISBN10: 1846286506
ISBN13: 9781846286506
Publisher: Springer Nature
Published: Jan 2 2007
Pages: 226
Weight: 1.16
Height: 0.63 Width: 6.14 Depth: 9.21
Language: English

Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on UML diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected, a validation procedure that allows verification of the formal properties of the hybrid model is presented.

1 different editions

Also available

Also in

Technology & Engineering