Pages that link to "Item:Q693690"

The following pages link to Approximate bisimulation: a bridge between computer science and control theory (Q693690):

Displaying 16 items.

• A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
• Constructing simulation relations for IDO systems affine in inputs and disturbances (Q495693) (← 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)
• 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)
• (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)