Pages that link to "Item:Q693690"
From MaRDI portal
The following pages link to Approximate bisimulation: a bridge between computer science and control theory (Q693690):
Displaying 22 items.
- Approximate bisimulation and optimization of software programs based on symbolic-numeric computation (Q459934) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Constructing simulation relations for IDO systems affine in inputs and disturbances (Q495693) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Combinatorial methods for invariance and safety of hybrid systems (Q1716585) (← links)
- Deadlock-free output feedback controller design based on approximately abstracted observers (Q1730325) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications (Q2665343) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain (Q2960131) (← links)
- Hybrid Automata as Coalgebras (Q3179412) (← links)
- (Q4552466) (← links)
- (Q5028468) (← links)
- Relational Differential Dynamic Logic (Q5039509) (← links)
- Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)
- Exact hierarchical reductions of dynamical models via linear transformations (Q6121818) (← links)
- Compatibility of refining and controlling plant automata with bisimulation quotients (Q6174416) (← links)