Reduction of Distributions: Definitions, Properties, and Applications

In this work, a notion of reduction of distributions is proposed as a technical tool for improving the complexity of decomposability verification and supporting parallel verification of decomposability, by exploiting the rich structures of distributions. We provide some results that reduce the searc...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE transactions on automatic control 2017-11, Vol.62 (11), p.5755-5768
Hauptverfasser:	Liyong Lin, Ware, Simon, Rong Su, Wonham, W. Murray
Format:	Artikel
Sprache:	eng
Schlagworte:	Automata Complexity Complexity theory Computer architecture Decentralized control decentralized supervisor synthesis decomposability Discrete-event systems Indexes Supervisory control
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!