MIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Sampling-based motion planning with deterministic u-calculus specifications

Author(s)
Karaman, Sertac; Frazzoli, Emilio
Thumbnail
DownloadFrazzoli_SamplingBased.pdf (1.411Mb)
OPEN_ACCESS_POLICY

Open Access Policy

Creative Commons Attribution-Noncommercial-Share Alike

Terms of use
Attribution-Noncommercial-Share Alike 3.0 Unported http://creativecommons.org/licenses/by-nc-sa/3.0/
Metadata
Show full item record
Abstract
In this paper, we propose algorithms for the online computation of control programs for dynamical systems that provably satisfy a class of temporal logic specifications. Such specifications have recently been proposed in the literature as a powerful tool to synthesize provably correct control programs, for example for embedded systems and robotic applications. The proposed algorithms, generalizing state-of-the-art algorithms for point-to-point motion planning, incrementally build finite transition systems representing a discrete subset of dynamically feasible trajectories. At each iteration, local -calculus model-checking methods are used to establish whether the current transition system satisfies the specifications. Efficient sampling strategies are presented, ensuring the probabilistic completeness of the algorithms. We demonstrate the effectiveness of the proposed approach on simulation examples.
Date issued
2010-01
URI
http://hdl.handle.net/1721.1/57434
Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science; Massachusetts Institute of Technology. Laboratory for Information and Decision Systems
Journal
Proceedings of the 48th IEEE Conference on CDC/CCC 2009
Publisher
Institute of Electrical and Electronics Engineers
Citation
S. Karaman and E. Frazzoli. Sampling-based motion planning with deterministic µ-calculus specifications. In Proc. of IEEE Conference on Decision and Control, Dec. 2009.
Version: Author's final manuscript
ISBN
978-1-4244-3871-6
ISSN
0191-2216
Keywords
temporal logic specification, sampling based motion planning, provably correct control program, probabilistic completeness, point-to-point motion planning, finite transition system, iteration method, dynamically feasible trajectory, dynamical system, control program online computation

Collections
  • MIT Open Access Articles

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries
PrivacyPermissionsAccessibilityContact us
MIT
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.