Computing the viability kernel using maximal reachable sets

DOI10.1145/2185632.2185644MaRDI QIDQ2986752zbMATHOpenAlexDBLPWikidataFDO

Authors

Publication date 16 May 2017

Published in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

scalabilityreachabilityviabilitysafety-critical systemsset-theoretic methodscontrolled-invariance

Mathematics Subject Classification ID

Attainable sets, reachability (93B03)

Recommendations

• Viability Kernels and Control Sets
• The calculation of discriminating kernel based on viability kernel and reachability
• Computing the viability kernel in large state dimension
• Improving validated computation of viability kernels
• The computation of the viability kernel for switched systems
• Approximating viability kernel for control systems
• The viability kernel algorithm for computing value functions of infinite horizon optimal control problems
• Approximating Viability Kernels of Non-linear Systems
• Approximation of the viability kernel
• Observability by using viability kernels

Cited in

(22)

• Viable set computation for hybrid systems
• Viability Kernels and Control Sets
• Lagrangian methods for approximating the viability kernel in high-dimensional systems
• Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
• Approximating Viability Kernels of Non-linear Systems
• On the computation of the robust viability kernel for switched systems
• A \(kd\)-tree algorithm to discover the boundary of a black box hypervolume. Or how to peel potatoes by recursively cutting them in halves
• Determining the viability of an unbounded polyhedron for a switched system
• Shadowing and the viability kernel algorithm
• Safety preserving control synthesis for sampled data systems
• Optimal semicomputable approximations to reachable and invariant sets
• Interval computing of the viability kernel with application to robotic collision avoidance
• Bracketing backward reach sets of a dynamical system
• Computing the viability kernel in large state dimension
• Approximating viability kernel for control systems
• The computation of the viability kernel for switched systems
• Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable
• Improving validated computation of viability kernels
• OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations
• Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems
• Computation of viability kernels: a case study of by-catch fisheries
• Model-invariant viability kernel approximation

This page was built for publication: Computing the viability kernel using maximal reachable sets

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