NaiQi Wu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Estimation and prevention of actuator enablement attacks in discrete-event systems under supervisory control	2025-01-21	Paper
On the existence of nonblocking bounded supervisors for discrete-event systems	2025-01-21	Paper
Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints	2025-01-08	Paper
Identification of labeled Petri nets from finite automata	2024-05-27	Paper
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
Rough cut capacity estimation for order production based upon finite manufacturing resources	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

This page was built for person: NaiQi Wu