Analog and hybrid computation: Dynamical systems and programming languages

@ARTICLE{DBLP:journals/eatcs/Platzer14,
	pdf = {pub/hybrid-computing.pdf},

  author    = {Andr{\'e} Platzer},
  title     = {Analog and Hybrid Computation: Dynamical Systems and Programming Languages},
  journal   = {Bulletin of the {EATCS}},
  year      = {2014},
  volume    = {114},
  eprint    = {http://eatcs.org/beatcs/index.php/beatcs/article/view/292},
}```