Pages that link to "Item:Q2566293"

The following pages link to Bisimulation relations for dynamical, control, and hybrid systems (Q2566293):

Displaying 30 items.

• Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
• Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
• A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
• HYPE: hybrid modelling by composition of flows (Q470011) (← links)
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
• Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
• Specifications for decidable hybrid games (Q650914) (← links)
• Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
• Symbolic models for control systems (Q868433) (← links)
• Approximate simulation relations for hybrid systems (Q939013) (← links)
• Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
• Necessary conditions for feedback stabilization and safety (Q2086021) (← links)
• Networks of hybrid open systems (Q2302562) (← links)
• Continuity as a computational effect (Q2374315) (← links)
• Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
• Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence (Q2828481) (← links)
• Differential Bisimulation for a Markovian Process Algebra (Q2946344) (← links)
• A complexity reduction approach to detectability of switching systems (Q3058332) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• Hybrid Automata as Coalgebras (Q3179412) (← links)
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
• Shape versus Timing: Linear Responses of a Limit Cycle with Hard Boundaries under Instantaneous and Static Perturbation (Q5004088) (← links)
• Conley's Fundamental Theorem for a Class of Hybrid Systems (Q5004524) (← links)
• Formal composition of hybrid systems (Q5129226) (← links)
• Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems (Q5254883) (← links)
• Smooth coalgebra: testing vector analysis (Q5361142) (← links)
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
• Quantifying conformance using the Skorokhod metric (Q5892423) (← links)