Departmental Papers (CIS)

Date of this Version

April 2002

Document Type

Conference Paper


Copyright 2002 IEEE. Reprinted from Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing 2002 (ISORC 2002), pages 356-364.
Publisher URL:

This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to By choosing to view this document, you agree to all provisions of the copyright laws protecting it.


Systems such as coordinating robot systems, automobiles, aircrafts, and chemical process control systems can be modeled as interacting hybrid systems, where hybrid systems are finite state machines with continuous dynamics. The language CHARON and its simulator have been developed to model and analyze interacting hybrid systems as communicating agents.

Simulations are widely used for the analyses of hybrid systems. The simulation of a complex system is, however, usually very slow. This paper proposes four algorithms for distributed simulations of hybrid systems. The idea behind distributed simulations is to achieve a speedup by utilizing multiple computing resources. The agents of a modeled system are distributed over multiple processors to simulate the agents more efficiently. Since the state of the agent is affected by the input from other agents, they synchronize to update their local states. The challenge here is how to reduce the agent synchronization overhead.

We present two approaches for resolving the problem: conservative and optimistic approaches. For the optimistic approach, we present three different algorithms for distributed simulations of hybrid systems, and compare them.



Date Posted: 09 November 2004

This document has been peer reviewed.