@entry{gue-09-aa,
  author = {C Le Guernic},
  title = {Reachability analysis of hybrid systems with linear continuous dynamics},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://tel.archives-ouvertes.fr/tel-00422569/}}},
  quotes = {This thesis is devoted to the problem of computing reachable sets of linear and hybrid systems. In the first part, after exposing existing approaches for reachability analysis of linear ...}
}