Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions

DOI10.1016/J.INS.2018.10.018MaRDI QIDQ2224835zbMATH OpenOpenAlexWikidataFDO

Authors Dan You, ShouGuang Wang, C. Seatzu

Publication date 4 February 2021

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2018.10.018

zbMATH Keywords

Petri netsdiscrete event systemslinear constraintssupervisory controlunobservable and uncontrollable transitions

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• scientific article; zbMATH DE number 1220172
• On forbidden state problems for a class of controlled Petri nets
• Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions

Cites work

• A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR
• A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
• A survey of Petri net methods for controlled discrete event systems
• Approach for Transforming Linear Constraints on Petri Nets
• Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
• Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
• Complexity of the deadlock problem for Petri nets modeling resource allocation systems
• Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
• Deadlock recovery for flexible manufacturing systems modeled with Petri nets
• Decentralized Supervisory Control With Intersection-Based Architecture
• Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
• Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
• Feedback control of Petri nets based on place invariants
• Marking Observer in Labeled Petri Nets With Application to Supervisory Control
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets
• On observability of discrete-event systems
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
• Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
• Robust deadlock control for automated manufacturing systems with an unreliable resource
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
• Supervisory Control of Partially Observable Marked Graphs
• Supervisory control of discrete-event processes with partial observations
• Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
• Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
• Synthesis of supervisors enforcing general linear constraints in petri nets
• Termination Properties of Generalized Petri Nets
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs

Cited in

(13)

• Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system
• Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions
• Suboptimal time management of discrete event systems with uncontrollable events modeled by Petri nets
• Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
• Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
• Adaptive supervisory control for a class of Petri nets with bimodal transitions
• Supervisory Control of Petri Nets with Language Specifications
• Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
• scientific article; zbMATH DE number 5130596 (Why is no real title available?)
• Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets
• Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
• scientific article; zbMATH DE number 1820092 (Why is no real title available?)
• Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs

This page was built for publication: Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions

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