Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
type: Item
instance of: scholarly article
title: Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
zbMATH Open document ID: 1341.68031
author: Pierre Roux
author: Pierre-Loïc Garoche
published in: Formal Methods in System Design
publication date: 2015-10-30T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 65K10
Mathematics Subject Classification ID: 93D05
zbMATH DE Number: 6502611
zbMATH Keywords: policy iterations
zbMATH Keywords: abstract interpretation
zbMATH Keywords: static analysis
zbMATH Keywords: quadratic templates
zbMATH Keywords: ellipsoids
zbMATH Keywords: Lyapunov functions
zbMATH Keywords: widening
zbMATH Keywords: controllers
describes a project that uses: Coq
describes a project that uses: mctoolbox
describes a project that uses: Aspic
describes a project that uses: Flocq
MaRDI profile type: Publication
full work available at URL: s10703-015-0230-7
OpenAlex ID: W250118690
cites work: Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
cites work: Acceleration of the abstract fixpoint computation in numerical program analysis
cites work: Linear Matrix Inequalities in System and Control Theory
cites work: Q4821526
cites work: Computer Aided Verification
cites work: Systematic design of program transformation frameworks by abstract interpretation
cites work: Abstract Interpretation Frameworks
cites work: Programming Languages and Systems
cites work: Abstract interpretation of mobile systems
cites work: Static Analysis by Policy Iteration on Relational Domains
cites work: Precise Fixpoint Computation Through Strategy Iteration
cites work: Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely
cites work: Abstract interpretation meets convex optimization
cites work: Static Analysis of Finite Precision Computations
cites work: Q5440982
cites work: Q4864704
cites work: Probleme General de la Stabilite du Mouvement. (AM-17)
cites work: Hybrid Systems: Computation and Control
cites work: Integrating Policy Iterations in Abstract Interpreters
cites work: A generic ellipsoid abstract domain for linear time invariant systems
cites work: Verification of positive definiteness
cites work: Verification methods: rigorous results using floating-point arithmetic
cites work: Semidefinite Programming
DOI: 10.1007/S10703-015-0230-7
description: scientific article; zbMATH DE number 6502611