MATISSE

swMATH6311MaRDI QIDQ18442FDOQ18442

Author name not available (Why is that?)

Described by source

• Approximate bisimulation relations for constrained linear systems

Cited In (29)

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

This page was built for software: MATISSE