Howard Wong-Toi

Available identifiers

zbMath Open wong-toi.howardMaRDI QIDQ1856192

List of research outcomes

Publication	Date of Publication	Type
Checking for language inclusion using simulation preorders	2024-04-29	Paper
The expressive power of clocks	2019-01-10	Paper
Controller synthesis for hybrid systems with a lower bound on event separation	2004-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4953379	2001-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4953388	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4246834	1999-12-08	Paper
Algorithmic analysis of nonlinear hybrid systems	1998-06-08	Paper
HyTech: A model checker for hybrid systems	1997-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3139832	1994-12-12	Paper
Supervisory control of a rapid thermal multiprocessor	1993-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4037097	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037392	1993-05-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Howard Wong-Toi