Howard Wong-Toi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Checking for language inclusion using simulation preorders	2024-04-29	Paper
The expressive power of clocks Automata, Languages and Programming	2019-01-10	Paper
Controller synthesis for hybrid systems with a lower bound on event separation International Journal of Control	2004-08-17	Paper
scientific article; zbMATH DE number 1444340 (Why is no real title available?)	2001-06-18	Paper
scientific article; zbMATH DE number 1444347 (Why is no real title available?)	2000-06-21	Paper
scientific article; zbMATH DE number 1301631 (Why is no real title available?)	1999-12-08	Paper
Algorithmic analysis of nonlinear hybrid systems IEEE Transactions on Automatic Control	1998-06-08	Paper
HyTech: A model checker for hybrid systems International Journal on Software Tools for Technology Transfer. STTT	1997-01-01	Paper
scientific article; zbMATH DE number 434967 (Why is no real title available?)	1994-12-12	Paper
Supervisory control of a rapid thermal multiprocessor IEEE Transactions on Automatic Control	1993-12-20	Paper
scientific article; zbMATH DE number 177523 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177246 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Howard Wong-Toi