scientific article; zbMATH DE number 7559488

DOI10.4230/LIPICS.CONCUR.2020.32MaRDI QIDQ5089299FDOQ5089299

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

Title of this publication is not available (Why is that?)

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

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

Cited In (1)

• 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)