|
- Yerang Hur and Insup Lee,
"Distributed Simulation of Multi-Agent Hybrid Systems."
IEEE International Symposium on Object-Oriented Real-time
distributed Computing (ISORC), April 29-May 1, 2002.
PDF Version
Postscript Version
- 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."
Proceedings of EMSOFT'01: First Workshop on Embedded Software,
October 8-10, 2001.
PDF version
- R. Alur, R. Grosu, I. Lee, and O. Sokolsky,
"Compositional Refinement for Hierarchical Hybrid Systems".
Proceedings of the 4th International Workshop on Hybrid Systems:
Computation and Control, Rome Italy, March 28-30, 2001.
LNCS 2034, pp. 33-48. Postcript version
- R. Alur, R. Grosu, Y. Hur, V. Kumar, I. Lee, "Modular Specification
of Hybrid Systems in CHARON." Proceedings of the 3rd
International Workshop on Hybrid Systems: Computation and Control,
Pittsburgh, PA, March 23-25, 2000. Postcript
version
|
|
- E. Aaron, H. Sun, F. Ivancic, and D. Metaxas,
"A Hybrid Dynamical Systems Approach to Intelligent
Low-Level Navigation"
Proceedings of the 15th
International Conference on Computer Animation, Geneva, Switzerland,
June 19-21, 2002.
PDF version
- The U-Penn MoBIES Team,
"Report on Verification of the MoBIES Vehicle-Vehicle Automotive
OEP Problem"
University of Pennsylvania, Philadelphia, PA, March 2002.
PDF version
- E. Aaron, D. Metaxas, F. Ivancic, and O. Sokolsky, "A Framework
for Reasoning about Animation Systems." Proceedings of the Third
International Workshop on Intelligent Virtual Agents, Madrid, Spain,
September 10-11, 2001. LNCS/LNAI 2190, pp. 47-60.
PDF version
- R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G.J. Pappas,
H. Rubin, and J. Schug,
"Hybrid Modeling of Biomolecular Networks."
Proceedings of the 4th International Workshop on Hybrid Systems:
Computation and Control, Rome Italy, March 28-30, 2001. LNCS 2034.
PDF version
|