Supervisory Control of Real-Time Systems Using Prioritized Synchronization

Ratnesh Kumar, Mark A. Shayman. Supervisory Control of Real-Time Systems Using Prioritized Synchronization. In Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, editors, Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Volume 1066 of Lecture Notes in Computer Science, pages 351-361, Springer, 1995.

Authors

Ratnesh Kumar

This author has not been identified. Look up 'Ratnesh Kumar' in Google

Mark A. Shayman

This author has not been identified. Look up 'Mark A. Shayman' in Google