Seguir
Howard Wong-Toi
Título
Citado por
Citado por
Ano
HyTech: A model checker for hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
17341997
A user guide to HyTech
TA Henzinger, PH Ho, H Wong-Toi
International Workshop on Tools and Algorithms for the Construction and …, 1995
4391995
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
3851993
Algorithmic analysis of nonlinear hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
IEEE transactions on automatic control 43 (4), 540-554, 1998
3691998
HyTech: the next generation
TA Henzinger, PH Ho, H Wong-Toi
Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995
3381995
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
2681992
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
2292000
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
2041997
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 92, 592-601, 1992
1591992
Automated analysis of an audio control protocol
PH Ho, H Wong-Toi
Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995
1431995
Checking for language inclusion using simulation preorders
DL Dill, AJ Hu, H Wong-Toi
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
1431992
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
1071995
Synthesizing processes and schedulers from temporal specifications
H Wong-Toi, DL Dill
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
901991
Linear phase-portrait approximations for nonlinear hybrid systems
TA Henzinger, H Wong-Toi
International Hybrid Systems Workshop, 377-388, 1995
831995
Symbolic approximations for verifying real-time systems
H Wong-Toi
stanford university, 1995
791995
The expressive power of clocks
TA Henzinger, PW Kopke, H Wong-Toi
International Colloquium on Automata, Languages, and Programming, 417-428, 1995
771995
Symbolic synthesis of supervisory controllers
G Hoffmann, H Wong-Toi
1992 American Control Conference, 2789-2793, 1992
761992
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20