Sledovat
Vinayak S. Prabhu
Vinayak S. Prabhu
Colorado State University
E-mailová adresa ověřena na: colostate.edu - Domovská stránka
Název
Citace
Citace
Rok
Assume-guarantee reasoning for hierarchical hybrid systems
TA Henzinger, M Minea, V Prabhu
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
1222001
Testing cyber-physical systems through bayesian optimization
J Deshmukh, M Horvat, X Jin, R Majumdar, VS Prabhu
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-18, 2017
902017
Quantifying similarities between timed systems
TA Henzinger, R Majumdar, VS Prabhu
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
892005
Timed alternating-time temporal logic
TA Henzinger, VS Prabhu
International Conference on Formal Modeling and Analysis of Timed Systems, 1-17, 2006
592006
Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances
SS Farahani, R Majumdar, VS Prabhu, S Soudjani
IEEE Transactions on Automatic Control 64 (8), 3324-3331, 2018
562018
Timed parity games: Complexity and robustness
K Chatterjee, TA Henzinger, VS Prabhu
Logical Methods in Computer Science 7, 2011
492011
Timed Parity Games: Complexity and Robustness
K Chatterjee, TA Henzinger, VS Prabhu
Logical Methods in Computer Science 7, 2011
492011
Minimum-time reachability in timed games
T Brihaye, TA Henzinger, VS Prabhu, JF Raskin
International Colloquium on Automata, Languages, and Programming, 825-837, 2007
392007
Quantifying conformance using the Skorokhod metric
JV Deshmukh, R Majumdar, VS Prabhu
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
372015
Quantifying conformance using the Skorokhod metric
JV Deshmukh, R Majumdar, VS Prabhu
Formal Methods in System Design 50, 168-206, 2017
352017
QuanTM: A quantitative trust management system
AG West, AJ Aviv, J Chang, VS Prabhu, M Blaze, S Kannan, I Lee, ...
Proceedings of the Second European Workshop on System Security, 28-35, 2009
332009
Shrinking horizon model predictive control with chance-constrained signal temporal logic specifications
SS Farahani, R Majumdar, VS Prabhu, SEZ Soudjani
2017 American Control Conference (ACC), 1740-1746, 2017
312017
Computing the Skorokhod distance between polygonal traces
R Majumdar, VS Prabhu
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
222015
Trading infinite memory for uniform randomness in timed games
K Chatterjee, TA Henzinger, VS Prabhu
International Workshop on Hybrid Systems: Computation and Control, 87-100, 2008
162008
Parameter optimization in control software using statistical fault localization techniques
J Deshmukh, X Jin, R Majumdar, V Prabhu
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
142018
Computing distances between reach flowpipes
R Majumdar, VS Prabhu
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
132016
Quantitative temporal simulation and refinement distances for timed systems
K Chatterjee, VS Prabhu
IEEE Transactions on Automatic Control 60 (9), 2291-2306, 2015
112015
Robust mission planning for underwater applications: Issues and challenges
M Kothari, J Pinto, VS Prabhu, P Ribeiro, JB De Sousa, PB Sujit
IFAC Proceedings Volumes 45 (5), 223-229, 2012
112012
Causality Analysis for Concurrent Reactive Systems
R Dimitrova, R Majumdar, VS Prabhu
arXiv preprint arXiv:1901.00589, 2019
82019
Synthesis of memory-efficient, clock-memory free, and non-zeno safety controllers for timed systems
K Chatterjee, VS Prabhu
Information and Computation 228, 83-119, 2013
62013
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20