Publications (by year)

    2014

  1. Decoupled formal synthesis for almost separable systems with temporal logic specifications.
    Scott C. Livingston and Pavithra Prabhakar.
    International Symposium on Distributed Autonomous Robotic Systems (DARS), 2014.

  2. Switching Control of Dynamical Systems from Metric Temporal Logic Specifications.
    Jun Liu and Pavithra Prabhakar.
    IEEE International Conference on Robotics and Automation (ICRA), 2014.
    Abstract BiB PS PDF

  3. An algorithmic approach to stability verification of polyhedral switched systems.
    Pavithra Prabhakar and Miriam García Soto.
    Americal Control Conference (ACC), 2014.
    Abstract BiB PS PDF

  4. 2013

  5. Pre-orders for reasoning about stability properties with respect to input of hybrid systems.
    Pavithra Prabhakar, Jun Liu and Richard M. Murray.
    International Conference on Embedded Software (EMSOFT), 2013.
    Abstract BiB PS PDF

  6. Abstraction Based Model-Checking of Stability of Hybrid Systems.
    Pavithra Prabhakar and Miriam García Soto.
    25th International Conference on Computer Aided Verification (CAV), 2013.
    Abstract BiB PS PDF

  7. Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems.
    Necmiye Ozay, Jun Liu, Pavithra Prabhakar and Richard M. Murray.
    American Control Conference (ACC), 2013.
    Abstract BiB PS PDF

  8. Verifying information flow properties of hybrid systems.
    Pavithra Prabhakar and Boris Köpf.
    International Conference on High Confidence Networked Systems (HiCoNS), (part of CPS Week), 2013.
    Abstract BiB PS PDF

  9. Patching task-level robot controllers based on a local -calculus formula.
    Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose and Richard M. Murray.
    IEEE International Conference on Robotics and Automation (ICRA), 2013.
    Abstract BiB PS PDF

  10. On the decidability of stability of hybrid systems.
    Pavithra Prabhakar and Mahesh Viswanathan.
    16th international conference on Hybrid systems: computation and control (HSCC), 2013.
    Abstract BiB PS PDF

  11. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.
    Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan.
    Verification, Model Checking, and Abstract Interpretation, 14th International Conference (VMCAI), 2013.
    Abstract BiB PS PDF

  12. 2012

  13. Verification of Bounded Discrete Horizon Hybrid Automata.
    Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan and Geir E. Dullerud.
    IEEE Transactions Automatic Control (TAC), 2012.
    Abstract BiB PS PDF

  14. Foundations for approximation based analysis of stability properties of hybrid systems.
    Pavithra Prabhakar.
    50th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2012.
    Abstract BiB PS PDF

  15. Conformance Testing of Boolean Programs with Multiple Faults.
    Pavithra Prabhakar and Mahesh Viswanathan.
    Formal Techniques for Distributed Systems (FMOODS/FORTE), 2012.
    Abstract BiB PS PDF

  16. Pre-orders for reasoning about stability.
    Pavithra Prabhakar, Geir E. Dullerud and Mahesh Viswanathan.
    Hybrid Systems: Computation and Control (HSCC), 2012.
    Abstract BiB PS PDF

  17. Introduction to Hybrid Automata.
    Madhu Gopinathan and Pavithra Prabhakar.
    Modern Applications of Automata Theory, 2012.
    Abstract BiB

  18. Automata and Logics over Signals.
    Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel and Pavithra Prabhakar.
    Modern Applications of Automata Theory, 2012.
    Abstract BiB PDF

  19. 2011

  20. Approximation based Verification of Safety and Stability of Hybrid Systems.
    Pavithra Prabhakar.
    PhD Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, 2011.
    Abstract BiB PS PDF

  21. Specifications for decidable hybrid games.
    Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan and Geir E. Dullerud.
    Theoretical Computer Science (TCS), 2011.
    Abstract BiB PS PDF

  22. A dynamic algorithm for approximate flow computations.
    Pavithra Prabhakar and Mahesh Viswanathan.
    14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2011.
    Abstract BiB PS PDF

  23. Behavior Based Service Composition.
    Fangzhe Chang, Pavithra Prabhakar and Ramesh Viswanathan.
    Web Services and Formal Methods (WS-FM), 2011.
    Abstract BiB PS PDF

  24. 2010

  25. Complexity Bounds for the Verification of Real-Time Software.
    Rohit Chadha, Axel Legay, Pavithra Prabhakar and Mahesh Viswanathan.
    Verification, Model Checking, and Abstract Interpretation (VMCAI), 2010.
    Abstract BiB PS PDF

  26. 2009

  27. Verifying Tolerant Systems Using Polynomial Approximations.
    Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan and Geir E. Dullerud.
    30th IEEE Real-Time Systems Symposium (RTSS), 2009.
    Abstract BiB PS PDF

  28. STORMED Hybrid Games.
    Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan and Geir E. Dullerud.
    Hybrid Systems: Computation and Control, 12th International Conference (HSCC), 2009.
    Abstract BiB PS PDF

  29. On Convergence of Concurrent Systems under Regular Interactions.
    Pavithra Prabhakar, Sayan Mitra and Mahesh Viswanathan.
    20th International Conference on Concurrency Theory (CONCUR), 2009.
    Abstract BiB PS PDF

  30. Automata and logics over finitely varying functions.
    Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel and Pavithra Prabhakar.
    Annals of Pure Applied Logic (APAL), 2009.
    Abstract BiB PS PDF

  31. 2008

  32. STORMED Hybrid Systems.
    Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan and Geir E. Dullerud.
    Automata, Languages and Programming, 35th International Colloquium (ICALP), 2008.
    Abstract BiB PS PDF

  33. A Decidable Class of Planar Linear Hybrid Systems.
    Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan and Geir E. Dullerud.
    Hybrid Systems: Computation and Control (HSCC), 2008.
    Abstract BiB PS PDF

  34. Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.
    Peter Csaba Olveczky, Pavithra Prabhakar and Xue Liu.
    22nd IEEE International Symposium on Parallel and Distributed Processing (IPDPS).
    Abstract BiB PS PDF

  35. Eliminating past operators in Metric Temporal Logic.
    Deepak D'Souza, Raj Mohan Matteplackel and Pavithra Prabhakar.
    Perspectives in Concurrency Theory, 2008.
    Abstract BiB PDF

  36. 2007

  37. On the expressiveness of MTL in the pointwise and continuous semantics.
    Deepak D'Souza and Pavithra Prabhakar.
    Sotware Tools for Technology Transfer (STTT), 2007.
    Abstract BiB PS PDF

  38. Counter-Free Input-Determined Timed Automata.
    Fabrice Chevalier, Deepak D'Souza and Pavithra Prabhakar.
    Formal Modeling and Analysis of Timed Systems, 5th International Conference (FORMATS), 2007.
    Abstract BiB PS PDF

  39. 2006

  40. On the Expressiveness of Metric Temporal Logic.
    Pavithra Prabhakar.
    MS Thesis, Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India.
    Abstract BiB PS PDF

  41. On Continuous Timed Automata with Input-Determined Guards.
    Fabrice Chevalier, Deepak D'Souza and Pavithra Prabhakar.
    Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2006.
    Abstract BiB PS PDF

  42. On the Expressiveness of MTL with Past Operators.
    Pavithra Prabhakar and Deepak D'Souza.
    Formal Modeling and Analysis of Timed Systems, 4th International Conference (FORMATS), 2006.
    Abstract BiB PS PDF