Pages that link to "Item:Q5274029"
From MaRDI portal
The following pages link to Characterization of co-observable languages and formulas for their super/sublanguages (Q5274029):
Displaying 4 items.
- Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures (Q880441) (← links)
- Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
- New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage (Q4566940) (← links)
- Relative coobservability for decentralised supervisory control of discrete-event systems (Q4967658) (← links)