Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
DOI10.1016/j.ins.2018.10.018zbMath1453.93146OpenAlexW2897874121WikidataQ129090368 ScholiaQ129090368MaRDI QIDQ2224835
Carla Seatzu, ShouGuang Wang, Dan You
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
supervisory controlPetri netslinear constraintsdiscrete event systemsunobservable and uncontrollable transitions
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Cites Work
- Maximally permissive supervisor synthesis based on a new constraint transformation method
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- On observability of discrete-event systems
- A survey of Petri net methods for controlled discrete event systems
- Feedback control of Petri nets based on place invariants
- Robust deadlock control for automated manufacturing systems with an unreliable resource
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems
- 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
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Decentralized Supervisory Control With Intersection-Based Architecture
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets
- Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
- Supervisory control of discrete-event processes with partial observations
- Termination Properties of Generalized Petri Nets
- On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR
- Synthesis of supervisors enforcing general linear constraints in petri nets
- Supervisory Control of Partially Observable Marked Graphs
- Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
- Marking Observer in Labeled Petri Nets With Application to Supervisory Control
- Approach for Transforming Linear Constraints on Petri Nets
This page was built for publication: Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
