Xiaoguang Han

From MaRDI portal
Person:1622232

Available identifiers

zbMath Open han.xiaoguangMaRDI QIDQ1622232

List of research outcomes





PublicationDate of PublicationType
Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations2024-08-29Paper
Opacity of discrete-event systems under nondeterministic observation mechanism2024-07-30Paper
Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices2024-06-27Paper
Strong current-state and initial-state opacity of discrete-event systems2023-01-31Paper
Self-Enhanced Convolutional Network for Facial Video Hallucination2022-09-16Paper
On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices2022-02-08Paper
Detectability verification of probabilistic Boolean networks2021-12-02Paper
Stabilization of probabilistic finite automata based on semi-tensor product of matrices2020-06-30Paper
An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices2019-05-24Paper
Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems2019-02-27Paper
A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata2018-11-19Paper
https://portal.mardi4nfdi.de/entity/Q46880432018-10-22Paper
On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrix2018-04-18Paper
A novel matrix approach to observability analysis of finite automata2018-01-05Paper
https://portal.mardi4nfdi.de/entity/Q29871162017-05-17Paper
STP-based judgment method of reversibility and liveness of bounded Petri nets2016-10-06Paper
An \(L_1\) image transform for edge-preserving smoothing and scene-level intrinsic decomposition2016-04-25Paper

Research outcomes over time

This page was built for person: Xiaoguang Han