Differential invariants and symbolic integration for distributed hybrid systems

@techreport{RenshawP11,
	author = {['David W. Renshaw', 'André Platzer']},
	title = {Differential Invariants and Symbolic Integration
               for Distributed Hybrid Systems},
	number = {CMU-CS-12-107},
	year = {2011},
	month = {May},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2012/CMU-CS-12-107.pdf}
}