Please use this identifier to cite or link to this item:
|Title:||Modular discrete time approximations of distributed hybrid automata||Authors:||Thiagarajan, P.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. https://doi.org/10.1016/j.tcs.2011.12.050||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||URI:||http://scholarbank.nus.edu.sg/handle/10635/39754||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 Oct 8, 2019
WEB OF SCIENCETM
checked on Oct 1, 2019
checked on Sep 9, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.