Modelling and Analysis of Hybrid Supervisory Systems: A by Emilia Villani PhD, Paulo E. Miyagi, Robert Valette PhD

By Emilia Villani PhD, Paulo E. Miyagi, Robert Valette PhD (auth.)

Hybrid supervisory structures combine and alternate details among discrete- and continuous-data-based controllers and subsystems. software parts comprise strategy, production and repair industries, healthcare, telecommunication, transportation and logistics, between others.

From the standpoint, the fast development of information-processing strength and its advertisement availability has made attainable the improvement of advanced supervisory structures. Many limitations that confined the evolution of supervisory structures long ago were got rid of through the new popularisation of the open-system paradigm. nonetheless, software program has now not the evolution in and either the commercial and clinical groups have mentioned the necessity for a universal procedure that courses the improvement of hybrid supervisory structures.

Modelling and research of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential equation platforms and object-oriented tools; a formalism that's enough for modelling advanced and large-scale platforms. to steer the fashion designer and behavior hybrid modelling, the e-book describes a mode that starts off from the necessities of a supervisory procedure and leads to a suggestion for this type of procedure. the tactic is principally in line with Unified Modelling Language diagrams, recognized instruments in either academia and undefined. with the intention to make sure that the supervisory procedure will behave as anticipated less than any operational conditions, a validation approach that enables verification of the formal houses of the hybrid version is presented.

In development a bridge among what's built in educational study and what's to be had to the economic specialist, this monograph locations specific emphasis at the description of real-world examples; 3 of those – an HVAC administration procedure, a touchdown procedure and a cane-sugar manufacturing unit – are mentioned at size. it is going to curiosity educational researchers operating with hybrid structures and their functions and should solution the necessity of industry-based engineers to unify their regulate of constant- and discrete-event systems.

Advances in commercial Control goals to document and inspire the move of know-how up to speed engineering. The swift improvement of keep watch over expertise has an impression on all components of the regulate self-discipline. The sequence bargains a chance for researchers to provide a longer exposition of latest paintings in all points of business control.

Show description

Read or Download Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach PDF

Similar analysis books

Multidisciplinary Methods for Analysis Optimization and Control of Complex Systems

This e-book includes lecture notes of a summer time institution named after the past due Jacques Louis Lions. The summer time university used to be designed to alert either Academia and to the expanding function of multidisciplinary tools and instruments for the layout of complicated items in numerous parts of socio-economic curiosity.

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

Example text

For this purpose, the differential predicate transition net is more suitable than the mixed Petri net, as it does not have global variables and the Petri net place capacity is not constrained to one token. In the next section, a brief introduction to Petri nets is presented. It is then followed by the description of predicate transition nets and differential predicate transition nets. 2 Introduction to the Petri Net The Petri net (Murata, 1989) is a modelling formalism proposed by Carl Adam Petri in 1962 for modelling distributed systems.

The simulation is performed considering a specific behaviour of the external environment. However, the same restriction is not imposed for the formal verification of behaviour properties. Some properties do not depend on the behaviour of external entities. Typically, safety properties cannot depend on the behaviour of the environment. The system has to be safe in any case. Example – mixing system: The objects of class C3 – Controller are the only ones that interact with external entities (Fig. 25).

When an inconsistency is detected during the model simulation, the visualisation of the global system behaviour helps the diagnosis. The second remark is about encapsulation. The definition of a formalism based on the OO paradigm should provide a clear definition of the object interfaces. Objects interact only through their interfaces, ensuring the integrity of the internal data and behaviour. Another important point is the definition of hierarchical structures. The use of sophisticated hierarchical mechanisms and rules, such as those used in the third group, may compromise the graphical meaning of the Petri net.

Download PDF sample

Rated 4.38 of 5 – based on 38 votes