Computing differential invariants of hybrid systems as fixedpoints

@techreport{DBLP:conf/cav/PlatzerC08:TR,
	ref = {DBLP:conf/cav/PlatzerC08},
	author = {['André Platzer', 'Edmund M. Clarke']},
	title = {Computing Differential Invariants of Hybrid
               Systems as Fixedpoints},
	number = {CMU-CS-08-103},
	year = {2008},
	month = {},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2008/CMU-CS-08-103.pdf}
}