Explicit Backstepping Kernel Solutions for Leak Detection in Branched Pipe Flows | IEEE Journals & Magazine | IEEE Xplore