The following pages link to MATISSE (Q18442):
Displaying 29 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Constructing simulation relations for IDO systems affine in inputs and disturbances (Q495693) (← 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)
- 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)
- Approximate reduction of dynamic systems (Q932129) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Hierarchical control system design using approximate simulation (Q1012892) (← 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)
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- Bisimulations for neural network reduction (Q2152656) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Hierarchical analysis of large-scale control systems via vector simulation function (Q2407907) (← links)
- Proving approximate implementations for probabilistic I/O automata (Q2864525) (← links)
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain (Q2960131) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- Crossing the Bridge between Similar Games (Q3172850) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
- Link-Level Aspects (Q4687411) (← links)
- (Q5028468) (← links)
- Model predictive control of directed‐graph constrained systems (Q5174443) (← 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)
- A topological method for finding invariant sets of continuous systems (Q5925511) (← links)
