Positive loop-closed automata: a decidable class of hybrid systems

Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li 0005, Tao Zheng, Guoliang Zheng. Positive loop-closed automata: a decidable class of hybrid systems. Journal of Logic and Algebraic Programming, 52-53:79-108, 2002. [doi]

Abstract

Abstract is missing.