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

DOI10.1109/TAC.2019.2914895MaRDI QIDQ5211328zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Cited in

(19)

• 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
• 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
• Control laws synthesis for timed event graphs subject to generalised marking constraints by Min-Plus algebra: application to cluster tools
• Duality of controllability and observability in proportional equal conflict timed continuous Petri nets
• An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs
• Control of a class of discrete event systems with disturbances and capacity constraints: application to a disassembly problem
• Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process
• Path detectability verification for time-dependent systems with application to flexible manufacturing systems
• Design of control laws to guarantee mutual exclusion constraints in a network of linear min-plus systems with disturbance inputs
• Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process
• Formal solution for the generalized mutual exclusion constraints problem in a class of timed Petri nets

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

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