Vinayak S.prabhu


AuthID: R-001-X50

Confirmed Publications: 6



1
TITLE: Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems  Full Text
AUTHORS: Krishnendu Chatterjee; Vinayak S Prabhu ;
PUBLISHED: 2013, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 228
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Finite automata with time-delay blocks
AUTHORS: Chatterjee, K; Henzinger, TA; Prabhu, VS ;
PUBLISHED: 2012, SOURCE: 10th ACM International Conference on Embedded Software 2012, EMSOFT 2012, Co-located with 8th Embedded Systems Week, ESWEEK 2012 in EMSOFT'12 - Proceedings of the 10th ACM International Conference on Embedded Software 2012, Co-located with ESWEEK
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
TITLE: Quantitative timed simulation functions and refinement metrics for real-time systems
AUTHORS: Chatterjee, K; Prabhu, VS ;
PUBLISHED: 2012, SOURCE: 16th International Conference on Hybrid Systems: Computation and Control, HSCC 2013 - Part of CPSWeek 2013 in HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013, VOLUME: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
4
TITLE: Robust mission planning for underwater applications: Issues and challenges
AUTHORS: Kothari, M; Pinto, J; Prabhu, VS ; Ribeiro, P; De Sousa, JB; Sujit, PB;
PUBLISHED: 2012, SOURCE: 3rd IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, ISSUE: PART 1
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
5
TITLE: Synthesis of memory-efficient real-time controllers for safety objectives
AUTHORS: Chatterjee, K; Prabhu, VS ;
PUBLISHED: 2011, SOURCE: 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011 in HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control
INDEXED IN: Scopus CrossRef
IN MY: ORCID
6
TITLE: TIMED PARITY GAMES: COMPLEXITY AND ROBUSTNESS
AUTHORS: Krishnendu Chatterjee; Thomas A Henzinger; Vinayak S Prabhu ;
PUBLISHED: 2011, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 7, ISSUE: 4
INDEXED IN: Scopus WOS

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service