Please use this identifier to cite or link to this item:
Title: Modular discrete time approximations of distributed hybrid automata
Authors: Thiagarajan, P.S. 
Yang, S.
Keywords: Discrete time approximation
Distributed hybrid automata
Issue Date: 2012
Citation: Thiagarajan, P.S., Yang, S. (2012). Modular discrete time approximations of distributed hybrid automata. Theoretical Computer Science 429 : 292-304. ScholarBank@NUS Repository.
Abstract: We consider a network of controllers that observe and control a plant whose dynamics is determined by a finite set of continuous variables. At any given time a variable evolves at a constant rate. However, a controller can switch the rates of a designated subset of the continuous variables. These mode changes are determined by the current values of a designated subset of the variables that the controller can observe. Each variable's rate is controlled by exactly one controller and its value is observed by at most one controller. We model this setting as a network of hybrid automata and study its discrete time behavior. We show that the set of global control state sequences displayed by the network is regular. More importantly, we show that one can succinctly represent this regular language as a family of communicating finite state automata. We allow the observation of the variables and the changes in the rates of the variables to incur delays. We also permit the digital clocks associated with the controllers to evolve at differentbut rationally relatedrates. © 2012 Elsevier B.V. All rights reserved.
Source Title: Theoretical Computer Science
ISSN: 03043975
DOI: 10.1016/j.tcs.2011.12.050
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Aug 6, 2020


checked on Aug 6, 2020

Page view(s)

checked on Aug 4, 2020

Google ScholarTM



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