Convergent under-approximations of reachable sets and tubes: a piecewise constant approach

DOI10.1016/j.jfranklin.2021.02.015zbMath1464.93006OpenAlexW3132131652WikidataQ114160045 ScholiaQ114160045MaRDI QIDQ2027373

Mohamed Serry

Publication date: 26 May 2021

Published in: Journal of the Franklin Institute (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jfranklin.2021.02.015

zbMATH Keywords

continuous-time linear uncertain systemsfinite-time reachable sets

Mathematics Subject Classification ID

Control/observation systems with incomplete information (93C41) Linear systems in control theory (93C05) Attainable sets, reachability (93B03)

Related Items (1)

A novel unified framework for solving reachability and invariance problems

Uses Software

• CORA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constrained zonotopes: a new tool for set-based estimation and fault detection
• Linear controllability by piecewise constant controls with assigned switching times
• Reachability analysis of linear systems using support functions
• Approximation of the attainable sets of the nonlinear control systems with integral constraint on controls
• Ellipsoidal techniques for reachability analysis: Internal approximation
• Differential equations. Classical to controlled
• Ostrowski and Landau inequalities for Banach space valued functions
• Bounds on the reachable sets of nonlinear control systems
• Approximation of convex sets by polytopes
• Analysis in Banach Spaces
• Driving a linear constant system by a piecewise constant control
• Second-Order Discrete Approximation to Linear Differential Inclusions
• Under-Approximating Backward Reachable Sets by Polytopes
• Reachability of Interior States by Piecewise Constant Controls
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Model Predictive Control of Continuous-Time Nonlinear Systems With Piecewise Constant Control
• Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Reachable sets for linear dynamical systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Convergent under-approximations of reachable sets and tubes: a piecewise constant approach