A Real-Time Animator for Hybrid Systems

Authors:
Tobias Amnell;Alexandre David;Wang Yi
Affiliations:
-;-;-
Venue:
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Year:
2000

Citing 7
Cited 1

A theory of timed automata

Theoretical Computer Science
CVODE, a stiff/nonstiff ODE solver in C

Computers in Physics
The Bounded Retransmission Protocol Must Be on Time!

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Formal Design and Analysis of a Gear Controller

TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Formal Verification of a TDMA Protocol Start-Up Mechanism

PRFTS '97 Proceedings of the 1997 Pacific Rim International Symposium on Fault-Tolerant Systems
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL

RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium

Verification of computation orchestration via timed automata

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present a real time animator for dynamical systems that can be modeled as hybrid automata i.e. standard finite automata extended with differential equations. We describe its semantic foundation and its implementation in Java and C using CVODE, a software package for solving ordinary differential 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.