×

zbMATH — the first resource for mathematics

Wong-Toi, Howard

Compute Distance To:
Author ID: wong-toi.howard Recent zbMATH articles by "Wong-Toi, Howard"
Published as: Wong-Toi, H.; Wong-Toi, Howard
Documents Indexed: 11 Publications since 1991

Publications by Year

Citations contained in zbMATH

10 Publications have been cited 169 times in 150 Documents Cited by Year
HyTech: A model checker for hybrid systems. Zbl 1060.68603
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
89
1997
Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
31
1998
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
15
2000
Supervisory control of a rapid thermal multiprocessor. Zbl 0800.93035
Balemi, S.; Hoffmann, G. J.; Gyugyi, P.; Wong-Toi, H.; Franklin, G. F.
14
1993
Maximal safe set computation for idle speed control of an automatic engine. Zbl 0962.93070
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Miconi, Guido M.; Pozzi, Ugo; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
6
2000
Synthesizing processes and schedulers from temporal specifications. Zbl 0765.68148
Wong-Toi, Howard; Dill, David L.
5
1991
Controller synthesis for hybrid systems with a lower bound on event separation. Zbl 1048.93051
Balluchi, Andrea; Benvenuti, Luca; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
4
2003
The expressive power of clocks. Zbl 1412.68131
Henzinger, Thomas A.; Kopke, Peter W.; Wong-Toi, Howard
3
1995
Analysis of slope-parametric rectangular automata. Zbl 0927.93034
Wong-Toi, Howard
1
1999
Synthesizing processes and schedulers from temporal specifications. Zbl 0786.68070
Wong-Toi, Howard; Dill, David L.
1
1991
Controller synthesis for hybrid systems with a lower bound on event separation. Zbl 1048.93051
Balluchi, Andrea; Benvenuti, Luca; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
4
2003
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
15
2000
Maximal safe set computation for idle speed control of an automatic engine. Zbl 0962.93070
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Miconi, Guido M.; Pozzi, Ugo; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
6
2000
Analysis of slope-parametric rectangular automata. Zbl 0927.93034
Wong-Toi, Howard
1
1999
Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
31
1998
HyTech: A model checker for hybrid systems. Zbl 1060.68603
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
89
1997
The expressive power of clocks. Zbl 1412.68131
Henzinger, Thomas A.; Kopke, Peter W.; Wong-Toi, Howard
3
1995
Supervisory control of a rapid thermal multiprocessor. Zbl 0800.93035
Balemi, S.; Hoffmann, G. J.; Gyugyi, P.; Wong-Toi, H.; Franklin, G. F.
14
1993
Synthesizing processes and schedulers from temporal specifications. Zbl 0765.68148
Wong-Toi, Howard; Dill, David L.
5
1991
Synthesizing processes and schedulers from temporal specifications. Zbl 0786.68070
Wong-Toi, Howard; Dill, David L.
1
1991
all top 5

Cited by 312 Authors

5 Meseguer Guaita, José
5 Olveczky, Peter Csaba
5 Piazza, Carla
4 Bouyer, Patricia
4 Dang, Thao
4 Eggers, Andreas
4 Larsen, Kim Guldstrand
3 Asarin, Eugene
3 Boucheneb, Hanifa
3 Damm, Werner
3 Kupferschmid, Stefan
3 Lanotte, Ruggero
3 Li, Xuandong
3 Platzer, André
3 Policriti, Alberto
3 Ramdani, Nacim
3 Rooda, Jacobus E.
3 Wu, Jinzhao
2 Abate, Alessandro
2 Aceto, Luca
2 Alur, Rajeev
2 Arbab, Farhad
2 Azgomi, Mohammad Abdollahi
2 Baier, Christel
2 Bartocci, Ezio
2 Bemporad, Alberto
2 Benerecetti, Massimo
2 Benvenuti, Luca
2 Bergstra, Jan A.
2 Bortolussi, Luca
2 Bu, Lei
2 Bultan, Tevfik
2 Campagna, Dario
2 Carré-Ménétrier, V.
2 Corradini, Flavio
2 Desharnais, Josée
2 Di Berardini, Maria Rita
2 Disch, Stefan
2 Doyen, Laurent
2 Duggirala, Parasara Sridhar
2 Edalat, Abbas
2 Entcheva, Emilia
2 Faella, Marco
2 Fahrenberg, Uli
2 Fioravanti, Fabio
2 Fränzle, Martin
2 Fribourg, Laurent
2 Grosu, Radu
2 He, Anping
2 Henzinger, Thomas A.
2 Júlvez, Jorge
2 Kopke, Peter W.
2 Lime, Didier
2 Maggiolo-Schettini, Andrea
2 Man, Ka Lok
2 Middelburg, Cornelis A.
2 Mishra, Bud
2 Motallebi, Hassan
2 Nedialkov, Nedialko S.
2 Ouaknine, Joel O.
2 Panangaden, Prakash
2 Pettorossi, Alberto
2 Pigorsch, Florian
2 Pinto, Guilherme A.
2 Proietti, Maurizio
2 Quaas, Karin
2 Ratschan, Stefan
2 Reniers, Michel Adriaan
2 Roux, Olivier H.
2 Rudie, Karen
2 Sayed Mouchaweh, Moamar
2 Schiffelers, R. R. H.
2 Schneider, Gerardo
2 Scholl, Christoph
2 Senni, Valerio
2 Smolka, Scott A.
2 Teige, Tino
2 Thistle, John G.
2 van Beek, D. A.
2 Vardi, Moshe Y.
2 Villa, Tiziano
2 Worrell, James B.
2 Yang, Shihan
2 Yovine, Sergio
2 Zhao, Jianhua
1 Aanand, Sumit Jha
1 Akbarpour, Behzad
1 André, Étienne
1 Antoniotti, Marco
1 Attie, Paul C.
1 Auer, Ekaterina
1 Azuma, Shun-Ichi
1 Bagnara, Roberto
1 Bak, Stanley
1 Balemi, Silvano
1 Balluchi, Andrea
1 Barbalho, Hugo
1 Bartzis, Constantinos
1 Bauer, Nanette
1 Bengtsson, Johan
...and 212 more Authors

Citations by Year