|
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Automatic control engineering
|
Buy Now
Supervisory Control of Concurrent Systems - A Petri Net Structural Approach (Hardcover, 2006 ed.)
Loot Price: R4,462
Discovery Miles 44 620
|
|
|
Supervisory Control of Concurrent Systems - A Petri Net Structural Approach (Hardcover, 2006 ed.)
Series: Systems & Control: Foundations & Applications
Expected to ship within 12 - 17 working days
|
Increasing complexity in engineering projects raises difficult
challenges in industry and requires effective tools for
correct-by-construction design or design verification. This book
addresses the design of such tools for correct-by-construction
synthesis of supervisors for systems and specifications represented
in the discrete-event framework. The approach employed uses Petri
nets as discrete-event models and structural methods for the
synthesis of supervisors, and may lead to significant computational
benefits.Highlighting recent progress in the design of supervisors
by structural methods, the book represents a novel contribution to
the field. One of the main features of the presentation is the
demonstration that structural methods can address a variety of
supervisor specifications under diverse supervision settings.
Applications of the methods presented are emphasized by considering
various concurrency assumptions and types of system
uncontrollability and unobservability. Also considered is the
supervision problem for decentralized settings and hybrid dynamical
systems. All proposed methods are fully worked-out, ready to use,
and formally proven in a sound setting. design are also given. The
work is self-contained and includes necessary background on Petri
nets and supervision. Requiring only basic knowledge of
undergraduate-level discrete mathematics, the text is accessible to
a broad audience. Researchers and developers from various
engineering fields may find effective means to reduce the
complexity of design problems in the discrete-event setting.
Graduate students may use the work as a self-study reference, and
portions of the text may be used in advanced courses on
discrete-event systems.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
