2016-12-09T15:31:08ZAlgorithms for autonomous urban navigation with formal specificationshttp://hdl.handle.net/1721.1/90726
Algorithms for autonomous urban navigation with formal specifications
Chaudhari, Pratik (Pratik Anil)
This thesis addresses problems in planning and control of autonomous agents. The central theme of this work is that integration of "low-level control synthesis" and "high-level decision making" is essential to devise robust algorithms with provable guarantees on performance. We pursue two main directions here. The first part considers planning and control algorithms that satisfy temporal specifications expressed using formal languages. We focus on task specifications that become feasible only if some of the specifications are violated and compute a control law that minimizes the level of unsafety of the system while guaranteeing that it still satisfies the task specification. Examples in this domain are motivated from an autonomous car navigating an urban landscape while following road safety rules such as "always travel in the left lane" and "do not change lanes frequently" or an electric vehicle in a mobility-on-demand scenario. The second part of the thesis focuses on multi-agent control synthesis, where agents are modeled as dynamical systems and they interact with each other while sharing the same road infrastructure - all the while respecting the same road driving rules expressed as LTL specifications. We discuss algorithms that identify well-defined notions in the game theory literature such as Stackelberg equilibria and non-cooperative Nash equilibria under various information structures. This work builds upon ideas from three different fields, viz., sampling-based motion-planning algorithms to construct efficient concretizations of general, continuous time dynamical systems, model checking for formal specifications that helps guarantee the safety of a system under all scenarios, and game theory to model the interaction between different agents trying to perform possibly conflicting tasks.
Thesis: E.A.A., Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, 2014.; Cataloged from PDF version of thesis.; Includes bibliographical references (pages 58-62).
2014-01-01T00:00:00ZPilot estimates of glide path and aim point during simulated landing approacheshttp://hdl.handle.net/1721.1/83649
Pilot estimates of glide path and aim point during simulated landing approaches
Acree, Cecil Wallace
Thesis. 1978. E.A.A.--Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics.; MICROFICHE COPY AVAILABLE IN ARCHIVES AND AERONAUTICS.; Bibliography: leaves 130-133.
1978-01-01T00:00:00ZA preliminary study of a new sampling approachhttp://hdl.handle.net/1721.1/80623
A preliminary study of a new sampling approach
Budiyono, Agus, 1969-
Thesis (E.A.A.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2000.; Includes bibliographical references (leaves 47-50).
2000-01-01T00:00:00ZModeling and control of the aeroelastic response of highly flexible active wingshttp://hdl.handle.net/1721.1/80622
Modeling and control of the aeroelastic response of highly flexible active wings
Ortega-Morales, Miguel, 1968-
Thesis (E.A.A. and S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2000.; Includes bibliographical references (p. 143-149).
2000-01-01T00:00:00Z