Algorithmic analysis of nonlinear hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi. Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Automat. Contr., 43(4):540-554, 1998. [doi]

Abstract

Abstract is missing.