Accession Number : AD1020450

Title :   Specification, Synthesis, and Verification of Software-based Control Protocols for Fault-Tolerant Space Systems

Descriptive Note : Technical Report,21 May 2015,16 Aug 2016

Corporate Author : University of Texas at Austin Austin United States

Personal Author(s) : Topcu,Ufuk

Full Text :

Report Date : 16 Aug 2016

Pagination or Media Count : 16

Abstract : In this one-year project, we focused on the control and learning for systems under stochastic uncertainties. We report two sets of results. The first one is motivated by correct-by-construction synthesis for systems with uncertainty in the state due to partial and/or noisy measurements. We developed a new finite-state abstraction technique for such systems. This particular problem was motivated by planning for autonomous space operations. The second one focuses on control and learning in systems in which there is an embedded data-classifier that imperfectly (characterized as stochastically) generates labels from a finite set. Our main contribution was showing how inference techniques for discrete Markov random fields can be applied to learning and control tasks which depend on the output of a noisy classification process.

Descriptors :   algorithms , space systems , spacecraft components , orbits , attitude control systems , fault tolerance , stochastic processes

Subject Categories : Theoretical Mathematics
      Electrical and Electronic Equipment
      Spacecraft Trajectories and Reentry

Distribution Statement : APPROVED FOR PUBLIC RELEASE