Amit Bhatia - Publications
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)
- Keywords= consensus problems, rendezvous, Dubins vehicle.
- Decentralized algorithm for optimal rendezvous of Dubins vehicles. Submitted to American Control Conference, 2008. Under review.
- 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)
- Keywords=hybrid systems, sampling-based algorithms, resolution completeness, safety verification.
- Presentations
- Resolution complete reachability analysis of continuous and hybrid systems. Poster in Hybrid Systems:Computation and Control, Santa Barbara, CA, 2006. (PDF)
- Sampling-based resolution-complete safety falsification of linear hybrid systems. In IEEE Conf. on Decision and Control, San Diego, CA, 2006.
- Sampling based resolution-complete safety falsification of LTI continuous and hybrid systems. In LIDS Student Conference, MIT, Cambridge, MA, 2007.
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.