Browse by Author

Conference Paper

D'Souza, Deepak and Gopinathan, Madhu and Ramesh, S and Sampath, Prahladavaradan (2009) Supervisory Control for Real-Time Systems Based on Conflict-Tolerant Controllers. In: IEEE International Conference on Automation Science and Engineering, AUG 22-25, 2009, Bangalore, pp. 555-560.

D'Souza, Deepak and Gopinathan, Madhu and Ramesh, S and Sampath, Prahladavaradan (2008) Conflict-Tolerant Real-Time Features. In: 5th International Conference on the Quantitative Evalutation of Systems, SEP 14-17, 2008, France.

Departmental Technical Report

D'Souza, Deepak and Sampath, Prahladavaradan and Ramesh, S and Gopinathan, Madhu (2010) Conflict-Tolerant Specifications for Hybrid Systems. IISc-CSA-TR-2010-6.

Journal Article

D'Souza, Deepak and Gopinathan, Madhu and Ramesh, S and Sampath, Prahladavaradan (2013) Conflict-tolerant specifications for hybrid systems. In: Journal of the Indian Institute of Science, 93 (3). pp. 403-417.