A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces (bibtex)

by Xiaodong Yang, Omar Beg, Matthew Kenigsberg and Taylor T. Johnson

Reference:

Xiaodong Yang, Omar Beg, Matthew Kenigsberg and Taylor T. Johnson, "A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces", ACM Transactions on Cyber-Physical Systems (TCPS), ACM, 2022.

Bibtex Entry:

@article{yang2021tcps,
  title = {A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces},
  author = {Xiaodong Yang and Omar Beg and Matthew Kenigsberg and Taylor T. Johnson},
  year = {2022},
  month = aug,
  journal = {ACM Transactions on Cyber-Physical Systems (TCPS)},
  publisher = {ACM},
  doi = {10.1145/3470455},
  publabel = {J26},
  pubtype = {J},
  dblp = {journals/tcps/YangBKJ22},
  s2id = {246751128},
  pdf = "research/yang2021tcps.pdf",
}