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 : https://apps.dtic.mil/dtic/tr/fulltext/u2/1020450.pdf


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