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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.