scientific article; zbMATH DE number 1794361
From MaRDI portal
Publication:4552457
zbMath0991.93008MaRDI QIDQ4552457
Volker Weispfenning, Hirokazu Anai
Publication date: 3 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2034/20340063
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (15)
Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) ⋮ Positive root isolation for poly-powers by exclusion and differentiation ⋮ Characterization and computation of control invariant sets for linear impulsive control systems ⋮ Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems ⋮ Variant quantifier elimination ⋮ Computing Differential Invariants of Hybrid Systems as Fixedpoints ⋮ Open weak CAD and its applications ⋮ Timed discrete event control of parallel production lines with continuous outputs ⋮ Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination ⋮ Reachability computation for polynomial dynamical systems ⋮ Unnamed Item ⋮ Tightened reachability constraints for the verification of linear hybrid systems ⋮ Computing differential invariants of hybrid systems as fixed points ⋮ Differential dynamic logic for hybrid systems ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
Uses Software
This page was built for publication:
