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. 79-108 2002 52-53 J. Log. Algebr. Program. http://dx.doi.org/10.1016/S1567-8326(02)00024-3 db/journals/jlp/jlp52.html#LiZPLZZ02