Pages that link to "Item:Q939013"

The following pages link to Approximate simulation relations for hybrid systems (Q939013):

Displaying 27 items.

• Approximate bisimulation and optimization of software programs based on symbolic-numeric computation (Q459934) (← links)
• A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
• Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
• Stabilization of finite automata with application to hybrid systems control (Q763412) (← links)
• Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
• Generic asymptotic error estimates for the numerical simulation of hybrid systems (Q924097) (← links)
• Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
• A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata (Q1622234) (← links)
• Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
• Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems (Q1790657) (← links)
• Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
• Bisimulations for neural network reduction (Q2152656) (← links)
• Approximate predictability of pseudo-metric systems (Q2178224) (← links)
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
• Taylor approximation for hybrid systems (Q2461793) (← links)
• Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
• Proving approximate implementations for probabilistic I/O automata (Q2864525) (← links)
• Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
• Crossing the Bridge between Similar Games (Q3172850) (← links)
• (Q3775010) (← links)
• Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
• (Q5028468) (← links)
• Hybrid Systems: Computation and Control (Q5703940) (← links)
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)
• Model reduction of switched affine systems (Q5890723) (← links)
• Balanced truncation for linear switched systems (Q5916080) (← links)
• Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)