Controller synthesis for reactive systems in distributed, real-time and hybrid settings

Ph.D

Saved in:

Bibliographic Details
Main Author:	YANG SHAOFA
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	open systems, controller synthesis, distributed systems, logic for concurrency, real-time systems, hybrid systems
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/15474
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-15474
record_format	dspace
spelling	sg-nus-scholar.10635-154742015-02-01T12:55:21Z Controller synthesis for reactive systems in distributed, real-time and hybrid settings YANG SHAOFA COMPUTER SCIENCE P. S. THIAGARAJAN open systems, controller synthesis, distributed systems, logic for concurrency, real-time systems, hybrid systems Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T10:53:54Z 2010-04-08T10:53:54Z 2006-07-14 Thesis YANG SHAOFA (2006-07-14). Controller synthesis for reactive systems in distributed, real-time and hybrid settings. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/15474 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	open systems, controller synthesis, distributed systems, logic for concurrency, real-time systems, hybrid systems
spellingShingle	open systems, controller synthesis, distributed systems, logic for concurrency, real-time systems, hybrid systems YANG SHAOFA Controller synthesis for reactive systems in distributed, real-time and hybrid settings
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE YANG SHAOFA
format	Theses and Dissertations
author	YANG SHAOFA
author_sort	YANG SHAOFA
title	Controller synthesis for reactive systems in distributed, real-time and hybrid settings
title_short	Controller synthesis for reactive systems in distributed, real-time and hybrid settings
title_full	Controller synthesis for reactive systems in distributed, real-time and hybrid settings
title_fullStr	Controller synthesis for reactive systems in distributed, real-time and hybrid settings
title_full_unstemmed	Controller synthesis for reactive systems in distributed, real-time and hybrid settings
title_sort	controller synthesis for reactive systems in distributed, real-time and hybrid settings
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/15474
_version_	1681079200771997696

Controller synthesis for reactive systems in distributed, real-time and hybrid settings

Similar Items