Download Supervisory control of concurrent systems : a Petri net by Marian Iordache, Panos J. Antsaklis PDF

By Marian Iordache, Panos J. Antsaklis

This publication addresses the layout of such instruments for correct-by-construction synthesis of supervisors for platforms and requisites represented within the discrete-event framework. The procedure hired makes use of Petri nets as discrete-event types and structural tools for the synthesis of supervisors, and will bring about major computational advantages. Highlighting fresh growth within the layout of supervisors through structural tools, the e-book represents a singular contribution to the sphere. one of many major positive factors of the presentation is the demonstration that structural tools can tackle various manager requirements below various supervision settings.

Show description

Read or Download Supervisory control of concurrent systems : a Petri net structural approach PDF

Best control systems books

control and design of flexible link manipulator

This monograph is anxious with the advance and implementation of nonlinear mathematical concepts for suggestions regulate and form layout of robotic manipulators whose hyperlinks have massive structural flexibility. a number of nonlinear keep an eye on and statement suggestions are studied and carried out via simulations and experiments in a laboratory setup.

Intelligent Control Systems with LabVIEW™

Clever keep an eye on is a swiftly constructing, complicated, and not easy box of accelerating sensible value and nonetheless better power. Its functions have a superb center in robotics and mechatronics yet department out into parts as different as method regulate, car undefined, scientific apparatus, renewable power and air-con.

Fault Detection and Fault-Tolerant Control for Nonlinear Systems

Linlin Li addresses the research and layout problems with observer-based FD and FTC for nonlinear structures. the writer analyses the life stipulations for the nonlinear observer-based FD platforms to achieve a deeper perception into the development of FD structures. Aided via the T-S fuzzy method, she recommends various layout schemes, between them the L_inf/L_2 form of FD platforms.

Multilayer Control of Networked Cyber-Physical Systems: Application to Monitoring, Autonomous and Robot Systems

This ebook faces the interdisciplinary problem of formulating performance-assessing layout ways for networked cyber-physical platforms (NCPSs). Its novel disbursed multilayer cooperative keep watch over bargains at the same time with communication-network and regulate functionality required for the community and alertness layers of an NCPS respectively.

Extra resources for Supervisory control of concurrent systems : a Petri net structural approach

Sample text

If e ∈ Σc (e ∈ Σo ), the supervisor is able to disable (observe) this event. Note that t is disabled by the supervisor only when all events e ∈ ρ(t) are disabled. Compared to the setting of individually controllable and observable transitions, one difference is that two transitions t1 and t2 may produce the same event when fired. Here, a supervisor controls/observes transitions indirectly, by disabling/observing events. This setting corresponds to the Ramadge–Wonham setting used for automata [159].

2. Note also that the concept of admissibility used in this work is different from that of [141, 142] (while still being related). We define as feasible constraints those constraints that can be exactly implemented by a feasible supervisor. In other words, the feasible constraints have the property that there is a supervisor that inhibits only enabled transitions that lead to states violating the constraints, never inhibits uncontrollable transitions, and does not detect the firings of unobservable transitions.

The solution is to find an appropriate initial marking or to control the firings of certain transitions. Partial controllability is not considered, in the sense that the design of the supervisor is not constrained by inability to control certain transitions. , assuming that the firing time of an enabled transition is bounded) no observation is necessary. The presentation of the results has been done 44 3 The Supervision of Petri Nets under the concurrency assumption. However, the results appear to be valid in other concurrency settings as well.

Download PDF sample

Rated 4.58 of 5 – based on 32 votes