Pages that link to "Item:Q441162"
From MaRDI portal
The following pages link to Control of discrete-event systems. Automata and Petri net perspectives (Q441162):
Displaying 11 items.
- Individuals, populations and fluid approximations: a Petri net based perspective (Q313335) (← links)
- Control: a perspective (Q463779) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
- Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics (Q2063100) (← links)
- Resource failure and buffer space allocation control for automated manufacturing systems (Q2195353) (← links)
- An improved approach for marking optimization of timed weighted marked graphs (Q2286328) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- Liveness enforcement for production systems modeled by time Petri nets (Q6052675) (← links)
- Supervisory control of discrete-event systems under external attacks (Q6081283) (← links)
