scientific article; zbMATH DE number 7559488

DOI10.4230/LIPICS.CONCUR.2020.32MaRDI QIDQ5089299FDO

Authors 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

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

• scientific article; zbMATH DE number 4071018 (Why is no real title available?)
• scientific article; zbMATH DE number 1794361 (Why is no real title available?)
• Automatic generation of polynomial invariants of bounded degree using abstract interpretation
• Automatic invariant generation for hybrid systems using ideal fixed points
• Constructing invariants for hybrid systems
• Generating all polynomial invariants in simple loops
• Hybrid Systems: Computation and Control
• Polynomial Invariants for Affine Programs
• Quantum automata and algebraic groups
• Solvability of Matrix-Exponential Equations
• Switching in systems and control
• Symbolic reachability computation for families of linear vector fields
• When is a formula a loop invariant?

Cited in

(2)

• Algebraic Invariants for Linear Hybrid Automata
• Symbolic analysis of linear hybrid automata -- 25 years later

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089299)