Algorithms for autonomous urban navigation with formal specifications

Algorithms for autonomous urban navigation with formal specifications

Thesis: E.A.A., Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, 2014.

Bibliographic Details
Main Author:	Chaudhari, Pratik (Pratik Anil)
Other Authors:	Emilio Frazzoli.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2014
Subjects:	Aeronautics and Astronautics.
Online Access:	http://hdl.handle.net/1721.1/90726

Similar Items

Incremental sampling based algorithms for state estimation
by: Chaudhari, Pratik (Pratik Anil)
Published: (2013)

Algorithms for minimum-violation planning with formal specifications
by: Reyes Castro, Luis I. (Luis Ignacio), et al.
Published: (2014)

Autonomous navigation of distributed spacecraft using intersatellite laser communications
by: Dave, Pratik K.(Pratik Kamlesh)
Published: (2020)

Using a co-located GNSS radio occultation payload for microwave radiometer calibration
by: Davé, Pratik K. (Pratik Kamlesh)
Published: (2015)

Autonomous satellite navigation using intersatellite laser communications
by: Davé, Pratik K. (Pratik Kamlesh), et al.
Published: (2022)

Investigating the readability of formal specification languages
by: Zimmerman, Marc Kenton, 1975-
Published: (2013)

Autonomous orbital rendezvous using angles-only navigation
by: Chari, Raja Jon Vurputoor, 1977-
Published: (2005)

Autonomous navigation in unknown environments using machine learning
by: Richter, Charles Andrew
Published: (2017)

Evaluating visualization in formal requirements specification : an experiment with human subjects
by: Viguier, Thomas, 1978-
Published: (2013)

A systems architecture framework towards hardware selection for autonomous navigation
by: Collin, Anne(Anne Claire)
Published: (2020)

Autonomous onboard guidance and navigation performance for Earth to Mars transfer missions
by: Neirinckx, Peter J. (Peter Joseph)
Published: (2008)

Sensors for autonomous navigation and hazard avoidance on a planetary micro-rover
by: Kaliardos, William N
Published: (2009)

A formal framework for specification-based embedded real-time system engineering
by: Ouimet, Martin, 1975-
Published: (2009)

Sampling-based algorithm for filtering using Markov chain approximations
by: Karaman, Sertac, et al.
Published: (2013)

Modeling and analysis of software specifications for an autonomous aerial vehicle
by: Vuong, Hon Fai, 1975-
Published: (2006)

Empirical evaluation of design principles for increasing reviewability of formal requirements specifications through visualization
by: Dulac, Nicolas, 1978-
Published: (2013)

Linear covariance analysis trade study of autonomous navigation schemes for cislunar missions
by: Kremer, Alison Sara
Published: (2009)

Sampling-based algorithms for continuous-time POMDPs
by: Chaudhari, Pratik Anil, et al.
Published: (2013)

Multiple hypothesis positioning algorithm for robust GPS-denied navigation
by: O'Shea, Patrick Joseph,S.M.Massachusetts Institute of Technology.
Published: (2019)

Syntax-based guidance for autonomous aggressive aerobatics in urban environments
by: Lyasoff, Rodin, 1979-
Published: (2005)

Skymark selection algorithm for a space-based navigational concept
by: Kaptuch, James A. (James Anthony), 1979-
Published: (2005)

Development of a guidance, navigation and control architecture and validation process enabling autonomous docking to a tumbling satellite
by: Nolet, Simon, 1975-
Published: (2007)

A robust motion planning approach for autonomous driving in urban areas
by: Fiore, Gaston A
Published: (2009)

System level dispersion analysis examining program benefits to a low-thrust interplanetary CubeSat from autonomous guidance and navigation
by: Velez, Dianna M. (Dianna Maria)
Published: (2017)

Network navigation with scheduling
by: Wang, Tianheng, Ph. D. Massachusetts Institute of Technology
Published: (2018)

Design of a robust integrated guidance and control algorithm for the landing of an autonomous reusable launch vehicle
by: Chomel, Christina T. (Christina Tvrdik), 1973-
Published: (2005)

High performance and provably safe polling-systems-based control algorithms of all-autonomous intersections
by: Miculescu, David
Published: (2015)

Coordinate frames in inertial navigation
by: Kayton, Myron.
Published: (2005)

A Monte-Carlo performance analysis of Kalman filter and targeting algorithms for autonomous orbital rendezvous
by: Vaughan, Andrew Thomas, 1979-
Published: (2005)

Adaptive modality selection for navigation systems
by: Kotowick, Kyle (Kyle Jordan)
Published: (2019)

Multi-sensor navigation system design.
by: Downing, David Royal
Published: (2008)

Navigation analysis and design for Mars entry
by: Boehmer, Rudy Avi, 1974-
Published: (2009)

An integration technique for aircraft navigation sensors.
by: Knauf, Albert Edward, Jr.
Published: (2021)

A predictor-corrector guidance algorithm design for a low L/D autonomous re-entry vehicle
by: Haroz, Carla (Carla Shariz), 1974-
Published: (2006)

The measurement sharing approach to community relative navigation
by: Kelley, John F
Published: (2005)

Effects of propagation techniques on relative GPS navigation
by: Nuzzo, Nicholas C. (Nicholas Christopher), 1974-
Published: (2005)

Task-driven navigation and mapping with resource constraints
by: Mu, Beipeng
Published: (2017)

CDGPS-based relative navigation for multiple spacecraft
by: Mitchell, Megan Leigh, 1978-
Published: (2005)

A new concept in strapdown inertial navigation.
by: Bortz, John Edward
Published: (2005)

A systems analysis of the impact of navigation instrumentation on-board a Mars rover, based on a covariance analysis of navigation performance
by: Leber, Douglas Eric
Published: (2008)