Norges billigste bøker

Supervisory Control of Concurrent Systems

- A Petri Net Structural Approach

Om Supervisory Control of Concurrent Systems

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 approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780817643577
  • Bindende:
  • Hardback
  • Sider:
  • 286
  • Utgitt:
  • 9 juni 2006
  • Utgave:
  • 2006
  • Dimensjoner:
  • 160x241x23 mm.
  • Vekt:
  • 680 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 27 juli 2024

Beskrivelse av Supervisory Control of Concurrent Systems

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 approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits.

Brukervurderinger av Supervisory Control of Concurrent Systems



Finn lignende bøker
Boken Supervisory Control of Concurrent Systems finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.