Pages that link to "Item:Q2467487"
From MaRDI portal
The following pages link to Approximate bisimulation relations for constrained linear systems (Q2467487):
Displaying 18 items.
- MATISSE (Q18442) (← links)
- Approximate bisimulation and optimization of software programs based on symbolic-numeric computation (Q459934) (← links)
- Model-order reduction of ion channel dynamics using approximate bisimulation (Q498915) (← links)
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Approximate reduction of dynamic systems (Q932129) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Hierarchical control system design using approximate simulation (Q1012892) (← links)
- Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
- Bisimulations for neural network reduction (Q2152656) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Hierarchical analysis of large-scale control systems via vector simulation function (Q2407907) (← links)
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain (Q2960131) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
- Model predictive control of directed‐graph constrained systems (Q5174443) (← links)
- A topological method for finding invariant sets of continuous systems (Q5925511) (← links)
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach (Q6104820) (← links)