MATISSE
From MaRDI portal
Software:18442
No author found.
Related Items (29)
A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ Crossing the Bridge between Similar Games ⋮ Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability ⋮ Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ Event-B refinement for continuous behaviours approximation ⋮ Bisimulations for neural network reduction ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Hierarchical analysis of large-scale control systems via vector simulation function ⋮ Order-reduction abstractions for safety verification of high-dimensional linear systems ⋮ Hierarchical Control of Linear Systems from the Abstraction Feedback Gain ⋮ Bisimulation conversion and verification procedure for goal-based control systems ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Model reduction of switched affine systems ⋮ Unnamed Item ⋮ Approximate reduction of dynamic systems ⋮ Approximate simulation relations for hybrid systems ⋮ Constructing simulation relations for IDO systems affine in inputs and disturbances ⋮ Model-order reduction of ion channel dynamics using approximate bisimulation ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Model predictive control of directed‐graph constrained systems ⋮ Balanced truncation for linear switched systems ⋮ Link-Level Aspects ⋮ A topological method for finding invariant sets of continuous systems ⋮ Hierarchical control system design using approximate simulation ⋮ Stabilization of finite automata with application to hybrid systems control ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties ⋮ Proving Approximate Implementations for Probabilistic I/O Automata
This page was built for software: MATISSE
