Howard Wong-Toi
Title
Cited by
Cited by
Year
HyTech: A model checker for hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
International Journal on Software Tools for Technology Transfer 1 (1-2), 110-122, 1997
16161997
A user guide to HyTech
TA Henzinger, PH Ho, H Wong-Toi
International Workshop on Tools and Algorithms for the Construction and …, 1995
3981995
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
3671993
Algorithmic analysis of nonlinear hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
IEEE transactions on automatic control 43 (4), 540-554, 1998
3461998
HyTech: the next generation
TA Henzinger, PH Ho, H Wong-Toi
Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995
3211995
Minimization of timed transition systems
R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi
International Conference on Concurrency Theory, 340-354, 1992
2591992
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
2112000
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
2001997
The control of dense real-time discrete event systems
H Wong-Toi, G Hoffmann
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1992
1571992
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
1491992
Automated analysis of an audio control protocol
PH Ho, H Wong-Toi
International Conference on Computer Aided Verification, 381-394, 1995
1401995
Using HyTech to synthesize control parameters for a steam boiler
TA Henzinger, H Wong-Toi
Formal Methods for Industrial Applications, 265-282, 1996
1271996
Checking for language inclusion using simulation preorders
DL Dill, AJ Hu, H Wong-Toi
International Conference on Computer Aided Verification, 255-265, 1991
1191991
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
1011995
Synthesizing processes and schedulers from temporal specifications
H Wong-Toi, DL Dill
International Conference on Computer Aided Verification, 272-281, 1990
891990
Linear phase-portrait approximations for nonlinear hybrid systems
TA Henzinger, H Wong-Toi
International Hybrid Systems Workshop, 377-388, 1995
781995
Symbolic approximations for verifying real-time systems
H Wong-Toi
stanford university, 1995
781995
Symbolic synthesis of supervisory controllers
G Hoffmann, H Wong-Toi
1992 American Control Conference, 2789-2793, 1992
761992
The expressive power of clocks
TA Henzinger, PW Kopke, H Wong-Toi
International Colloquium on Automata, Languages, and Programming, 417-428, 1995
701995
Maximal safe set computation for idle speed control of an automotive engine
A Balluchi, L Benvenuti, MD Di Benedetto, GM Miconi, U Pozzi, T Villa, ...
International Workshop on Hybrid Systems: Computation and Control, 32-44, 2000
692000
The system can't perform the operation now. Try again later.
Articles 1–20