Pages that link to "Item:Q5033822"
From MaRDI portal
The following pages link to Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems (Q5033822):
Displaying 9 items.
- Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra (Q2667519) (← links)
- Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs (Q6099941) (← links)
- State estimation in labeled time Petri net systems using observed modified state class graph (Q6179959) (← 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)
- An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs (Q6580667) (← links)
- Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process (Q6593304) (← links)
- Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems (Q6653443) (← links)
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems (Q6658942) (← links)