Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems (bibtex)

Reference:

Taylor T. Johnson and S Mitra, "Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems", In AIAA Infotech at Aerospace, AIAA, pp. 1–16, 2013.

Bibtex Entry:

@inproceedings{johnson2013infotech,
  title = {Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems},
  author = {Taylor T. Johnson and S Mitra},
  year = {2013},
  month = aug,
  booktitle = {AIAA Infotech at Aerospace},
  pages = {1--16},
  publisher = {AIAA},
  doi = {10.2514/6.2013-4811},
  publabel = {LC4},
  pubtype = {LC},
  s2id = {16939484},
  pdf = "research/johnson2013infotech.pdf",
}