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 10 items.
- Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method (Q664298) (← links)
- Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets (Q2063093) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- (Q3424635) (← links)
- Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions (Q4684051) (← links)
- Supervisory Control of Petri Nets with Language Specifications (Q5496930) (← links)
- 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)
