Supervisory control of concurrent systems : a Petri net structural approach / Marian V. Iordache, Panos J. Antsaklis.
"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 specif...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Boston :
Birkhäuser,
©2006.
|
| Series: | Systems & control.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
TJ222 .I57 2006
|
|---|---|
| TJ222 .I57 2006 | Available |