Pages that link to "Item:Q4682237"
From MaRDI portal
The following pages link to Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems (Q4682237):
Displaying 8 items.
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- Bisimulation relations for dynamical and control systems (Q2842819) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
- Input-Output-to-State Stability of Systems Related through Simulation Relations (Q4965186) (← links)
- Bisimulations of Probabilistic Boolean Networks (Q5103921) (← links)
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence (Q5281829) (← links)
- Reduction and Analysis of Boolean Control Networks by Bisimulation (Q5858102) (← links)