共 30 条
[4]
Henzinger T. A., 1995, Proceedings of the Twenty-Seventh Annual ACM Symposium on the Theory of Computing, P373, DOI 10.1145/225058.225162
[5]
The theory of hybrid automata
[J].
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS,
1996,
:278-292
[6]
Henzinger TA, 1995, LECT NOTES COMPUT SC, V944, P324
[7]
ON THE DYNAMICS OF RIGID-BLOCK MOTION UNDER HARMONIC FORCING
[J].
PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES,
1989, 425 (1869)
:441-476