Succinct discrete time approximations of distributed hybrid automata

P. S. Thiagarajan, Shaofa Yang. Succinct discrete time approximations of distributed hybrid automata. In Karl Henrik Johansson, Wang Yi, editors, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. pages 1-10, ACM, 2010. [doi]

@inproceedings{ThiagarajanY10,
  title = {Succinct discrete time approximations of distributed hybrid automata},
  author = {P. S. Thiagarajan and Shaofa Yang},
  year = {2010},
  doi = {10.1145/1755952.1755955},
  url = {http://doi.acm.org/10.1145/1755952.1755955},
  researchr = {https://researchr.org/publication/ThiagarajanY10},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010},
  editor = {Karl Henrik Johansson and Wang Yi},
  publisher = {ACM},
  isbn = {978-1-60558-955-8},
}