Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/15474
Title: Controller synthesis for reactive systems in distributed, real-time and hybrid settings
Authors: YANG SHAOFA
Keywords: open systems, controller synthesis, distributed systems, logic for concurrency, real-time systems, hybrid systems
Issue Date: 14-Jul-2006
Source: YANG SHAOFA (2006-07-14). Controller synthesis for reactive systems in distributed, real-time and hybrid settings. ScholarBank@NUS Repository.
Abstract: We investigate controller synthesis in distributed, real-time and hybrid settings. In distributed setting, we prove that the monadic second order theory of the event structure unfolding of every system of connectedly communicating processes (CCP) is decidable. With this, we show that the distributed controller synthesis problem with CCPs is decidable for robust linear time specifications. And if distributed controllers exist, then finite state ones can be effectively synthesized. In real-time setting, we establish the decidability of admission controller synthesis with the preemptive EDF scheduling policy on a single processor; for both linear time temporal logic (LTL) or quantified propositional LTL (QPLTL) specifications. In hybrid setting, we show the decidability of controller synthesis for restricted differential hybrid automata (with no sensing delay), for both LTL and QPLTL specifications. In both real-time and hybrid settings, we prove that, if controllers exist, then finite state ones can be effectively synthesized.
URI: http://scholarbank.nus.edu.sg/handle/10635/15474
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
YangSF.pdf896.88 kBAdobe PDF

OPEN

NoneView/Download

Page view(s)

236
checked on Dec 11, 2017

Download(s)

164
checked on Dec 11, 2017

Google ScholarTM

Check


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