John O. Moody's Supervisory Control of Discrete Event Systems Using Petri PDF

By John O. Moody

Supervisory regulate of Discrete occasion structures utilizing Petri Nets offers a unique method of its topic. The recommendations of supervisory keep watch over and discrete occasion structures are defined, and the heritage fabric on normal Petri web concept valuable for utilizing the book's keep an eye on suggestions is equipped. plenty of examples is used to demonstrate the options and methods awarded within the textual content, and there are many references for these attracted to extra examine or additional information on a specific subject.
Supervisory keep watch over of Discrete occasion structures utilizing Petri Nets is meant for graduate scholars, complex undergraduates, and practising engineers who're drawn to the keep watch over difficulties of producing, communique and laptop networks, chemical method crops, and different high-level keep an eye on functions. The textual content is written from an engineering standpoint, however it is additionally acceptable for college kids of computing device technological know-how, utilized arithmetic, or economics. The ebook comprises sufficient history fabric to face on my own as an advent to supervisory regulate with Petri nets, however it can also be used as a supplemental textual content in a path on discrete occasion structures or clever self sustaining control.

Show description

Read Online or Download Supervisory Control of Discrete Event Systems Using Petri Nets PDF

Best control systems books

Download e-book for iPad: PID Controllers for Time-Delay Systems by Guillermo J. Silva, Aniruddha Datta, S. P. Bhattacharyya

This monograph comprises new effects at the stabilization of time-delay platforms utilizing PID controllers. the most thrust of the ebook is the layout of PID controllers for time-delay platforms, for which the authors have received a few vital requisites, insights and new layout ideas. one of the difficulties thought of during this ebook, an enormous one is that of stabilizing a first-order plant with lifeless time utilizing a PID controller.

Download e-book for kindle: Uniform Output Regulation of Nonlinear Systems: A Convergent by Alexey Victorovich Pavlov, Nathan van de Wouw, Henk

This research of the nonlinear output law challenge embraces neighborhood in addition to worldwide instances, protecting such points as controller layout and functional implementation matters. From the studies: "The authors deal with the matter of output legislation for a nonlinear regulate process. .. [they] increase a world method of output rules alongside common traces.

Get Qualitative Theory of Hybrid Dynamical Systems PDF

Hybrid dynamical platforms, either non-stop and discrete dynamics and variables, have attracted massive curiosity lately. This rising region is located on the interface of keep an eye on idea and machine engineering, concentrating on the analogue and electronic points of structures and units. they're crucial for advances in sleek electronic- controller know-how.

Extra info for Supervisory Control of Discrete Event Systems Using Petri Nets

Example text

13) can be realized by a Petri net if the PN model is expanded to include the use of inhibitorarcs3 " [Giua and DiCesare, 1994], but then we are no longer dealing with ordinary Petri nets. Just as not all context-free languages are Petri net languages, not all Petri net languages are context-free either. 7 accepts the following inhibitor arc is an arc p -+ t that prevents t from firing when p contains a number of tokens greater than or equal to the arc weight. 14) which is context-sensitive, but not context-free [Peterson, 1981].

Furthermore, given a particular initial marking, it may not be possible to reach all possible allowed markings, and it might not even be possible to return to the initial marking. These consequences are not a result of monitor based control but are due to the strict, literal enforcement of the constraints. , 1992]. The authors note that, for safe and 2Means for handling liveness and deadlock issues appears in chapter 6. 2 Supervisor Synthesis using Place Invariants 27 conservative nets, control can still be imposed even in the face of uncontrollable transitions.

In this case, a maximally permissive controller only prevents firings that lead to states that directly violate the given constraint. 5 General constraint admissibility. A constraint on the marking and/or firing behavior of a Petri net is admissible iff 1. The initial conditions of the plant satisfy the constraint, and 2. There exists a maximally permissive controller (constructed under the assumption that all transitions are controllable) that enforces the constraint and does not inhibit any uncontrollable transitions that would otherwise be enabled.

Download PDF sample

Rated 4.42 of 5 – based on 34 votes