Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/43256
DC FieldValue
dc.titleBehavioural approximations for restricted linear differential hybrid automata
dc.contributor.authorAgrawa, M.
dc.contributor.authorStephan, F.
dc.contributor.authorThiagarajan, P.S.
dc.contributor.authorYang, S.
dc.date.accessioned2013-07-23T09:29:10Z
dc.date.available2013-07-23T09:29:10Z
dc.date.issued2006
dc.identifier.citationAgrawa, M.,Stephan, F.,Thiagarajan, P.S.,Yang, S. (2006). Behavioural approximations for restricted linear differential hybrid automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3927 LNCS : 4-18. ScholarBank@NUS Repository.
dc.identifier.isbn3540331700
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/43256
dc.description.abstractWe show the regularity of the discrete time behaviour of hybrid automata in which the rates of continuous variables are governed by linear differential operators in a diagonal form and in which the values of the continuous variables can be observed only with finite precision. We do not demand resetting of the values of the continuous variables during mode changes. We can cope with polynomial guards and we can tolerate bounded delays both in sampling the values of the continuous variables and in effecting changes in their rates required by mode switchings. We also show that if the rates are governed by diagonalizable linear differential operators with rational eigenvalues and there is no delay in effecting rate changes, the discrete time behaviour of the hybrid automaton is recursive. However, the control state reachability problem in this setting is undecidable. © Springer-Verlag Berlin Heidelberg 2006.
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentMATHEMATICS
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume3927 LNCS
dc.description.page4-18
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

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

Page view(s)

102
checked on Jun 23, 2022

Google ScholarTM

Check

Altmetric


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