关注
Pavithra Prabhakar
Pavithra Prabhakar
Professor of Computer Science & Peggy and Gary Edwards Chair in Engineering, Kansas State University
在 ksu.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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-4, 2007
712007
Abstraction based output range analysis for neural networks
P Prabhakar, Z Rahimi Afzal
Advances in Neural Information Processing Systems 32, 2019
612019
Stormed hybrid systems
V Vladimerou, P Prabhakar, M Viswanathan, G Dullerud
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
582008
Hybrid automata-based cegar for rectangular hybrid systems
P Prabhakar, PS Duggirala, S Mitra, M Viswanathan
Formal Methods in System Design 46, 105-134, 2015
562015
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
452013
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
442013
A dynamic algorithm for approximate flow computations
P Prabhakar, M Viswanathan
Proceedings of the 14th international conference on Hybrid systems …, 2011
412011
On the expressiveness of MTL with past operators
P Prabhakar, D D’Souza
Formal Modeling and Analysis of Timed Systems: 4th International Conference …, 2006
412006
Abstraction based model-checking of stability of hybrid systems
P Prabhakar, M Garcia Soto
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
382013
Pre-orders for reasoning about stability
P Prabhakar, G Dullerud, M Viswanathan
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
312012
Verifying tolerant systems using polynomial approximations
P Prabhakar, V Vladimerou, M Viswanathan, GE Dullerud
2009 30th IEEE Real-Time Systems Symposium, 181-190, 2009
302009
Bounded error flowpipe computation of parameterized linear systems
R Lal, P Prabhakar
2015 International Conference on Embedded Software (EMSOFT), 237-246, 2015
272015
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
262016
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
252014
Optimal multi-robot path planning for pesticide spraying in agricultural fields
R Lal, A Sharda, P Prabhakar
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 5815-5820, 2017
232017
HARE: A hybrid abstraction refinement engine for verifying non-linear hybrid automata
N Roohi, P Prabhakar, M Viswanathan
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
202017
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
202013
Counterexample guided abstraction refinement for stability analysis
P Prabhakar, MG Soto
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
192016
A decidable class of planar linear hybrid systems
P Prabhakar, V Vladimerou, M Viswanathan, GE Dullerud
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008
182008
On the decidability of stability of hybrid systems
P Prabhakar, M Viswanathan
Proceedings of the 16th international conference on Hybrid systems …, 2013
172013
系统目前无法执行此操作,请稍后再试。
文章 1–20