Pages that link to "Item:Q5758269"
From MaRDI portal
The following pages link to Equivalence of switching linear systems by bisimulation (Q5758269):
Displayed 9 items.
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- Stabilizability of linear switching systems (Q534369) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- A structural approach to detectability for a class of hybrid systems (Q1023135) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- A complexity reduction approach to detectability of switching systems (Q3058332) (← links)
- Bisimulations of Probabilistic Boolean Networks (Q5103921) (← links)
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
- Reduction and Analysis of Boolean Control Networks by Bisimulation (Q5858102) (← links)