Pages that link to "Item:Q534301"
From MaRDI portal
The following pages link to Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301):
Displaying 11 items.
- 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)
- Reply to ``comments on 'bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [automatica 43 (2007), 1363-1368]'' (Q463850) (← links)
- Bisimulation, the supervisory control problem and strong model matching for finite state machines (Q1273548) (← links)
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364) (← links)
- On the stabilization of nondeterministic finite automata via static output feedback (Q2284307) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence (Q2828481) (← links)
- Cooperative Tasking for Deterministic Specification Automata (Q2960122) (← links)
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence (Q5281829) (← links)
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications (Q6103006) (← links)
