Pages that link to "Item:Q5394226"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394226):
Displaying 4 items.
- Control of parameterized discrete event systems (Q839004) (← links)
- A unified model for state feedback of discrete event systems. I: Framework and maximal permissive state feedback (Q999234) (← links)
- A unified model for state feedback of discrete event systems. II: Control synthesis problems (Q1008779) (← links)
- (Q4543340) (← links)