| Statistical Results on Filtering and Epi-convergence for Learning-Based Model Predictive Control |
17 Dec 2011 |
14 pages |
| Authors:
Anil Aswani; Humberto Gonzalez; S S Sastry; Claire Tomlin; CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE
|
 | Learning-based model predictive control (LBMPC) is a technique that provides deterministic guarantees on robustness, while statistical identification tools are used to identify richer models of the system in order to improve performance. This technical note provides a result that elucidates the reasons for the choice of measurement model used with LBMPC, and it gives proofs concerning the stochastic convergence of LBMPC. The first part of this note discusses simultaneous state ... |
|
| Strategic and Tactical Decision-Making Under Uncertainty |
03 JAN 2006 |
21 pages |
| Authors:
Michael I. Jordan; Venkat Anantharam; Laurent El Ghaoui; Stuart Russell; Shankar Sastry; Daphne Koller; Benjamin Van Roy; Claire Tomlin; Roger Wets; CALIFORNIA UNIV REGENTS BERKELEY
|
| This report presents the final conclusions of the research on decision-making under uncertainty conducted by the investigators at the University of California at Berkeley, Stanford University, and the University of California at Davis, under the aegis of the MURI on Decision-Making under Uncertainty. |
|
| Hybrid Verification of an Interface for an Automatic Landing |
DEC 2002 |
8 pages |
| Authors:
Meeko Oishi; Ian Mitchell; Alexandre Bayen; Claire Tomlin; Asaf Degani; STANFORD UNIV CA DEPT OF AERONAUTICS AND ASTRONAUTICS
|
| Modern commercial aircraft have extensive automation which helps the pilot by performing computations, obtaining data, and completing procedural tasks. The pilot display must contain enough information so that the pilot can correctly predict the aircraft's behavior, while not overloading the pilot with unnecessary information. Human-automation interaction is currently evaluated through extensive simulation. In this paper, using both hybrid and discrete-event system techniques, we show how one could mathematically verify that ... |
|
Reports by Author
