Safety is a primary requirement for many autonomous systems, such as automated vehicles and mobile robots. An open problem is how to assure safety, in the sense of avoiding unsafe subsets of the state space, for uncertain systems under complex tasks. In this thesis, we solve this problem for certain system classes and uncertainty descriptions by developing computational tools, designing verification and control synthesis algorithms, and evaluating them on two applications. As our first contribution, we consider how to compute probabilistic controlled invariant sets, which are sets the controller is able to keep the system state within with a certain probability. By using stochastic backward reachability, we design algorithms to compute these sets. We prove that the algorithms are computationally tractable and converge in a finite number of iterations. We further consider how to compute invariant covers, which are covers of sets that can be enforced to be invariant by a finite number of control inputs despite disturbances.A necessary and sufficient condition on the existence of an invariant cover is derived. Based on this result, an efficient computational algorithm is designed. The second contribution is to develop algorithms for model checking and control synthesis. We consider discrete-time uncertain systems under linear temporal logic (LTL) specifications. We propose the new notion of temporal logic trees (TLT) and show how to construct TLT from LTL formulae via reachability analysis for both autonomous and controlled transition systems. We prove approximation relations between TLT and LTL formulae. Two sufficient conditions are given to verify whether a transition system satisfies an LTL formula. An online control synthesis algorithm, under which a set of feasible control inputs can be generated at each time step, is designed, and it is proven to be recursively feasible. As our third contribution, we study two important vehicular applications on shared-autonomy systems, which are systems with a mix of human ...


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Safe Autonomy under Uncertainty: Computation, Control, and Application


    Beteiligte:
    Gao, Yulong (Autor:in)

    Erscheinungsdatum :

    2020-01-01


    Medientyp :

    Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629



    Safe and secure practical autonomy

    BERTRAM JOSHUA R / WOLFORD BRIAN R / MCLEAN ANGUS L et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    Secure and Safe Assured Autonomy (S2A2)

    Koushik Datta / Abdollah Homaifar | NTRS | 2021


    Feasibility Checks for Safe Shared Control with Variable Autonomy in Assistive Robotics

    Bustamante Gomez, Samuel / Rodriguez Brena, Ismael Valentin / Quere, Gabriel et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022

    Freier Zugriff

    FRAMEWORK FOR SAFE, EFFECTIVE AND EFFICIENT TESTING OF AUTONOMY

    Levermore, R. / Agbeyibor, R. | TIBKAT | 2019