Design of supervisors for linear marking specifications in labeled Petri nets
From MaRDI portal
Publication:2063788
DOI10.1016/j.automatica.2021.110031zbMath1480.93269OpenAlexW3215742659MaRDI QIDQ2063788
Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua
Publication date: 3 January 2022
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.110031
Related Items (3)
Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs ⋮ Dynamic compensator design and \(H_\infty\) admissibilization for delayed singular jump systems via Moore-Penrose generalized inversion technique ⋮ Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Normaliz: Algorithms for affine monoids and rational cones
- A survey of Petri net methods for controlled discrete event systems
- On the enforcement of a class of nonlinear constraints on Petri nets
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
- A branch and bound approach for the design of decentralized supervisors in Petri net models
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
- Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
- Probabilistic Marking Estimation in Labeled Petri Nets
- Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
- Introduction to Discrete Event Systems
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
- Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
- Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
- Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations
- Marking Observer in Labeled Petri Nets With Application to Supervisory Control
- Mathematical Foundations of Computer Science 2005
- Supervisory Control of Petri Nets with Language Specifications
- On computing Hilbert bases via the Elliot--MacMahon algorithm
This page was built for publication: Design of supervisors for linear marking specifications in labeled Petri nets
