Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.tcs.2011.12.050
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
Source: 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.

SCOPUSTM   
Citations

1
checked on Dec 11, 2017

WEB OF SCIENCETM
Citations

2
checked on Dec 11, 2017

Page view(s)

45
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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