Reachability analysis for timed automata using max-plus algebra
type: Item
instance of: scholarly article
title: Reachability analysis for timed automata using max-plus algebra
zbMATH Open document ID: 1279.68214
author: Qi Lu
author: Michael Madsen
author: Martin Milata
author: Uli Fahrenberg
author: Søren Ravn
author: Kim G. Larsen
published in: The Journal of Logic and Algebraic Programming
publication date: 2012-08-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 15A80
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 6065757
zbMATH Keywords: timed automaton
zbMATH Keywords: real-time model checking
zbMATH Keywords: data structure
zbMATH Keywords: max-plus algebra
zbMATH Keywords: max-plus polyhedron
describes a project that uses: Algorithm 97
describes a project that uses: PPL
describes a project that uses: Octagon
describes a project that uses: Kronos
MaRDI profile type: Publication
full work available at URL: j.jlap.2011.10.004
OpenAlex ID: W2109586922
Wikidata QID: Q114851545
cites work: Reactive Systems
cites work: Inferring Min and Max Invariants Using Max-Plus Polyhedra
cites work: Q3113735
cites work: Q4038702
cites work: A theory of timed automata
cites work: Q4411960
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q4818802
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Generators, extremals and bases of max cones
cites work: Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
cites work: The Minkowski theorem for max-plus convex sets
cites work: Correctness kernels of abstract interpretations
cites work: Symbolic model checking for real-time systems
cites work: Q4939617
cites work: Q4529777
cites work: The octagon abstract domain
cites work: Q4945220
cites work: Static Analysis in Disjunctive Numerical Domains
cites work: Kronos: A verification tool for real-time systems
cites work: Q4140769
DOI: 10.1016/J.JLAP.2011.10.004
description: scientific article; zbMATH DE number 6065757