Semantics and Computability of the Evolution of Hybrid Systems
From MaRDI portal
Publication:3021278
DOI10.1137/080716955zbMath1217.93024OpenAlexW2078795114MaRDI QIDQ3021278
Publication date: 22 July 2011
Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/13607
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Attainable sets, reachability (93B03) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items (7)
Computation with perturbed dynamical systems ⋮ Solutions and reachable sets of hybrid dynamical systems: semicontinuous dependence on initial conditions, time, and perturbations ⋮ Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis ⋮ A note on pretzelosity TMD parton distribution ⋮ Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> ⋮ Safety verification of non-linear hybrid systems is quasi-decidable ⋮ Computable analysis with applications to dynamic systems
Uses Software
This page was built for publication: Semantics and Computability of the Evolution of Hybrid Systems
