@inproceedings{4410,
  abstract     = {Rectangular automata are well suited for approximate modeling of continuous-discrete systems. The exact analysis of these automata is feasible for small examples but can encounter severe numerical problems for even medium-sized systems. This paper presents an analysis algorithm that uses conservative overapproximation to avoid these numerical problems. The algorithm is demonstrated on a simple benchmark system consisting of two connected tanks.
Supported by the German Research Council (DFG) under grant Ko1430/3 in the special program KONDISK (‘Continuous-discrete dynamics of technical systems’).},
  author       = {Preußig, Jörg and Kowalewski, Stefan and Wong Toi, Howard and Henzinger, Thomas A},
  booktitle    = {Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems},
  isbn         = {9783540650034},
  location     = {Lyngby, Denmark},
  pages        = {228 -- 240},
  publisher    = {Springer},
  title        = {{An algorithm for the approximative analysis of rectangular automata}},
  doi          = {10.1007/BFb0055350},
  volume       = {1486},
  year         = {1998},
}