Pages that link to "Item:Q2224835"
From MaRDI portal
The following pages link to Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835):
Displaying 3 items.
- Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system (Q6126856) (← links)
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)
