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 work is self-contained and is accessible to a broad audience.
Read More
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 work is self-contained and is accessible to a broad audience.
Read Less