Distributed simulation of multi-agent hybrid systems

Proceedings - 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2002

Volumn , Issue , 2002, Pages 356-364

  Hur, Yerang ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Aerospace control; Aircraft; Analytical models; Automata; Automobiles; Chemical processes; Computational modeling; Control system synthesis; Process control; Robot kinematics

Indexed keywords

AIRCRAFT; AIRCRAFT CONTROL; ANALYTICAL MODELS; AUTOMOBILES; CHEMICAL ANALYSIS; CONTROL SYSTEM SYNTHESIS; CONTROL SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; FLIGHT CONTROL SYSTEMS; HYBRID SYSTEMS; LARGE SCALE SYSTEMS; LOGIC CIRCUITS; PROCESS CONTROL; ROBOTS;

AEROSPACE CONTROL; AUTOMATA; CHEMICAL PROCESS; COMPUTATIONAL MODEL; ROBOT KINEMATICS;

MULTI AGENT SYSTEMS;

EID: 10944240132     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2002.1003781     Document Type: Conference Paper

References (18)

1. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical hybrid modeling of embedded systems. In Embedded Software, LNCS 2211, T. A. Henzinger and C. M. Kirsch (Eds.), pages 14-31. Springer-Verlag, 2001.
2. R. Alur, A. K. Das, J. Esposito, R. Fierro, G. Grudic, Y. Hur, V. Kumar, I. Lee, J. P. Ostrowski, G. Pappas, J. Southall, J. Spletzer, and C. J. Taylor. A framework and architecture for multirobot coordination. In Experimental Robotics VII, LNCIS 271 D. Rus and S. Singh (Eds.), pages 303-312. Springer, 2001.
3. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specifications of hybrid systems in CHARON. In Hybrid Systems: Computation and Control, LNCS 1790, N. Lynch and B. Krogh (Eds.), pages 6-19. Springer, 2000.
4. R. Alur, R. Grosu, I. Lee, and O. Sokolsky. Compositional refinement for hierarchical hybrid systems. In Hybrid Systems: Computation and Control, LNCS 2034, M. D. D. Benedetto and A. L. Sangiovanni-Vincentelli (Eds.), pages 33-48. Springer, 2001.
5. C. D. Carothers, K. S. Perumalla, and R. M. Fujimoto. Efficient optimistic parallel simulations using reverse computation. ACM Transactions on Modeling and Computer Simulation, 9(3):224-253, 1999.
6. K. M. Chandy and J. Misra. Distributed simulation: A case study in design and verification of distributed programs. IEEE Transactions on Software Engineering, SE-5(5):440-452, 1979.
7. A. Deshpande, A. Gollu, and L. Semenzato. The SHIFT programming language and run-time system for dynamic networks of hybrid automata. Technical Report UCB-ITSPRR-97-7, University of California at Berkeley, 1997.
8. H. Elmqvist, F. E. Cellier, and M. Otter. Object-oriented modeling of hybrid systems. In Proceedings of 1993 European Simulation Symposium, pages 31-41, 1993.
9. H. Elmqvist, S. E. Mattsson, and M. Otter. Modelica-The new object-oriented modeling language. In Proceedings of the 12th European Simulation Multiconference, pages 127-131, 1998.
10. J. Esposito, G. Pappas, and V. Kumar. Accurate event detection for simulating hybrid systems. In Hybrid Systems: Computation and Control, LNCS 2034, M. D. D. Benedetto and A. L. Sangiovanni-Vincentelli (Eds.), pages 204-217. Springer, 2001.
11. R. Fierro, Y. Hur, I. Lee, and L. Sha. Modeling the Simplex Architecture using CHARON. In Proceedings of the 21st IEEE Real-Time Systems Symposium WIP Sessions, pages 77-80, 2000.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, Upper Saddle River, NJ, US, 1995.
13. D. Jefferson. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3):404-425, 1985.
14. B. D. Lubachevsky. Efficient distributed event-driven simulations of multiple-loop networks. Communications of the ACM, 32(1):99-113, 1989.
15. S. E. Mattsson and M. Anderson. Omola-An object-oriented modeling language. In Recent Advances in Computer-Aided Control Systems Engineering, Studies in Automation and Control 9, M. Jamshidi and C. J. Herget (Eds.), pages 291-310. Elsevier, 1992.
16. T. Park and P. Barton. State event location in differentialalgebraic models. ACM Transactions on Modelling and Computer Simulation, 6(2):137-165, 1996.
17. W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery. Numerical Recipes in C, 2nd Ed. Cambridge University Press, Cambridge, UK, 1992.
18. J. Steinman. SPEEDED: A unified framework to parallel simulation. In Proceedings of the 6th Workshop on Parallel and Distributed Simulation, pages 75-83, 1992.