Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
From MaRDI portal
Publication:2224835
DOI10.1016/J.INS.2018.10.018zbMATH Open1453.93146OpenAlexW2897874121WikidataQ129090368 ScholiaQ129090368MaRDI QIDQ2224835FDOQ2224835
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
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
Petri netsdiscrete event systemslinear constraintssupervisory controlunobservable and uncontrollable transitions
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- A survey of Petri net methods for controlled discrete event systems
- Feedback control of Petri nets based on place invariants
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Maximally permissive supervisor synthesis based on a new constraint transformation method
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Approach for Transforming Linear Constraints on Petri Nets
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- On observability of discrete-event systems
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Synthesis of supervisors enforcing general linear constraints in petri nets
- Supervisory control of discrete-event processes with partial observations
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Termination Properties of Generalized Petri Nets
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
- On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
- Robust deadlock control for automated manufacturing systems with an unreliable resource
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Supervisory Control of Partially Observable Marked Graphs
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems
- Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- Marking Observer in Labeled Petri Nets With Application to Supervisory Control
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
- Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
- Decentralized Supervisory Control With Intersection-Based Architecture
- Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
- On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets
- A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR
Cited In (13)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
- Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system
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)
