Martínez-Mascarúa C. and Caines P. E. Macro control languages and decision procedures for COCOLOG. In 34th. IEEE CDC Conference, pages 725-730, New Orleans, LA, December 1995.
Martínez-Mascarúa C. and Caines P. E. The application of macro COCOLOG to discrete event systems. In IEEE International Symposium on Intelligent Control, September 1996.
Martínez-Mascarúa C. and Caines P. E. Macro COCOLOG with an application to a discrete event tank system. In WODES 96, International Workshop on Discrete Event Systems, University of Edingburgh, UK, August 1996.
Caines P. E. and Wei Y. J. Markovian fragments: Complete subtheories of COCOLOG theories. In P. R. Kumar and P. P. Variaya, editors, IMA Volumes in Mathematics and its Applications, volume 73, pages 1-40. Springer-Verlag, 1995.
Caines P. E. and Zhang J-F. On the adaptive control for jump parameter systems via non-linear filtering. SIAM J. Control and Optimization, 33(6):1758-1777, November 1995.
Caines P. E. and Ortega R. The semi-lattice of piecewise constant controls for non-linear systems: A possible foundation for fuzzy control. In NOLCOS, Tahoe, CA, June 1995.
Caines P. E. and Wang S. COCOLOG: A conditional observer and controller logic for finite machines. SIAM J. Control and Optimization, 33(6):1687-1715, November 1995.
Caines P. E. and Wei Y-J. Hierarchical hybrid control systems. Control Using Logic-Based Switching (Proceedings of the Block Island Worshop), October 1995. To appear, 1996.
Caines P. E. and Wei Y-J. The hierarchical lattices of a finite machine. Systems and Control Letters, 25:257-263, 1995.
Wei Y. J. and Caines P. E. On markovian fragments of COCOLOG for logic control systems. SIAM J. Control and Optimization, 34(5):1707-1733, Sept. To appear, 1996.
Zhang J-F. and Caines P. E. Adaptive control via a simple switching algorithm. SIAM J. Control and Optimization, 34(1):365-388, January 1996.
Dyck D. N. and Caines P. E. The logical control of an elevator. IEEE Trans. Automatic Control, 40(3):480-486, March 1995.
Wang S. and Caines P. E. Automated reasoning with function evaluation for COCOLOG. Annals of Mathematics and Artificial Intelligence, 1996. To appear.