Pages that link to "Item:Q5273951"

The following pages link to Equivalence of Dynamical Systems by Bisimulation (Q5273951):

Displaying 36 items.

• What can the canonical controller in principle tell us? (Q411695) (← links)
• Constructing simulation relations for IDO systems affine in inputs and disturbances (Q495693) (← links)
• Controllability properties of nonlinear systems induced by lifting (Q498961) (← links)
• Reorientation of linear switched systems using state feedback (Q522805) (← links)
• Compositional analysis for linear systems (Q609530) (← links)
• Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
• Approximate reduction of dynamic systems (Q932129) (← links)
• Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
• Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
• Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
• A subspace approach to linear dynamical systems (Q1947119) (← links)
• Approximate abstractions of control systems with an application to aggregation (Q2207200) (← links)
• Hierarchical analysis of large-scale control systems via vector simulation function (Q2407907) (← links)
• Nonlinear norm-observability and simulation of control systems (Q2410466) (← links)
• Abstraction and control by interconnection of linear systems: a geometric approach (Q2410471) (← links)
• Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
• Local factorization of trajectory lifting morphisms for single-input affine control systems (Q2433416) (← links)
• Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
• Controller synthesis for bisimulation equivalence (Q2519735) (← links)
• Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
• Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)
• Abstraction-based control synthesis using partial information (Q2667508) (← links)
• Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
• Differential Bisimulation for a Markovian Process Algebra (Q2946344) (← links)
• A complexity reduction approach to detectability of switching systems (Q3058332) (← links)
• Bisimulation equivalence of differential-algebraic systems (Q4568011) (← links)
• Bisimulations of Boolean Control Networks (Q4602534) (← links)
• Input-Output-to-State Stability of Systems Related through Simulation Relations (Q4965186) (← links)
• Bisimulations of Probabilistic Boolean Networks (Q5103921) (← links)
• (Q5134670) (← links)
• Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems (Q5238255) (← links)
• Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems (Q5254883) (← links)
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
• Equivalence of switching linear systems by bisimulation (Q5758269) (← links)
• Reduction and Analysis of Boolean Control Networks by Bisimulation (Q5858102) (← links)
• Symbolic computation of differential equivalences (Q5920213) (← links)