Pages that link to "Item:Q5353060"
From MaRDI portal
The following pages link to Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems (Q5353060):
Displaying 5 items.
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← links)
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems (Q5165335) (← links)
