Edit Profile Wong-Toi, Howard Compute Distance To: Compute Author ID: wong-toi.howard Published as: Wong-Toi, H.; Wong-Toi, Howard Documents Indexed: 11 Publications since 1991 all top 5 Co-Authors 1 single-authored 4 Henzinger, Thomas A. 2 Balluchi, Andrea 2 Benvenuti, Luca 2 Dill, David L. 2 Ho, Pei-Hsin 2 Hoffmann, Gérard J. 2 Sangiovanni-Vincentelli, Alberto L. 2 Villa, Tiziano 1 Balemi, Silvano 1 Di Benedetto, Maria Domenica 1 Franklin, Gene F. 1 Gyugyi, P. 1 Horowitz, Benjamin 1 Kopke, Peter W. 1 Majumdar, Rupak 1 Miconi, Guido M. 1 Pozzi, Ugo Serials 2 IEEE Transactions on Automatic Control 1 International Journal of Control 1 Fields 8 Systems theory; control (93-XX) 6 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications 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.68603Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 89 1997 Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 31 1998 Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard 15 2000 Supervisory control of a rapid thermal multiprocessor. Zbl 0800.93035Balemi, 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.93070Balluchi, 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.68148Wong-Toi, Howard; Dill, David L. 5 1991 Controller synthesis for hybrid systems with a lower bound on event separation. Zbl 1048.93051Balluchi, Andrea; Benvenuti, Luca; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L. 4 2003 The expressive power of clocks. Zbl 1412.68131Henzinger, Thomas A.; Kopke, Peter W.; Wong-Toi, Howard 3 1995 Analysis of slope-parametric rectangular automata. Zbl 0927.93034Wong-Toi, Howard 1 1999 Synthesizing processes and schedulers from temporal specifications. Zbl 0786.68070Wong-Toi, Howard; Dill, David L. 1 1991 Controller synthesis for hybrid systems with a lower bound on event separation. Zbl 1048.93051Balluchi, 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.93552Henzinger, 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.93070Balluchi, 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.93034Wong-Toi, Howard 1 1999 Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 31 1998 HyTech: A model checker for hybrid systems. Zbl 1060.68603Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 89 1997 The expressive power of clocks. Zbl 1412.68131Henzinger, Thomas A.; Kopke, Peter W.; Wong-Toi, Howard 3 1995 Supervisory control of a rapid thermal multiprocessor. Zbl 0800.93035Balemi, S.; Hoffmann, G. J.; Gyugyi, P.; Wong-Toi, H.; Franklin, G. F. 14 1993 Synthesizing processes and schedulers from temporal specifications. Zbl 0765.68148Wong-Toi, Howard; Dill, David L. 5 1991 Synthesizing processes and schedulers from temporal specifications. Zbl 0786.68070Wong-Toi, Howard; Dill, David L. 1 1991 all cited Publications top 5 cited Publications 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 all top 5 Cited in 30 Serials 24 Theoretical Computer Science 17 Formal Methods in System Design 8 Discrete Event Dynamic Systems 7 The Journal of Logic and Algebraic Programming 6 Information and Computation 6 Nonlinear Analysis. Hybrid Systems 5 European Journal of Control 4 International Journal of Control 4 International Journal of Foundations of Computer Science 3 Automatica 3 Journal of Computer and System Sciences 3 Formal Aspects of Computing 2 Acta Informatica 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Science of Computer Programming 2 Real-Time Systems 2 Journal of Applied Mathematics 2 Computer Science Review 2 Journal of Logical and Algebraic Methods in Programming 1 Information Sciences 1 International Journal of Production Research 1 Computers & Operations Research 1 Mathematical and Computer Modelling 1 Numerical Algorithms 1 International Journal of Robust and Nonlinear Control 1 Higher-Order and Symbolic Computation 1 International Journal of Applied Mathematics and Computer Science 1 Theory and Practice of Logic Programming 1 Mathematics in Computer Science 1 all top 5 Cited in 20 Fields 112 Computer science (68-XX) 53 Systems theory; control (93-XX) 10 Biology and other natural sciences (92-XX) 9 Mathematical logic and foundations (03-XX) 7 Operations research, mathematical programming (90-XX) 5 Ordinary differential equations (34-XX) 5 Numerical analysis (65-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Probability theory and stochastic processes (60-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Operator theory (47-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year