Cui Zhang

From MaRDI portal
Person:1285657

Available identifiers

zbMath Open zhang.cui.2MaRDI QIDQ1285657

List of research outcomes





PublicationDate of PublicationType
Towards applying the composition principle to verify a microkernel operating system2024-07-05Paper
Fading Unscented–Extended Kalman Filter for Multiple Targets Tracking with Symmetric Equations of Nonlinear Measurements2019-05-24Paper
Event-triggered output-feedback control for disturbed linear systems2019-02-08Paper
Distributed Kalman consensus filter with event-triggered communication: formulation and stability analysis2018-08-16Paper
https://portal.mardi4nfdi.de/entity/Q36405052009-11-11Paper
Method of object threat assessment based on fuzzy MADM2008-08-06Paper
https://portal.mardi4nfdi.de/entity/Q30248952005-07-04Paper
Formal verification of a programming logic for a distributed programming language1999-04-28Paper

Research outcomes over time

This page was built for person: Cui Zhang

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