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.

Библиографические подробности
Главный автор:	Chaudhari, Pratik (Pratik Anil)
Другие авторы:	Emilio Frazzoli.
Формат:	Диссертация
Язык:	eng
Опубликовано:	Massachusetts Institute of Technology 2014
Предметы:	Aeronautics and Astronautics.
Online-ссылка:	http://hdl.handle.net/1721.1/90726

Схожие документы

Algorithms for minimum-violation planning with formal specifications
по: Reyes Castro, Luis I. (Luis Ignacio), и др.
Опубликовано: (2014)

Incremental sampling based algorithms for state estimation
по: Chaudhari, Pratik (Pratik Anil)
Опубликовано: (2013)

Autonomous navigation of distributed spacecraft using intersatellite laser communications
по: Dave, Pratik K.(Pratik Kamlesh)
Опубликовано: (2020)

Using a co-located GNSS radio occultation payload for microwave radiometer calibration
по: Davé, Pratik K. (Pratik Kamlesh)
Опубликовано: (2015)

Investigating the readability of formal specification languages
по: Zimmerman, Marc Kenton, 1975-
Опубликовано: (2013)

Autonomous navigation in unknown environments using machine learning
по: Richter, Charles Andrew
Опубликовано: (2017)

Autonomous orbital rendezvous using angles-only navigation
по: Chari, Raja Jon Vurputoor, 1977-
Опубликовано: (2005)

Autonomous onboard guidance and navigation performance for Earth to Mars transfer missions
по: Neirinckx, Peter J. (Peter Joseph)
Опубликовано: (2008)

Sensors for autonomous navigation and hazard avoidance on a planetary micro-rover
по: Kaliardos, William N
Опубликовано: (2009)

A systems architecture framework towards hardware selection for autonomous navigation
по: Collin, Anne(Anne Claire)
Опубликовано: (2020)

Evaluating visualization in formal requirements specification : an experiment with human subjects
по: Viguier, Thomas, 1978-
Опубликовано: (2013)

Linear covariance analysis trade study of autonomous navigation schemes for cislunar missions
по: Kremer, Alison Sara
Опубликовано: (2009)

A formal framework for specification-based embedded real-time system engineering
по: Ouimet, Martin, 1975-
Опубликовано: (2009)

Modeling and analysis of software specifications for an autonomous aerial vehicle
по: Vuong, Hon Fai, 1975-
Опубликовано: (2006)

Empirical evaluation of design principles for increasing reviewability of formal requirements specifications through visualization
по: Dulac, Nicolas, 1978-
Опубликовано: (2013)

Syntax-based guidance for autonomous aggressive aerobatics in urban environments
по: Lyasoff, Rodin, 1979-
Опубликовано: (2005)

Development of a guidance, navigation and control architecture and validation process enabling autonomous docking to a tumbling satellite
по: Nolet, Simon, 1975-
Опубликовано: (2007)

A robust motion planning approach for autonomous driving in urban areas
по: Fiore, Gaston A
Опубликовано: (2009)

Multiple hypothesis positioning algorithm for robust GPS-denied navigation
по: O'Shea, Patrick Joseph,S.M.Massachusetts Institute of Technology.
Опубликовано: (2019)

Skymark selection algorithm for a space-based navigational concept
по: Kaptuch, James A. (James Anthony), 1979-
Опубликовано: (2005)

System level dispersion analysis examining program benefits to a low-thrust interplanetary CubeSat from autonomous guidance and navigation
по: Velez, Dianna M. (Dianna Maria)
Опубликовано: (2017)

Design of a robust integrated guidance and control algorithm for the landing of an autonomous reusable launch vehicle
по: Chomel, Christina T. (Christina Tvrdik), 1973-
Опубликовано: (2005)

High performance and provably safe polling-systems-based control algorithms of all-autonomous intersections
по: Miculescu, David
Опубликовано: (2015)

A Monte-Carlo performance analysis of Kalman filter and targeting algorithms for autonomous orbital rendezvous
по: Vaughan, Andrew Thomas, 1979-
Опубликовано: (2005)

Network navigation with scheduling
по: Wang, Tianheng, Ph. D. Massachusetts Institute of Technology
Опубликовано: (2018)

A predictor-corrector guidance algorithm design for a low L/D autonomous re-entry vehicle
по: Haroz, Carla (Carla Shariz), 1974-
Опубликовано: (2006)

Robust planning for autonomous parafoil
по: Sugel, Ian (Ian J.)
Опубликовано: (2014)

Coordinate frames in inertial navigation
по: Kayton, Myron.
Опубликовано: (2005)

Adaptive modality selection for navigation systems
по: Kotowick, Kyle (Kyle Jordan)
Опубликовано: (2019)

Multi-sensor navigation system design.
по: Downing, David Royal
Опубликовано: (2008)

Navigation analysis and design for Mars entry
по: Boehmer, Rudy Avi, 1974-
Опубликовано: (2009)

Safe trajectory planning of autonomous vehicles
по: Schouwenaars, Tom
Опубликовано: (2007)

Autonomous mission scheduling for satellite operations
по: Sauer, Birgit M. (Birgit Maria), 1971-
Опубликовано: (2009)

Autonomous aerobatic maneuvering of miniature helicopters
по: Gavrilets, Vladislav, 1975-
Опубликовано: (2005)

Human inspiration for autonomous vehicle tactics
по: Beaton, Jonathan Scott
Опубликовано: (2007)

An integration technique for aircraft navigation sensors.
по: Knauf, Albert Edward, Jr.
Опубликовано: (2021)

Fault detection, isolation, and recovery for autonomous parafoils
по: Stoeckle, Matthew Robert
Опубликовано: (2014)

Decision uncertainty minimization and autonomous information gathering
по: Bush, Lawrence A. M
Опубликовано: (2014)

Task-driven navigation and mapping with resource constraints
по: Mu, Beipeng
Опубликовано: (2017)

CDGPS-based relative navigation for multiple spacecraft
по: Mitchell, Megan Leigh, 1978-
Опубликовано: (2005)