Pages that link to "Item:Q2730277"
From MaRDI portal
The following pages link to Masked prioritized synchronization for interaction and control of discrete event systems (Q2730277):
Displayed 5 items.
- Nonblocking check in fuzzy discrete event systems based on observation equivalence (Q529370) (← links)
- Contexts, refinement and determinism (Q541213) (← links)
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence (Q714871) (← links)
- Supervisory control of \((\max,+)\) automata: a behavioral approach (Q843993) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)