Pages that link to "Item:Q5347940"
From MaRDI portal
The following pages link to Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control (Q5347940):
Displaying 5 items.
- Development of concurrent structural decentralised discrete event system using bisimulation concept (Q330298) (← links)
- Bisimilarity enforcing supervisory control for deterministic specifications (Q463845) (← links)
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364) (← links)
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications (Q6103006) (← links)
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)
