A New Framework for Discrete-Event Systems
Kuize Zhang
Broschiertes Buch

A New Framework for Discrete-Event Systems

Versandkostenfrei!
Versandfertig in 1-2 Wochen
101,99 €
inkl. MwSt.
PAYBACK Punkte
51 °P sammeln!
Real-world problems are often formulated as diverse properties of different types of dynamical systems. Hence property verification and synthesis have been long-standing research interests. The supervisory control framework developed in the 1980s provides a closed-loop property enforcement framework for discrete-event systems which usually consist of discrete states and transitions between states caused by spontaneous occurrences of labeled events. In this comprehensive review, the author develops an open-loop property enforcement framework for discrete event systems which scales better and ca...