Pages that link to "Item:Q5211328"
From MaRDI portal
The following pages link to An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems (Q5211328):
Displaying 16 items.
- State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
- Group consensus via pinning control for a class of heterogeneous multi-agent systems with input constraints (Q2053864) (← links)
- Time based deadlock prevention for Petri nets (Q2071966) (← links)
- Finite-time group consensus via pinning control for heterogeneous multi-agent systems with disturbances by integral sliding mode (Q2096098) (← links)
- Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems (Q2660973) (← links)
- Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra (Q2667519) (← links)
- Liveness enforcement for production systems modeled by time Petri nets (Q6052675) (← links)
- Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs (Q6099941) (← links)
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)
- Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra (Q6198761) (← links)
- Control laws synthesis for timed event graphs subject to generalised marking constraints by Min-Plus algebra: application to cluster tools (Q6548596) (← links)
- Duality of controllability and observability in proportional equal conflict timed continuous Petri nets (Q6551632) (← links)
- An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs (Q6580667) (← links)
- Control of a class of discrete event systems with disturbances and capacity constraints: application to a disassembly problem (Q6583363) (← links)
- Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process (Q6593304) (← links)
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems (Q6658942) (← links)