Here is a list of my publications, presentations and technical reports. Please email me if you would like to obtain a copy of any of them.

• Publications
  • Keywords=hybrid systems, sampling-based algorithms, resolution completeness, safety verification.
    • Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. In Hybrid Systems:Computation and Control, Philadelphia, PA, 2004. (PDF)
    • Resolution-complete safety falsification of continuous time systems. In IEEE Conf. on Decision and Control, San Diego, CA, 2006.(PDF)
    • Sampling-based resolution-complete safety falsification of linear hybrid systems. In IEEE Conf. on Decision and Control, New Orleans, LA, 2007.(PDF)
    • Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. In Hybrid Systems:Computation and Control, 2008. (Initial version) (Final version)
  • Keywords= consensus problems, rendezvous, Dubins vehicle.
    • Decentralized Algorithm for Minimum-Time Rendezvous of Dubins Vehicles. In American Control Conference, 2008. (PDF)
  • Keywords=viability theory.
    • Problems in Control Theory: A Viability Perspective. ( Project report for ECE 580, UIUC, Fall 2003) (PDF)
  • Keywords= space dynamics, satellites, orbit design.
    • Feasibility studies of using satellites in non geo-stationary orbits. (Undergraduate Thesis, IIT Kanpur, 1998)
• Presentations
  • Resolution complete reachability analysis of continuous and hybrid systems. Poster in Hybrid Systems:Computation and Control, Santa Barbara, CA, 2006. (PDF)
  • Resolution-complete safety falsification of continuous time systems. In IEEE Conf. on Decision and Control, San Diego, CA, 2006. (PDF)
  • Sampling based resolution-complete safety falsification of LTI continuous and hybrid systems. In LIDS Student Conference, MIT, Cambridge, MA, 2007.
  • Sampling-based resolution-complete safety falsification of linear hybrid systems. In IEEE Conf. on Decision and Control, New Orleans, LA, 2007.(PDF)
  • Decentralized Algorithm for Minimum-Time Rendezvous of Dubins Vehicles. In LIDS Student Conference, MIT, Cambridge, MA, 2008.
  • Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. Poster in Hybrid Systems:Computation and Control, St Louis, MO, 2008. (PDF)
  • Sampling-Based Algorithms for Analysis and Design of Hybrid and Embedded Systems, Ph.D. Defense, May 22, 2008, Los Angeles. (PDF)
  • Decentralized Algorithm for Minimum-Time Rendezvous of Dubins Vehicles. In American Control Conference, Seattle, WA, 2008.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.