Supervisory Control of Concurrent Systems
Publication year: 2006
ISBN: 978-0-8176-4488-8
Internet Resource: Please Login to download book
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.
Subject: Engineering, MATLAB, Performance, Petri nets, concurrent systems, construction, correct-by-construction design, discrete-event systems, hybrid dynamical systems, petri net, structural methods, supervisory control, verification
