MoBIES Project
DIVES: Design, Implementation, and Validation Of Embedded Software
 

:
(internal use only)

 

Maintained by
Insup, Oleg, Valya
July 20, 2000

Publications

CHARON

  • R. Alur, R. Grosu, I. Lee, and O. Sokolsky. Compositional Refinement for Hierarchical Hybrid Systems. To appear in: Hybrid Systems: Computation and Control, March 2001. Postcript version
  • 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, pages 6-19, 2000. Postcript version
  • R. Fierro, Y. Hur, I. Lee, and L. Sha. Modeling the Simplex Architecture using CHARON. In Proceedings of Work-In-Progress Sessions of 21st IEEE Real-Time Systems Symposium, pages 77-80, 2000. Postcript version

Control Theory

  • R. Alur, T. Henzinger, G. Lafferriere, and G.J. Pappas, "Discrete abstractions of hybrid systems." Proccedings of the IEEE, 88(2), July 2000. Postscript version
  • G.J. Pappas, G. Lafferriere, and S. Sastry, "Hierarchically consistent control systems." IEEE Transactions on Automatic Control, 45(6):1144-1160, June 2000. Postscript version
  • G.J. Pappas and S. Simic, "Consistent hierarchies of nonlinear abstractions." To appear at the 39th IEEE Conference on Decision and Control, Sydney, Australia, 2000. Postscript version
  • O. Shakernia, G.J. Pappas, and S. Sastry, "Semidecidable controller synthesis for classes of linear hybrid systems." To appear at the 39th IEEE Conference on Decision and Control, Sydney, Australia, 2000.
  • G. Lafferriere, G.J. Pappas, G. Schneider, and S. Yovine, "Parameter synthesis in robot motion planning using symbolic reachability computation." Proceedings of the 8th IEEE Mediterranean Conference on Control and Automation, Rio, Greece, July 2000.