Reachable Set Estimation and Verification for a Class of Piecewise Linear Systems with Neural Network Controllers

Xiang, Weiming; Tran, Hoang-Dung; Rosenfeld, Joel; Johnson, Taylor T.

by Weiming Xiang, Hoang-Dung Tran, Joel Rosenfeld, Taylor T. Johnson

Reference:

Weiming Xiang, Hoang-Dung Tran, Joel Rosenfeld, Taylor T. Johnson, "Reachable Set Estimation and Verification for a Class of Piecewise Linear Systems with Neural Network Controllers", In American Control Conference (ACC 2018), Special Session on Formal Methods in Controller Synthesis I, IEEE, 2018, jun.

Bibtex Entry:

@InProceedings{xiang2018acc,
  author    = {Weiming Xiang and Hoang-Dung Tran and Joel Rosenfeld and Taylor T. Johnson},
  title     = {Reachable Set Estimation and Verification for a Class of Piecewise Linear Systems with Neural Network Controllers},
  booktitle = {American Control Conference (ACC 2018), Special Session on Formal Methods in Controller Synthesis I},
  year      = {2018},
  month     = jun,
  publisher = {IEEE},
  pdf      = {http://www.taylortjohnson.com/research/xiang2018acc.pdf},
  owner     = {tjohnson},
}