Biblio

Export 5 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Keyword is   [Clear All Filters]
2009
Plaku, E, Kavraki LE, Vardi MY.  2009.  Falsification of LTL Safety Properties in Hybrid Systems. Proc. of the Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009).
Abstract      Preprint PDF     
Plaku, E, Kavraki LE, Vardi MY.  2009.  Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods in System Design. 34:157-182.
Abstract      Preprint PDF     Publisher's web site     
2008
Bhatia, A.  2008.  Sampling-based Algorithms for Analysis and Design of Hybrid and Embedded Systems. Mechanical and Aerospace Engineering. Ph.D.:156.
2006
Bhatia, A, Frazzoli E.  2006.  Resolution-complete safety falsification. Poster in Hybrid Systems: Computation and Control, 2006.
Preprint PDF     
2004
Bhatia, A.  2004.  Incremental Search Methods for Reachability Analysis of Continuous and Hyrbid Systems. Aerospace Engineering. M.S.:65.