Java engine for UML based hybrid state machines

Winter Simulation Conference Proceedings

Volumn 2, Issue , 2000, Pages 1888-1894

  Borshchev, Andrei V ^a   Kolesov, Yuri B ^a   Senichenkov, Yuri B ^a  

^a PETER THE GREAT ST PETERSBURG POLYTECHNIC UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; DIFFERENTIAL EQUATIONS; JAVA PROGRAMMING LANGUAGE;

UNIFIED MODELING LANGUAGE (UML);

HYBRID COMPUTERS;

EID: 0034428106     PISSN: 02750708     EISSN: None     Source Type: Journal    
DOI: 10.1109/WSC.2000.899183     Document Type: Article

References (6)

1. K. J. Astrom H. Elmqvist S. E. Mattsson Evolution of continuous-time modeling and simulation The 12 European Simulation Multiconference, ESM'98, 1998 The 12 European Simulation Multiconference, ESM'98, 1998 Manchester UK 1998
2. A. Borshchev Y.. Karpov V. Roudakov Systems modeling, simulation and analysis using COVERS active objects Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97) Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97) Monterey CA 1997-March
3. D. Harel E. Gery Executable object modeling with statecharts Computer 30 7 July 1997
4. T. Henzinger Z. Manna A. Pnueli Timed transition systems January 1992 TR 92-1263 Dept. of Computer Science, Cornell University
5. S. Kowalewski A case study in tool-aided analysis of discretely controlled continuous systems: the two tanks problem 5 International Workshop on Hybrid Systems (HS V) 5 International Workshop on Hybrid Systems (HS V) Notre Dame USA 1997-September
6. O. Maler Ζ. Manna A. Pnueli From timed to hybrid systems Proceedings of REX workshop Proceedings of REX workshop 1992