Guanghui Zhu

Available identifiers

zbMath Open zhu.guanghuiMaRDI QIDQ1611493

List of research outcomes

Publication	Date of Publication	Type
Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures	2022-09-30	Paper
One-stage tree: end-to-end tree builder and pruner	2022-08-10	Paper
An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets	2021-05-28	Paper
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs	2021-03-12	Paper
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming	2020-10-07	Paper
Model identification of unobservable behavior of discrete event systems using Petri nets	2019-06-26	Paper
Model-based fault identification of discrete event systems using partially observed Petri nets	2019-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q3640658	2009-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4780715	2003-02-03	Paper
\(2T\)-periodic solution for \(m\)-order neutral type differential equations with time delays	2002-10-21	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: Guanghui Zhu