@inproceedings{cf2699ebb42549aa9ffe2213bcbc5579,
title = "A real-time animator for hybrid systems",
abstract = "In this paper, we present a real time animator for dynamical systems that can be modeled as hybrid automata i.e. standard nite automata extended with dierential equations. We describe its semantic foundation and its implementation in Java and C using CVODE, a software package for solving ordinary dierential equations. We show how the animator is interfaced with the Uppaal tool to demonstrate the real time behavior of dynamical systems under the control of discrete components described as timed automata.",
author = "Tobias Amnell and Alexandre David and Wang Yi",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, LCTES 2000 ; Conference date: 18-06-2000 Through 18-06-2000",
year = "2001",
doi = "10.1007/3-540-45245-1\_9",
language = "英语",
isbn = "3540417818",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "134--145",
editor = "Jack Davidson and Min, \{Sang Lyul\}",
booktitle = "Languages, Compilers and Tools for Embedded Systems - ACM SIGPLAN Workshop LCTES 2000, Proceedings",
address = "德国",
}