Java engine for UML based hybrid state machines

One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discrete logic. The resulting hybrid state machine is a powerful concept to specify complex interdependencies between discrete and continuous time behaviors. It, however, exposes the simulation engine to a number of problems, which we discuss. The hybrid state machine based approach presented is fully supported by the UML-RT/Java tool TimeBroker developed at Experimental Object Technologies.

[1]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[2]  Grzegorz Rozenberg,et al.  Real-Time: Theory in Practice , 1991, Lecture Notes in Computer Science.

[3]  1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA , 1997, ECBS.

[4]  Andrei Borshchev,et al.  Systems modeling, simulation and analysis using COVERS active objects , 1997, Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.

[5]  Karl Johan Åström,et al.  Evolution of Continuous-Time Modeling and Simulation , 1998, ESM.

[6]  David Harel,et al.  Executable object modeling with statecharts , 1997, Computer.

[7]  Thomas A. Henzinger,et al.  Timed Transition Systems , 1991, REX Workshop.

[8]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[9]  Olaf Stursberg,et al.  A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem , 1997, Hybrid Systems.