On the decidability and complexity of problems for restricted hierarchical hybrid systems

Paul C. Bell, Shang Chen, Lisa Jackson. On the decidability and complexity of problems for restricted hierarchical hybrid systems. Theoretical Computer Science, 652:47-63, 2016. [doi]

@article{BellCJ16-0,
  title = {On the decidability and complexity of problems for restricted hierarchical hybrid systems},
  author = {Paul C. Bell and Shang Chen and Lisa Jackson},
  year = {2016},
  doi = {10.1016/j.tcs.2016.09.003},
  url = {http://dx.doi.org/10.1016/j.tcs.2016.09.003},
  researchr = {https://researchr.org/publication/BellCJ16-0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {652},
  pages = {47-63},
}