Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Modular Methods in the Supervisory Control of Discrete Event Systems Richard Hill

Modular Methods in the Supervisory Control of Discrete Event Systems

Incremental design and verification employing abstraction and interfaces

Szerző: Richard Hill
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: VDM Verlag
Elérhetőség: Kiadói készleten rendelésre
Küldés 17-27 napon belül
24 227 Ft
The subject of this book is modular approaches to the verification and control of discrete-event sys...

Információk a könyvről

Szerző
Richard Hill
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2010
oldal
200
EAN
9783639210316
ISBN
363921031X
Enbook ID
06828960
Kiadó
VDM Verlag
Súly
299
Méretek
152 x 229 x 12

Teljes leírás

The subject of this book is modular approaches to the verification and control of discrete-event systems (DES). DES are dynamic systems characterized by discrete states and event-driven evolution. In recent years, a substantial body of work has been built up to provide a theory and framework for the control and verification of DES. Despite all the advancements that have been made in this area, application to real-life systems has been somewhat slow. A significant hurdle to the adoption of these methods is the state-space explosion that occurs in modeling systems of the size most commonly found in industry. This book develops three new modular approaches to the supervisory control of DES that reduce complexity through the use of abstraction and interfaces. The advantages and limitations of these approaches are presented in the context of the current state of the art through illustrative examples.

Érdekelheti

Analytical Models of Thermal Stresses in Composite Materials IV

Ladislav Ceniga
113 537 Ft

Market, State and Feminism

Graham Dawson
48 688 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

L''agriculture Alg rienne Dans La Tourmente

Mohamed Chabane
23 604 Ft

A hobbit

John Ronald Reuel Tolkien
5 520 Ft