Publications


Found 15 publications.

Select All

Quantitative Temporal Simulation and Refinement Distances for Timed Systems (2015)
Prabhu, Vinayak S. and K. Chatterjee
IEEE Transactions on Automatic Control, September 2015, Vol. 60, Issue 9, 1, Article number 7047677, pp. 2291-2306 
------------ International Journals ------------

Quantitative timed simulation functions and refinement metrics for real-time system (2013)
Prabhu, Vinayak S.
16th International Conf on Hybrid Systems: Computation and Control (HSCC), Philadelphia, USA, 2013.
------------ International Conferences ------------

Quantitative timed simulation functions and refinement metrics for real-time systems (2013)
K. Chatterjee and Prabhu, Vinayak S.
Procs 16th International Conf on Hybrid systems: Computation and Control (HSCC), ACM 2013, pp. 273-282.
------------ International Conferences ------------

Quantitative timed simulation functions and refinement metrics for real-time systems (2013)
K. Chatterjee and Prabhu, Vinayak S.
Hybrid Systems: Computation and Control (HSCC 2013), pp. 273-282, Philadelphia, USA, Apr 8-11, 2013.
------------ International Conferences ------------

Finite automata with time-delay blocks (2012)
T. A. Henzinger, K. Chatterjee and Prabhu, Vinayak S.
Procs 10th International Conf on Embedded Software (EMSOFT), ACM 2012, pp. 43-52. 10 pages.
------------ International Conferences ------------

Robust Mission Planning for Underwater Applications: Issues and Challenges (2012)
Prabhu, Vinayak S.
Procs 3rd IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles (NGCUV), IFAC 2012.
------------ National Journals & Conferences ------------

Robust mission planning for underwater applications: issues and challenges (2012)
Sousa, J.B., J. Pinto, M. Kothari, P. B. Sujit, P. Calado and Prabhu, Vinayak S.
3rd IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, Porto, Portugal, 2012.
------------ National Journals & Conferences ------------

Synthesis of memory efficient real-time controllers for safety objectives (2011)
K. Chatterjee and Prabhu, Vinayak S.
Procs 14th International Conf on Hybrid Systems: Computation and Control (HSCC), ACM 2011, pp. 221-230. 10 pages.
------------ International Conferences ------------

Synthesis of memory efficient real-time controllers for safety objectives (2011)
Prabhu, Vinayak S.
14th International Conf on Hybrid Systems: Computation and Control, Chicago, USA, 2011.
------------ International Conferences ------------

Timed parity games: Complexity and robustness (2011)
K. Chatterjee, T. A. Henzinger and Prabhu, Vinayak S.
Journal of Logical Methods in Computer Science} 7(4), 2011, pp. 1-55.
------------ International Journals ------------

QuanTM: A quantitative trust management system (2009)
A. G. West, A. J. Aviv, I. Lee, J. Chang, J. M. Smith, M. Blaze, O. Sokolsky, Prabhu, Vinayak S. and S. Kannan
Procs Second European Workshop on System Security (EuroSec), ACM 2009, pp. 28-35. 8 pages.
------------ International Conferences ------------

Timed parity games: Complexity and robustness (2008)
T. A. Henzinger, Prabhu, Vinayak S. and K. Chatterjee
CoRR abs/0807.1165: (2008). 22 pages.
------------ International Conferences ------------

Trading infinite memory for uniform randomness in timed games (2008)
T. A. Henzinger, Prabhu, Vinayak S. and K. Chatterjee
Procs 11th International Conf on Hybrid Systems: Computation and Control (HSCC), LNCS 4981, Springer-Verlag, 2008, pp. 87 100. 14 pages.
------------ International Conferences ------------

Minimum-time reachability in timed games (2007)
Prabhu, Vinayak S.
34th International Colloquium on Automata, Languages, and Programming, Wroclaw, Poland, 2007.
------------ International Conferences ------------

Minimum-time reachability in timed games (2007)
T. A. Henzinger, Prabhu, Vinayak S., J. F. Raskin, J. Brihaye and T. Brihaye
Procs 34th International Colloquium on Automata, Languages, and Programming (ICALP), LNCS 4596, Springer-Verlag, 2007, pp. 825-837.
------------ International Conferences ------------