This paper presents a method for using set-based approxi-mations to the Peano-Baker series to compute overapproxi-mations of reachable sets for linear systems with uncertain, time-varying parameters and inputs. Alternative represen-tations for sets of uncertain system matrices are considered, including matrix polytopes, matrix zonotopes, and interval matrices. For each representation, the computational ef-ficiency and resulting approximation error for reachable set computations are evaluated analytically and empirically. As an application, reachable sets are computed for a truck with hybrid dynamics due to a gain-scheduled yaw controller. As an alternative to computing reachable sets for the hybrid model, for which switching introduces an a...
International audienceThis paper deals with the set inversion problem X = f −1 (Y) in the case where...
Efficiently handling time-triggered and possibly nondeterministic switches for hybrid systems reacha...
Under-approximations of reachable sets and tubes have been receiving growing research attention due ...
Abstract — For a dynamic system with given initial state set, the reachable state set contains the s...
Abstract As an important approach to analyzing safety of a dynamic system, this paper considers the ...
Abstract. We present a method for the computation of reachable sets of uncertain linear systems. The...
Efficiently handling time-triggered and possibly nondeterministic switches for hybrid systems reacha...
International audienceIn this paper, we show how to compute an over-approximation for the reachable ...
This paper focuses on bound of reachable sets for delayed linear systems with polytopic uncertaintie...
International audienceReachability analysis consists in computing the set of states that are reachab...
Predictive control is a very useful tool in controlling constrained systems, since the constraints c...
The properties of reachable sets for linear dynamical systems for specified control sets are discuss...
International audienceWe address nonlinear reachability computation for uncertain monotone systems, ...
Abstract This work is further focused on analyzing a bound for a reachable set of linear uncertain s...
Special Issue: IFAC World Congress 2008International audienceThis work is concerned with the algorit...
International audienceThis paper deals with the set inversion problem X = f −1 (Y) in the case where...
Efficiently handling time-triggered and possibly nondeterministic switches for hybrid systems reacha...
Under-approximations of reachable sets and tubes have been receiving growing research attention due ...
Abstract — For a dynamic system with given initial state set, the reachable state set contains the s...
Abstract As an important approach to analyzing safety of a dynamic system, this paper considers the ...
Abstract. We present a method for the computation of reachable sets of uncertain linear systems. The...
Efficiently handling time-triggered and possibly nondeterministic switches for hybrid systems reacha...
International audienceIn this paper, we show how to compute an over-approximation for the reachable ...
This paper focuses on bound of reachable sets for delayed linear systems with polytopic uncertaintie...
International audienceReachability analysis consists in computing the set of states that are reachab...
Predictive control is a very useful tool in controlling constrained systems, since the constraints c...
The properties of reachable sets for linear dynamical systems for specified control sets are discuss...
International audienceWe address nonlinear reachability computation for uncertain monotone systems, ...
Abstract This work is further focused on analyzing a bound for a reachable set of linear uncertain s...
Special Issue: IFAC World Congress 2008International audienceThis work is concerned with the algorit...
International audienceThis paper deals with the set inversion problem X = f −1 (Y) in the case where...
Efficiently handling time-triggered and possibly nondeterministic switches for hybrid systems reacha...
Under-approximations of reachable sets and tubes have been receiving growing research attention due ...