scientific article; zbMATH DE number 7559488

DOI10.4230/LIPIcs.CONCUR.2020.32MaRDI QIDQ5089299

Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/1902.10452

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hybrid automataalgebraic invariants

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Automatic generation of polynomial invariants of bounded degree using abstract interpretation
• Switching in systems and control
• Quantum automata and algebraic groups
• Generating all polynomial invariants in simple loops
• Constructing invariants for hybrid systems
• When Is a Formula a Loop Invariant?
• Automatic invariant generation for hybrid systems using ideal fixed points
• Solvability of Matrix-Exponential Equations
• Polynomial Invariants for Affine Programs
• Hybrid Systems: Computation and Control
• Symbolic reachability computation for families of linear vector fields

This page was built for publication: