Reduction of Distributions: Definitions, Properties, and Applications
| Autor: | Liyong Lin, W. Murray Wonham, Simon Ware, Rong Su |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
0209 industrial biotechnology
Mathematical optimization Theoretical computer science Supervisor 020208 electrical & electronic engineering Substitution (logic) 02 engineering and technology Mathematical proof Upper and lower bounds Computer Science Applications Automaton Reduction (complexity) 020901 industrial engineering & automation Distribution (mathematics) Supervisory control Control and Systems Engineering 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering Mathematics |
| Zdroj: | IEEE Transactions on Automatic Control. 62:5755-5768 |
| ISSN: | 1558-2523 0018-9286 |
| DOI: | 10.1109/tac.2017.2692561 |
| Popis: | 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 search space of candidate reductions, as a first step toward efficiently computing optimal reductions. It is then shown that a distribution has a reduction if and only if a particular candidate reduction is indeed a reduction. We then provide a sound substitution-based proof technique that can be used for (automatic) reduction verification. Techniques for refuting candidate reductions are also provided. We then explain an application of the decomposability verification problem in the lower bound proofs for the problem of supervisor decomposition and the problem of existence of a decentralized supervisor. Finally, some other applications of the notion of reduction of distributions are also shown. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|