Please use this identifier to cite or link to this item:
Title: Assured autonomy in safety critical CPS
Authors: Prashant, Mohit
Keywords: Engineering::Computer science and engineering::Mathematics of computing::Probability and statistics
Engineering::Computer science and engineering::Computing methodologies::Artificial intelligence
Issue Date: 2021
Publisher: Nanyang Technological University
Source: Prashant, M. (2021). Assured autonomy in safety critical CPS. Final Year Project (FYP), Nanyang Technological University, Singapore.
Abstract: The aim of this study is to investigate safety guarantees on variational autoencoder (VAE) outputs. The problem of establishing a safety guarantee on machine learning models is to ensure that the model probabilistically satisfies particular constraints. The model targeted in this study is the β-VAE, a type of VAE that aims to produce a latent encoding that disentangles the generative factors of the training data, with the aim of applying safety constraints on the latent space. The method applied to solve this problem was adapted from solutions that provide safety guarantees to stochastic neural networks, defining the guarantee with two variables, ε and δ. 1-δ represents the confidence that with at least 1-ε probability, the output of the β-VAE will satisfy the safety constraints posed. With a sample size and the confidence, the minimum upper bound for the expected amount of error can be optimized for. The approach taken in this study implements the safety constraints using a density based conformal predictor, which is used to indicate out-of-distribution (OOD) elements for calculating ε. Though guarantees can be placed on the error and confidence of the model using these constraints, the results show that there are a number of valid data samples being classified as OOD. Future extensions to this work may be aimed at constructing safety constraints with different conformity metrics.
Schools: School of Computer Science and Engineering 
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:SCSE Student Reports (FYP/IA/PA/PI)

Files in This Item:
File Description SizeFormat 
  Restricted Access
1.06 MBAdobe PDFView/Open

Page view(s)

Updated on May 30, 2023


Updated on May 30, 2023

Google ScholarTM


Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.