Modular Verification and Supervisory Controller Design for Discrete-event Systems Using Abstraction and Incremental Construction

Modular Verification and Supervisory Controller Design for Discrete-event Systems Using Abstraction and Incremental Construction

4.11 - 1251 ratings - Source



In this work, the correctness of the three approaches is proven. Additionally, application to some manufacturing based examples are employed to illustrate the potential strengths and weaknesses of each of the approaches.1.2 Motivating Problem: State-Space Explosion Despite all the advancements that have been made in the area of DES theory, application to real-life systems has been somewhat slow. A significant hurdle to the adoption of these methods is anbsp;...


Title:Modular Verification and Supervisory Controller Design for Discrete-event Systems Using Abstraction and Incremental Construction
Author: Richard Charles Hill
Publisher:ProQuest - 2008
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA