共 30 条
- [3] Continuous-discrete interactions in chemical processing plants [J]. PROCEEDINGS OF THE IEEE, 2000, 88 (07) : 1050 - 1068
- [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
- [8] Control design of an automated highway system [J]. PROCEEDINGS OF THE IEEE, 2000, 88 (07) : 913 - 925