Howard Wong-Toi

From MaRDI portal
Person:1856192

Available identifiers

zbMath Open wong-toi.howardMaRDI QIDQ1856192

List of research outcomes





PublicationDate of PublicationType
Checking for language inclusion using simulation preorders2024-04-29Paper
The expressive power of clocks2019-01-10Paper
Controller synthesis for hybrid systems with a lower bound on event separation2004-08-17Paper
https://portal.mardi4nfdi.de/entity/Q49533792001-06-18Paper
https://portal.mardi4nfdi.de/entity/Q49533882000-06-21Paper
https://portal.mardi4nfdi.de/entity/Q42468341999-12-08Paper
Algorithmic analysis of nonlinear hybrid systems1998-06-08Paper
HyTech: A model checker for hybrid systems1997-01-01Paper
https://portal.mardi4nfdi.de/entity/Q31398321994-12-12Paper
Supervisory control of a rapid thermal multiprocessor1993-12-20Paper
https://portal.mardi4nfdi.de/entity/Q40373921993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40370971993-05-18Paper

Research outcomes over time

This page was built for person: Howard Wong-Toi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1856192&oldid=6128149"
Powered by MediaWiki