Analog and hybrid computation: Dynamical systems and programming languages

@article{DBLP:journals/eatcs/Platzer14,
	pdf = {pub/hybrid-computing.pdf},
	author = {['André 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}
}