Pages that link to "Item:Q816696"
From MaRDI portal
The following pages link to Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696):
Displaying 7 items.
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
- Supervisory control of state-tree structures with partial observation (Q2200558) (← links)
- Supervisory control of modular systems with global specification languages (Q2440703) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence (Q2828481) (← links)
- Coinduction in control of partially observed discrete-event systems (Q2843726) (← links)
- Supervisory Control with Partial Observations (Q5496922) (← links)