@InProceedings{KMK:reach:HSCC2011,
  Title                    = {Computing bounded epsilon-Reach Set with finite precision computations for a class of linear hybrid automata},
  Author                   = {Kyoung-Dae Kim and Sayan Mitra and P. R. Kumar},
  Booktitle                = {Proceedings of Hybrid Systems: Computation and Control (HSCC 2011)},
  Year                     = {2011},

  Abstract                 = {In a previous paper we have identified a special class of linear hybrid automata, called Deterministic Transversal Linear Hybrid Automata, and shown that an epsilon-reach set up to a finite time (i.e., bounded epsilon-reach set), can be computed using infiinfinite precision calculations. However, given the linearity of the system and the consequent presence of matrix exponentials, numerical errors are inevitable and this assumption about infinite precision calculations is impractical. In this paper we present an algorithm that uses only finite precision numerical approximations. We further develop an architecture which decouples the fundamental computational steps from the runtime adaptation strategies for setting certain parameter values.},
  Biburl                   = {http://users.crhc.illinois.edu/mitras/research.html},
  Keywords                 = {Hybrid systems, Verification},
  Owner                    = {mitras},
  Pdfurl                   = {research/2011/epsilonreach2011.pdf},
  Timestamp                = {2011.01.12},
  Url                      = {http://dl.acm.org/citation.cfm?id=1967701.1967719&coll=DL&dl=GUIDE&CFID=99228380&CFTOKEN=13940715}
}