An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems

DOI10.1109/TAC.2019.2914895zbMath1483.93391OpenAlexW2942732844WikidataQ127905688 ScholiaQ127905688MaRDI QIDQ5211328

Liang Li, Francesco Basile, Zhiwu Li

Publication date: 28 January 2020

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2019.2914895

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)

Related Items (10)

Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems ⋮ Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra ⋮ Liveness enforcement for production systems modeled by time Petri nets ⋮ Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs ⋮ An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions ⋮ Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Group consensus via pinning control for a class of heterogeneous multi-agent systems with input constraints ⋮ Time based deadlock prevention for Petri nets ⋮ Finite-time group consensus via pinning control for heterogeneous multi-agent systems with disturbances by integral sliding mode

This page was built for publication: An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems