Biblio

Export 6 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Keyword is Hybrid Systems  [Clear All Filters]
2010
Bhatia, A, Kavraki LE, Vardi MY.  2010.  Motion Planning with Hybrid Dynamics and Temporal Goals. IEEE Conference on Decision and Control. :1108-1115.
Abstract      Preprint PDF
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
Plaku, E.  2008.  From High-Level Tasks to Low-Level Motions: Motion Planning for High-Dimensional Nonlinear Hybrid Robotic Systems. Department of Computer Science.
Abstract      Preprint PDF
2007
Plaku, E, Kavraki LE, Vardi MY.  2007.  Hybrid Systems: From Verification to Falsification. International Conference on Computer Aided Verification (CAV). 4590:468--481.
Abstract      Preprint PDF     Publisher's web site     
Plaku, E, Kavraki LE, Vardi MY.  2007.  A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. IEEE International Conference on Robotics and Automation (ICRA). :692--697.
Abstract      Preprint PDF     Publisher's web site