Pages that link to "Item:Q839004"
From MaRDI portal
The following pages link to Control of parameterized discrete event systems (Q839004):
Displaying 12 items.
- Generating conditions for preserving the properties of controlled discrete event systems (Q329088) (← links)
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- On controllability and normality of discrete event dynamical systems (Q1190393) (← links)
- Hierarchical control of discrete-event systems (Q2563779) (← links)
- A discrete event approach to the command sequence replanning and control in a teleprogramming system (Q2729212) (← links)
- The Verification and Control of Interacting Similar Discrete-Event Systems (Q3427785) (← links)
- Control of large discrete event systems: constructive algorithms (Q3476700) (← links)
- (Q3975447) (← links)
- (Q4789257) (← links)
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components (Q5348355) (← links)
- Automated Technology for Verification and Analysis (Q5394226) (← links)