Pages that link to "Item:Q1004092"
From MaRDI portal
The following pages link to Approximate equivalence and synchronization of metric transition systems (Q1004092):
Displaying 8 items.
- Constructing simulation relations for IDO systems affine in inputs and disturbances (Q495693) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Approximate analyzing of labeled transition systems (Q1667079) (← links)
- The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
- Passivity-based analysis of sampled and quantized control implementations (Q2207198) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- Automata, Languages and Programming (Q5466453) (← links)