| HyTech: A model checker for hybrid systems TA Henzinger, PH Ho, H Wong-Toi International Conference on Computer Aided Verification, 460-463, 1997 | 1663 | 1997 |
| A user guide to HyTech TA Henzinger, PH Ho, H Wong-Toi International Workshop on Tools and Algorithms for the Construction and …, 1995 | 417 | 1995 |
| Supervisory control of a rapid thermal multiprocessor S Balemi, GJ Hoffmann, P Gyugyi, H Wong-Toi, GF Franklin IEEE Transactions on Automatic Control 38 (7), 1040-1059, 1993 | 372 | 1993 |
| Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho, H Wong-Toi IEEE transactions on automatic control 43 (4), 540-554, 1998 | 356 | 1998 |
| HyTech: the next generation TA Henzinger, PH Ho, H Wong-Toi Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995 | 332 | 1995 |
| Minimization of timed transition systems R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi International Conference on Concurrency Theory, 340-354, 1992 | 268 | 1992 |
| Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods TA Henzinger, B Horowitz, R Majumdar, H Wong-Toi International Workshop on Hybrid Systems: Computation and Control, 130-144, 2000 | 217 | 2000 |
| The synthesis of controllers for linear hybrid automata H Wong-Toi Proceedings of the 36th IEEE Conference on Decision and Control 5, 4607-4612, 1997 | 198 | 1997 |
| The control of dense real-time discrete event systems H Wong-Toi, G Hoffmann STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1992 | 156 | 1992 |
| An implementation of three algorithms for timing verification based on automata emptiness. R Alur, C Courcoubetis, DL Dill, N Halbwachs, H Wong-Toi RTSS, 157-166, 1992 | 153 | 1992 |
| Automated analysis of an audio control protocol PH Ho, H Wong-Toi International Conference on Computer Aided Verification, 381-394, 1995 | 143 | 1995 |
| Using HyTech to synthesize control parameters for a steam boiler TA Henzinger, H Wong-Toi Formal Methods for Industrial Applications, 265-282, 1996 | 130 | 1996 |
| Checking for language inclusion using simulation preorders DL Dill, AJ Hu, H Wong-Toi International Conference on Computer Aided Verification, 255-265, 1991 | 126 | 1991 |
| Verification of real-time systems by successive over and under approximation DL Dill, H Wong-Toi International Conference on Computer Aided Verification, 409-422, 1995 | 105 | 1995 |
| Synthesizing processes and schedulers from temporal specifications H Wong-Toi, DL Dill International Conference on Computer Aided Verification, 272-281, 1990 | 90 | 1990 |
| Linear phase-portrait approximations for nonlinear hybrid systems TA Henzinger, H Wong-Toi International Hybrid Systems Workshop, 377-388, 1995 | 78 | 1995 |
| Symbolic approximations for verifying real-time systems H Wong-Toi stanford university, 1995 | 78 | 1995 |
| Symbolic synthesis of supervisory controllers G Hoffmann, H Wong-Toi 1992 American Control Conference, 2789-2793, 1992 | 75 | 1992 |
| The expressive power of clocks TA Henzinger, PW Kopke, H Wong-Toi International Colloquium on Automata, Languages, and Programming, 417-428, 1995 | 70 | 1995 |
| Maximal safe set computation for idle speed control of an automotive engine A Balluchi, L Benvenuti, MDD Benedetto, GM Miconi, U Pozzi, T Villa, ... International Workshop on Hybrid Systems: Computation and Control, 32-44, 2000 | 67 | 2000 |
