Weijie Dong

From MaRDI portal
Person:6152566

Available identifiers

zbMath Open dong.weijieMaRDI QIDQ6152566

List of research outcomes





PublicationDate of PublicationType
A uniform framework for diagnosis of discrete-event systems with unreliable sensors using linear temporal logic2024-07-21Paper
On the verification of detectability for timed discrete event systems2024-06-05Paper
Model predictive monitoring of dynamical systems for signal temporal logic specifications2024-02-13Paper

Research outcomes over time

This page was built for person: Weijie Dong

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