Towards decentralized and parameterized supervisor synthesis
This thesis studies the decentralized and parameterized supervisor synthesis problems in the Ramadge-Wonham paradigm. We obtain a characterization of the solvability of the decentralized realization problem, by reducing it to the problem of solving a set of language equations. The close relationship...
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2015
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/65641 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
id |
sg-ntu-dr.10356-65641 |
---|---|
record_format |
dspace |
spelling |
sg-ntu-dr.10356-656412023-07-04T16:09:25Z Towards decentralized and parameterized supervisor synthesis Lin, Liyong Su Rong School of Electrical and Electronic Engineering DRNTU::Engineering::Electrical and electronic engineering::Control and instrumentation::Control engineering This thesis studies the decentralized and parameterized supervisor synthesis problems in the Ramadge-Wonham paradigm. We obtain a characterization of the solvability of the decentralized realization problem, by reducing it to the problem of solving a set of language equations. The close relationship among the problems of language decomposition, supervisor decomposition and decentralized realization is then studied. Complexity-theoretic lower bound proofs are provided by reductions from the language decomposition problem. We then develop complexity reduction techniques for language decomposability verification. A sufficient condition for the undecidability of the distributed supervisor synthesis problem is derived based on the structure of the distributed control architecture. We also present a sufficient condition for the undecidability of a language based parameterized supervisor synthesis problem. The expressive power of the symbolic reachability relations of a class of parameterized systems is investigated and a sound state based parameterized supervisor synthesis procedure is develped in the frameowrk of regular model checking. DOCTOR OF PHILOSOPHY (EEE) 2015-11-30T09:05:30Z 2015-11-30T09:05:30Z 2015 2015 Thesis Lin, L. (2015). Towards decentralized and parameterized supervisor synthesis. Doctoral thesis, Nanyang Technological University, Singapore. https://hdl.handle.net/10356/65641 10.32657/10356/65641 en 131 p. application/pdf |
institution |
Nanyang Technological University |
building |
NTU Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NTU Library |
collection |
DR-NTU |
language |
English |
topic |
DRNTU::Engineering::Electrical and electronic engineering::Control and instrumentation::Control engineering |
spellingShingle |
DRNTU::Engineering::Electrical and electronic engineering::Control and instrumentation::Control engineering Lin, Liyong Towards decentralized and parameterized supervisor synthesis |
description |
This thesis studies the decentralized and parameterized supervisor synthesis problems in the Ramadge-Wonham paradigm. We obtain a characterization of the solvability of the decentralized realization problem, by reducing it to the problem of solving a set of language equations. The close relationship among the problems of language decomposition, supervisor decomposition and decentralized realization is then studied. Complexity-theoretic lower bound proofs are provided by reductions from the language decomposition problem. We then develop complexity reduction techniques for language decomposability verification. A sufficient condition for the undecidability of the distributed supervisor synthesis problem is derived based on the structure of the distributed control architecture. We also present a sufficient condition for the undecidability of a language based parameterized supervisor synthesis problem. The expressive power of the symbolic reachability relations of a class of parameterized systems is investigated and a sound state based parameterized supervisor synthesis procedure is develped in the frameowrk of regular model checking. |
author2 |
Su Rong |
author_facet |
Su Rong Lin, Liyong |
format |
Theses and Dissertations |
author |
Lin, Liyong |
author_sort |
Lin, Liyong |
title |
Towards decentralized and parameterized supervisor synthesis |
title_short |
Towards decentralized and parameterized supervisor synthesis |
title_full |
Towards decentralized and parameterized supervisor synthesis |
title_fullStr |
Towards decentralized and parameterized supervisor synthesis |
title_full_unstemmed |
Towards decentralized and parameterized supervisor synthesis |
title_sort |
towards decentralized and parameterized supervisor synthesis |
publishDate |
2015 |
url |
https://hdl.handle.net/10356/65641 |
_version_ |
1772826327936663552 |