Path detectability verification for time-dependent systems with application to flexible manufacturing systems

DOI10.1016/J.INS.2024.121404MaRDI QIDQ6658942zbMATH OpenFDO

Authors Tao Qin, Jiawang Zhu, Zhiwu Li, Xin Hu, Almetwally M. Mostafa

Publication date 8 January 2025

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.INS.2024.121404

zbMATH Keywords

discrete event systempath detectabilityreal-time observationtime labeled Petri net

Mathematics Subject Classification ID

Operations research, mathematical programming (90-XX) Systems theory; control (93-XX)

Recommendations

• On the verification of detectability for timed discrete event systems
• Verification of C-detectability using Petri nets
• Analysis of strong and strong periodic detectability of bounded labeled Petri nets
• On detectability of labeled Petri nets and finite automata

Cites work

• An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
• An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets
• Analysis of strong and strong periodic detectability of bounded labeled Petri nets
• Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
• Codiagnosability Enforcement in Labeled Petri Nets
• Deciding detectability for labeled Petri nets
• Design of supervisors for linear marking specifications in labeled Petri nets
• Detectability of Discrete Event Systems
• Diagnosability Analysis of Labeled Time Petri Net Systems
• Diagnosability enforcement in labeled Petri nets using supervisory control
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
• Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
• Liveness enforcement for production systems modeled by time Petri nets
• Optimal supervisory control with mean payoff objectives and under partial observation
• Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”
• State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
• The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
• Trajectory detectability of discrete-event systems
• Verification and enforcement of strong infinite- and k-step opacity using state recognizers
• Verification of K-step and infinite-step opacity of bounded labeled Petri nets

This page was built for publication: Path detectability verification for time-dependent systems with application to flexible manufacturing systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6658942)