AUTOMATICA
2002
13 years 4 months ago
2002
This paper investigates the controllability and reachability of switched linear control systems. It is proven that both the controllable and reachable sets are subspaces of the to...
SCL
2008
13 years 4 months ago
2008
The reachable sets of a differential inclusion have nonsmooth topological boundaries in general. The main result of this paper is that under the well
AUTOMATICA
2006
13 years 4 months ago
2006
A robust MPC for constrained nonlinear systems with uncertainties is presented. Outer bounds of the reachable sets of the system are used to predict the evolution of the system un...
AUTOMATICA
2008
13 years 4 months ago
2008
This paper proposes an algorithm for the characterization of reachable sets of states for continuous-time piecewise affine systems. Given a model of the system and a bounded set o...
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
— Given an initial set of a nonlinear system with uncertain parameters and inputs, the set of states that can possibly be reached is computed. The approach is based on local line...
HYBRID
2009
Springer
13 years 11 months ago
2009
Springer
ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, He...