Howard Wong-Toi
TitleCited byYear
HyTech: A model checker for hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
International Conference on Computer Aided Verification, 460-463, 1997
14821997
A user guide to HyTech
TA Henzinger, PH Ho, H Wong-Toi
International Workshop on Tools and Algorithms for the Construction and …, 1995
3961995
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
3451993
Algorithmic analysis of nonlinear hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
IEEE transactions on automatic control 43 (4), 540-554, 1998
3241998
HyTech: the next generation
TA Henzinger, PH Ho, H Wong-Toi
Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995
3041995
Minimization of timed transition systems
R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi
International Conference on Concurrency Theory, 340-354, 1992
2441992
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
2082000
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
1931997
The control of dense real-time discrete event systems
H Wong-Toi, G Hoffmann
[1991] Proceedings of the 30th IEEE Conference on Decision and Control, 1527 …, 1991
1451991
Automated analysis of an audio control protocol
PH Ho, H Wong-Toi
International Conference on Computer Aided Verification, 381-394, 1995
1391995
An implementation of three algorithms for timing verification based on automata emptiness
R Alur, C Courcoubetis, D Dill, N Halbwachs, H Wong-Toi
[1992] Proceedings Real-Time Systems Symposium, 157-166, 1992
1361992
Using HyTech to synthesize control parameters for a steam boiler
TA Henzinger, H Wong-Toi
Formal Methods for Industrial Applications, 265-282, 1996
1261996
Checking for language inclusion using simulation preorders
DL Dill, AJ Hu, H Wong-Toi
International Conference on Computer Aided Verification, 255-265, 1991
1131991
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
891995
Synthesizing processes and schedulers from temporal specifications
H Wong-Toi, DL Dill
International Conference on Computer Aided Verification, 272-281, 1990
831990
Symbolic Approximations for Verifying Real-Time Systems.
H Wong-Toi
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994
751994
Linear phase-portrait approximations for nonlinear hybrid systems
TA Henzinger, H Wong-Toi
International Hybrid Systems Workshop, 377-388, 1995
741995
Symbolic synthesis of supervisory controllers
G Hoffmann, H Wong-Toi
1992 American Control Conference, 2789-2793, 1992
711992
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
682000
The expressive power of clocks
TA Henzinger, PW Kopke, H Wong-Toi
International Colloquium on Automata, Languages, and Programming, 417-428, 1995
681995
The system can't perform the operation now. Try again later.
Articles 1–20