Pavithra Prabhakar
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
522007
Stormed hybrid systems
V Vladimerou, P Prabhakar, M Viswanathan, G Dullerud
International Colloquium on Automata, Languages, and Programming, 136-147, 2008
512008
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
472015
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
362013
On the expressiveness of MTL with past operators
P Prabhakar, D D’Souza
International Conference on Formal Modeling and Analysis of Timed Systems …, 2006
352006
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
332013
A dynamic algorithm for approximate flow computations
P Prabhakar, M Viswanathan
Proceedings of the 14th international conference on Hybrid systems …, 2011
332011
Abstraction based model-checking of stability of hybrid systems
P Prabhakar, MG Soto
International Conference on Computer Aided Verification, 280-295, 2013
292013
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
Pre-orders for reasoning about stability
P Prabhakar, G Dullerud, M Viswanathan
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
282012
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
192014
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
182016
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
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
172013
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
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
Specifications for decidable hybrid games
V Vladimerou, P Prabhakar, M Viswanathan, G Dullerud
Theoretical Computer Science 412 (48), 6770-6785, 2011
132011
Counterexample guided abstraction refinement for stability analysis
P Prabhakar, MG Soto
International Conference on Computer Aided Verification, 495-512, 2016
122016
The system can't perform the operation now. Try again later.
Articles 1–20