Differential invariants and symbolic integration for distributed hybrid systems

@TECHREPORT{RenshawP11,

  author    = {David W. Renshaw and
               Andr{\'e} 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}
}```