1996 | ||
---|---|---|
3 | Dang Van Hung, Wang Ji: On the Design of Hybrid Control Systems Using Automata Models. FSTTCS 1996: 156-167 | |
1995 | ||
2 | Wang Ji, He Weidong: Formal Specification of Stability in Hybrid Control Systems. Hybrid Systems 1995: 294-303 | |
1 | Zhou Chaochen, Wang Ji, Anders P. Ravn: A Formal Description of Hybrid Systems. Hybrid Systems 1995: 511-530 |
1 | Dang Van Hung | [3] |
2 | Anders P. Ravn | [1] |
3 | He Weidong | [2] |
4 | Chaochen Zhou (Zhou Chaochen) | [1] |