Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification

DOI10.1007/978-3-030-31784-3_6zbMath1447.93021OpenAlexW2981997649MaRDI QIDQ3297587

Hussein Sibai, Sayan Mitra, Navid Mokhlesi

Publication date: 20 July 2020

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31784-3_6

zbMATH Keywords

symmetry transformationsequivariant dynamical systems

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Transformations (93B17) Attainable sets, reachability (93B03) Networked control (93B70)

Related Items (2)

Multi-agent Safety Verification Using Symmetry Transformations ⋮ Lie symmetries applied to interval integration

Uses Software

• S-TaLiRo
• HARE
• Breach
• DryVR

Cites Work

• Stable concurrent synchronization in dynamic system networks
• Hybrid automata-based CEGAR for rectangular hybrid systems
• The symmetry perspective. From equilibrium to chaos in phase space and physical space
• \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• Bounded Verification with On-the-Fly Discrepancy Computation
• Patterns of Synchrony in Coupled Cell Networks with Multiple Arrows
• Controlled symmetries and passive walking
• Symmetry and Symmetry-Breaking for a Wave Equation with Feedback
• Symmetry Reduction for Probabilistic Model Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification