Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/37877
Title: Controller Synthesis for Bisimulation Equivalence
Authors: SUN YAJUAN
Keywords: Bisimulation, Controller Synthesis, Discrete Event Systems
Issue Date: 28-Sep-2012
Source: SUN YAJUAN (2012-09-28). Controller Synthesis for Bisimulation Equivalence. ScholarBank@NUS Repository.
Abstract: This thesis investigates the controller synthesis for bisimulation equivalence from both discrete and continuous aspects. From discrete perspective, supervisory control is studied to enforce bisimilarity for discrete event systems. Specifically, we consider three kinds of supervisory control problems: bisimilarity control, decentralized bisimilarity control and distributed bisimilarity control. For these problems, the existence conditions for bisimilarity/ decentralized bisimilarity/ distributed bisimilarity control are developed. When such existence conditions hold, we construct bisimilarity enforcing supervisors accordingly. Otherwise, the synthesis of achievable sub/sup-specifications is further investigated to enable bisimilarity/ decentralized bisimilarity/ distributed bisimilarity control. When it comes to continuous perspective, the control of multi-affine systems for bisimulation equivalence is presented. We partition the state space into rectangles, and then study the control of multi-affine systems on rectangles. Resorting to the proposed control method, a bisimilarly abstracted system is obtained. A fully automated procedure is then developed to control multi-affine systems for temporal logic specifications.
URI: http://scholarbank.nus.edu.sg/handle/10635/37877
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
THESIS-SUN YAJUAN.pdf5.21 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

147
checked on Dec 11, 2017

Download(s)

251
checked on Dec 11, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.