High-Precision Modulation of a Safety-Critical Cyber-Physical System: Control Synthesis and Experimental Validation | IEEE Journals & Magazine | IEEE Xplore