|
|
|
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.
|
|
