@article{820,
  author = {Xenofon Koutsoukos and Panos Antsaklis},
  title = {Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions},
  year = {2003},
  journal = {Journal of Discrete Event Dynamic Systems: Theory and Applications},
  volume = {13},
  pages = {203--243},
  language = {eng},
}