Pages that link to "Item:Q5281829"
From MaRDI portal
The following pages link to Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence (Q5281829):
Displaying 14 items.
- Development of concurrent structural decentralised discrete event system using bisimulation concept (Q330298) (← links)
- Bisimilarity enforcing supervisory control for deterministic specifications (Q463845) (← links)
- Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm'' [automatica 47 (2011) 782-788] (Q463849) (← links)
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence (Q714871) (← links)
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems (Q1729092) (← links)
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- Fault-tolerant cooperative tasking for multi-agent systems (Q3119159) (← links)
- Model matching of switched asynchronous sequential machines via matrix approach (Q5197948) (← links)
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← 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)
