Follow
Howard Wong-Toi
Title
Cited by
Cited by
Year
HyTech: A model checker for hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
17381997
A user guide to HyTech
TA Henzinger, PH Ho, H Wong-Toi
International Workshop on Tools and Algorithms for the Construction and …, 1995
4381995
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
3871993
Algorithmic analysis of nonlinear hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
IEEE transactions on automatic control 43 (4), 540-554, 1998
3701998
HyTech: the next generation
TA Henzinger, PH Ho, H Wong-Toi
Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995
3361995
Minimization of timed transition systems
R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
2671992
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
2282000
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
2071997
The control of dense real-time discrete event systems
H Wong-Toi, G Hoffmann
Department of Computer Science, Stanford University, 1992
1671992
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
1551992
Automated analysis of an audio control protocol
PH Ho, H Wong-Toi
Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995
1411995
Checking for language inclusion using simulation preorders
DL Dill, AJ Hu, H Wong-Toi
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
1361992
Using HyTech to synthesize control parameters for a steam boiler
TA Henzinger, H Wong-Toi
Formal methods for industrial applications: specifying and programming the …, 2005
1332005
Verification of real-time systems by successive over and under approximation
DL Dill, H Wong-Toi
Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995
1061995
Synthesizing processes and schedulers from temporal specifications
H Wong-Toi, DL Dill
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
921991
Linear phase-portrait approximations for nonlinear hybrid systems
TA Henzinger, H Wong-Toi
International Hybrid Systems Workshop, 377-388, 1995
821995
Symbolic approximations for verifying real-time systems
H Wong-Toi
stanford university, 1995
791995
Symbolic synthesis of supervisory controllers
G Hoffmann, H Wong-Toi
1992 American Control Conference, 2789-2793, 1992
771992
The expressive power of clocks
TA Henzinger, PW Kopke, H Wong-Toi
International Colloquium on Automata, Languages, and Programming, 417-428, 1995
751995
Some lessons from the hytech experience
TA Henzinger, J Preussig, H Wong-Toi
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001
692001
The system can't perform the operation now. Try again later.
Articles 1–20