2022-05-20T00:08:15Zhttps://keep.lib.asu.edu/oai/requestoai:keep.lib.asu.edu:node-1565602021-08-27T02:47:01Zoai_pmh:alloai_pmh:repo_items156560
https://hdl.handle.net/2286/R.I.49417
http://rightsstatements.org/vocab/InC/1.0/
All Rights Reserved
2018
49 pages
Masters Thesis
Academic theses
Text
eng
Singh, Kanishka Raj
Yong, Sze Zheng
Artemiadis, Panagiotis
Berman, Spring
Arizona State University
Masters Thesis Mechanical Engineering 2018
This work considers the design of separating input signals in order to discriminate among a finite number of uncertain nonlinear models. Each nonlinear model corresponds to a system operating mode, unobserved intents of other drivers or robots, or to fault types or attack strategies, etc., and the separating inputs are designed such that the output trajectories of all the nonlinear models are guaranteed to be distinguishable from each other under any realization of uncertainties in the initial condition, model discrepancies or noise. I propose a two-step approach. First, using an optimization-based approach, we over-approximate nonlinear dynamics by uncertain affine models, as abstractions that preserve all its system behaviors such that any discrimination guarantees for the affine abstraction also hold for the original nonlinear system. Then, I propose a novel solution in the form of a mixed-integer linear program (MILP) to the active model discrimination problem for uncertain affine models, which includes the affine abstraction and thus, the nonlinear models. Finally, I demonstrate the effectiveness of our approach for identifying the intention of other vehicles in a highway lane changing scenario. For the abstraction, I explore two approaches. In the first approach, I construct the bounding planes using a Mixed-Integer Nonlinear Problem (MINLP) formulation of the given system with appropriately designed constraints. For the second approach, I solve a linear programming (LP) problem that over-approximates the nonlinear function at only the grid points of a mesh with a given resolution and then accounting for the entire domain via an appropriate correction term. To achieve a desired approximation accuracy, we also iteratively subdivide the domain into subregions. This method applies to nonlinear functions with different degrees of smoothness, including Lipschitz continuous functions, and improves on existing approaches by enabling the use of tighter bounds. Finally, we compare the effectiveness of this approach with the existing optimization-based methods in simulation and illustrate its applicability for estimator design.
Systems science
robotics
Automotive Engineering
Active Model Discrimination
Affine Abstraction
Input Design
Nonlinear systems
Affine Abstraction of Nonlinear Systems with Applications to Active Model Discrimination