Space-time interpolants

DOI10.1007/978-3-319-96145-3_25MaRDI QIDQ6041130zbMATH OpenFDO

Authors Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger

Publication date 26 May 2023

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-96145-3_25

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)

Recommendations

• Space-time radial basis functions
• Spatial interpolants
• Time-variant displacement structure and interpolation problems
• Interpolation in dynamic equations on time scales
• scientific article; zbMATH DE number 1870074
• Space-Time Approximation with Sparse Grids
• Time-variant systems and interpolation
• Interpolation of classical Lorentz spaces
• Space-time phases

Cited in

(8)

• Template-based unbounded time verification of affine hybrid automata
• Flowpipe approximation and clustering in space-time
• Eliminating spurious transitions in reachability with support functions
• Discretizing affine hybrid automata with uncertainty
• scientific article; zbMATH DE number 3848476 (Why is no real title available?)
• A Policy Iteration Technique for Time Elapse over Template Polyhedra
• Hybrid Systems: Computation and Control
• Symbolic analysis of linear hybrid automata -- 25 years later

This page was built for publication: Space-time interpolants

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