Pages that link to "Item:Q2871733"
From MaRDI portal
The following pages link to Maximally permissive controller synthesis for time Petri nets (Q2871733):
Displaying 3 items.
- Approximated timed reachability graphs for the robust control of discrete event systems (Q2330041) (← links)
- State estimation in labeled time Petri net systems using observed modified state class graph (Q6179959) (← links)
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)
