Pages that link to "Item:Q3612974"
From MaRDI portal
The following pages link to Approximately Bisimilar Finite Abstractions of Stable Linear Systems (Q3612974):
Displayed 6 items.
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Bisimilar Finite Abstractions of Interconnected Systems (Q3523133) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)