Jan 5, 2016 · This paper addresses this challenge by presenting a convex optimization method to efficiently compute the set of configurations of a polynomial ...
A convex optimization method to efficiently compute the set of configurations of a polynomial hybrid dynamical system that are able to safely reach a user ...
Vasudevan, “Convex computation of the reachable set for hybrid systems with parametric uncertainty,” arxiv: 1601.01019. [16] G. B. Folland, Real analysis ...
Convex Computation of the Reachable Set for Hybrid Systems ...
www.researchgate.net › ... › Convexity
This paper addresses this challenge by presenting a convex optimization method to efficiently compute the set of configurations of a polynomial hybrid dynamical ...
As a result of this characterization, the set of configurations that are able to reach a target set despite parametric uncertainty, called the uncertain ...
Jan 5, 2016 · parametric uncertainty; Section 3 describes how the backwards reachable set under parametric uncertainty is the solution to an infinite ...
Bibliographic details on Convex computation of the reachable set for hybrid systems with parametric uncertainty.
A convex optimization method to compute the set of configurations of a polynomial dynamical system that are able to safely reach a user defined target set ...
Abstract As an important approach to analyzing safety of a dynamic system, this paper considers the task of computing overapproximations of reachable sets, ...
Accurately modeling and verifying the correct operation of systems interacting in dynamic environments is challenging. By leveraging parametric uncertainty ...