Pages that link to "Item:Q2519735"

The following pages link to Controller synthesis for bisimulation equivalence (Q2519735):

Displaying 7 items.

• What can the canonical controller in principle tell us? (Q411695) (← links)
• Bisimilarity enforcing supervisory control for deterministic specifications (Q463845) (← links)
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
• Compositional analysis for linear systems (Q609530) (← links)
• Specifications for decidable hybrid games (Q650914) (← links)
• Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence (Q2828481) (← links)
• Bisimulations of Boolean Control Networks (Q4602534) (← links)