next up previous contents
Next: C.D. Charalambous Up: Publications Previous: Martin Buehler

Peter Caines

Ades M. Topics in Stochastic Systems: Cumulative Renewal Processes, Stochastic Control and Gradient Estimation. PhD thesis, Dept. of Electrical Engineering, McGill University, 1997.

Caines P. E. Hierachical hybrid control systems. In Proceedings of the Chinese Control Conference, pages 10-20, Lushan, Jiangxi, P. R. China, August 1997.

Caines P. E., Gupta V., and Shen G. The hierarchical control of tex2html_wrap_inline1864 -finite state machines. Systems and Control Letters, 32:185-192, December 1997.

Caines P. E., Gupta V., and Shen G. The hierarchical control of st-finite state machines. In 36th IEEE Conference on Decision and Control, pages 3584-3589, San Diego, CA, December 1997.

Caines P. E., Hubbard P., and Shen G. State aggregation and hierarchical supervisory control. In 36th. IEEE Conference on Decision and Control, pages 3590-3591, San Diego, CA, December 1997.

Caines P. E. and Wei Y.-J. Hierarchical hybrid control system. In Steve Morse, editor, Control Using Logic-Based Switching, pages 39-48, New York, 1997. Proceedings of the 1995 Block Island Workshop, Springer Verlag.

Caines P.E. and Wei Y.-J. Hierarchical hybrid control systems: A lattice theoretic formulation. IEEE Transactions on Automatic Control Special Issue on Hybrid Systems, 43(4):1-8, April 1998.

Lemch E. and Caines P. E. Hierarchical hybrid systems; partition deformations and applications to the acrobot system. In T. A. Henzinger and S. Sastry, editors, Lecture Notes in Control and Information Sciences 1386, pages 237-252, U. C. Berkeley, CA, April 1998. Proceedings of the First International Workshop on Hybrid Systems: Computation and Control, HSCC '98, Springer.

Mackling T. Contributions to Automated Theorem-Proving and Formal Methods with Applicatons to Control Systems. PhD thesis, Dept. of Electrical Engineering, McGill University, 1997.

Martínez-Mascarúa C. Syntactic and Semantic Structures in COCOLOG logic control. PhD thesis, Dept. of Electrical Engineering, McGill University, 1997.

Martínez-Mascarúa C. and Caines P. E. Realization theory for COCOLOG controllers. In Proceedings of the IEEE 36th CDC, San Diego, CA, December 1997.

Wang S. and Caines P. E. Automated reasoning with function evaluation for cocolog. Annals of Mathematics and Artificial Intelligence, 20:301-334, 1997.


next up previous contents
Next: C.D. Charalambous Up: Publications Previous: Martin Buehler

Annual Report
Fri Nov 26 23:00:32 GMT 1999