scientific article; zbMATH DE number 1948398
From MaRDI portal
Publication:4411960
zbMath1015.68215MaRDI QIDQ4411960
Elisa Ricci, Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
Publication date: 13 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770213.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
(n)-dimensional polytopes (52B11) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (16)
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Some ways to reduce the space dimension in polyhedra computations ⋮ On finite linear systems containing strict inequalities ⋮ Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis ⋮ Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ Reachability analysis for timed automata using max-plus algebra ⋮ PPLite: zero-overhead encoding of NNC polyhedra ⋮ The two variable per inequality abstract domain ⋮ Generalizing the Template Polyhedral Domain ⋮ Reasoning about synchronization in GALS systems ⋮ A zonotopic framework for functional abstractions ⋮ Analysis of Linear Hybrid Systems in CLP ⋮ Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems ⋮ PPL ⋮ Template polyhedra and bilinear optimization ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
Uses Software
This page was built for publication:
