A dynamic algorithm for approximate flow computations

DOI10.1145/1967701.1967722zbMath1362.93019OpenAlexW2155931141MaRDI QIDQ2986721

Mahesh Viswanathan, Pavithra Prabhakar

Publication date: 16 May 2017

Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1967701.1967722

zbMATH Keywords

approximationlinear dynamical systemspost computation

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Attainable sets, reachability (93B03)

Related Items (6)

Verification of Hybrid Systems ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Relating syntactic and semantic perturbations of hybrid automata ⋮ Reachability computation for polynomial dynamical systems ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis

This page was built for publication: A dynamic algorithm for approximate flow computations