NaiQi Wu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Game current-state opacity formulation in probabilistic resource automata	2024-04-11	Paper
Secret inference and attacktability analysis of discrete event systems	2024-03-27	Paper
Symbolic state estimation in bounded timed labeled Petri nets	2024-02-13	Paper
Error- and Tamper-Tolerant State Estimation for Discrete Event Systems Under Cost Constraints	2024-01-26	Paper
Finite-time group consensus via pinning control for heterogeneous multi-agent systems with disturbances by integral sliding mode	2022-11-16	Paper
Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures	2022-09-30	Paper
Robust predictability of stochastic discrete-event systems and a polynomial-time verification	2022-08-23	Paper
Group consensus via pinning control for a class of heterogeneous multi-agent systems with input constraints	2021-11-30	Paper
An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets	2021-05-28	Paper
Optimal Petri net supervisor synthesis for forbidden state problems using marking mask	2021-03-16	Paper
Deadlock analysis and control using Petri net decomposition techniques	2020-11-17	Paper
Deadlock and liveness characterization for a class of generalized Petri nets	2020-07-16	Paper
Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement	2020-07-02	Paper
Current-state opacity modelling and verification in partially observed Petri nets	2020-04-14	Paper
Deadlock recovery for flexible manufacturing systems modeled with Petri nets	2020-02-06	Paper
A novel method for deadlock prevention of AMS by using resource-oriented Petri nets	2019-12-13	Paper
Model-based fault identification of discrete event systems using partially observed Petri nets	2019-02-05	Paper
On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places	2018-11-23	Paper
Confusion avoidance for discrete event systems by P/E constraints and supervisory control	2018-09-27	Paper
Confusion control in generalized Petri nets using synchronized events	2018-08-27	Paper
Equivalent transformation of nonlinear constraints to linear constraints in Petri nets	2018-08-27	Paper
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs	2018-07-12	Paper
Cycle time analysis of dual-arm cluster tools for wafer fabrication processes with multiple wafer revisiting times	2016-11-10	Paper
Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets	2007-08-20	Paper
Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model	2004-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q2720647	2001-06-27	Paper
An efficient heuristic for the design of cellular manufacturing systems with multiple identical machines	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q5202933	1990-01-01	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: NaiQi Wu