The Power of Hybrid Acceleration

DOI10.1007/11817963_40MaRDI QIDQ5756730zbMATH OpenOpenAlexFDO

Authors B. Boigelot, Frédéric Herbreteau

Publication date 5 September 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11817963_40

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Acceleration of affine hybrid transformations
• Hybrid acceleration using real vector automata (extended abstract)
• The algorithmic analysis of hybrid systems
• scientific article; zbMATH DE number 1263213
• Reachability Problems for Hybrid Automata

Cited in

(12)

• Don't care words with an application to the automata-based approach for real addition
• Flat Petri nets (invited talk)
• scientific article; zbMATH DE number 6351503 (Why is no real title available?)
• Fair termination for parameterized probabilistic concurrent systems
• Acceleration of affine hybrid transformations
• Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
• Convex Hull of Arithmetic Automata
• Symbolic reachability analysis of multirate hybrid systems
• Applying abstract acceleration to (co-)reachability analysis of reactive programs
• Tools and Algorithms for the Construction and Analysis of Systems
• Anonymized reachability of hybrid automata networks
• Hybrid acceleration using real vector automata (extended abstract)

Describes a project that uses

Uses Software

• LASH
• FAST

This page was built for publication: The Power of Hybrid Acceleration

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