Davoren, Jennifer M.Moor, ThomasNerode, Anil2015-12-132015-12-13March 25 2354043321Xhttp://hdl.handle.net/1885/91657Hybrid Control Loops, A/D Maps, and Dynamic Specifications20022015-12-12