Isbn: 9780817643577 - supervisory control of concurrent systems: a petri net structural approach (systems & control: foundations & applications) (6 Ergebnisse)

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. In English.

Gebunden. Zustand: New. Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the fieldA focus on both theory and practice: formal proofs are provided in a sound mathematical setting to guarantee perf.

Zustand: New. 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. Series: Systems & Control: Foundations and Applications. Num Pages: 302 pages, 100 black & white illustrations, 4 black & white tables, biography. BIC Classification: TBD; TJFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 160 x 23. Weight in Grams: 680. . 2006. Hardback. . . . . Books ship from the US and Ireland.…