Pavithra Prabhakar
Pavithra Prabhakar
Professor of Computer Science & Peggy and Gary Edwards Chair in Engineering, Kansas State University
Verified email at ksu.edu - Homepage
Title
Cited by
Cited by
Year
On the expressiveness of MTL in the pointwise and continuous semantics
D D’Souza, P Prabhakar
International Journal on Software Tools for Technology Transfer 9 (1), 1-4, 2007
562007
Stormed hybrid systems
V Vladimerou, P Prabhakar, M Viswanathan, G Dullerud
International Colloquium on Automata, Languages, and Programming, 136-147, 2008
522008
Hybrid automata-based cegar for rectangular hybrid systems
P Prabhakar, PS Duggirala, S Mitra, M Viswanathan
Formal Methods in System Design 46 (2), 105-134, 2015
492015
Patching task-level robot controllers based on a local μ-calculus formula
SC Livingston, P Prabhakar, AB Jose, RM Murray
2013 IEEE International Conference on Robotics and Automation, 4588-4595, 2013
382013
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems
N Ozay, J Liu, P Prabhakar, RM Murray
2013 American Control Conference, 6237-6244, 2013
372013
On the expressiveness of MTL with past operators
P Prabhakar, D D’Souza
International Conference on Formal Modeling and Analysis of Timed Systems …, 2006
362006
A dynamic algorithm for approximate flow computations
P Prabhakar, M Viswanathan
Proceedings of the 14th international conference on Hybrid systems …, 2011
352011
Abstraction based model-checking of stability of hybrid systems
P Prabhakar, MG Soto
International Conference on Computer Aided Verification, 280-295, 2013
292013
Pre-orders for reasoning about stability
P Prabhakar, G Dullerud, M Viswanathan
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
292012
Verifying tolerant systems using polynomial approximations
P Prabhakar, V Vladimerou, M Viswanathan, GE Dullerud
2009 30th IEEE Real-Time Systems Symposium, 181-190, 2009
292009
Switching control of dynamical systems from metric temporal logic specifications
J Liu, P Prabhakar
2014 IEEE International Conference on Robotics and Automation (ICRA), 5333-5338, 2014
202014
Hybridization based CEGAR for hybrid automata with affine dynamics
N Roohi, P Prabhakar, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2016
192016
Pre-orders for reasoning about stability properties with respect to input of hybrid systems
P Prabhakar, J Liu, RM Murray
2013 Proceedings of the International Conference on Embedded Software …, 2013
182013
A decidable class of planar linear hybrid systems
P Prabhakar, V Vladimerou, M Viswanathan, GE Dullerud
International Workshop on Hybrid Systems: Computation and Control, 401-414, 2008
182008
Counterexample guided abstraction refinement for stability analysis
P Prabhakar, MG Soto
International Conference on Computer Aided Verification, 495-512, 2016
152016
On continuous timed automata with input-determined guards
F Chevalier, D D’Souza, P Prabhakar
International Conference on Foundations of Software Technology and …, 2006
152006
Hybridization for stability analysis of switched linear systems
P Prabhakar, M García Soto
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
142016
Eliminating past operators in metric temporal logic
D D'Souza, M Raj Mohan, P Prabhakar
14*2006
Bounded error flowpipe computation of parameterized linear systems
R Lal, P Prabhakar
2015 International Conference on Embedded Software (EMSOFT), 237-246, 2015
132015
An algorithmic approach to stability verification of polyhedral switched systems
P Prabhakar, MG Soto
2014 American Control Conference, 2318-2323, 2014
132014
The system can't perform the operation now. Try again later.
Articles 1–20