Reachability Analysis of Discrete-Time Systems With Disturbances
نویسندگان
چکیده
منابع مشابه
Reachability computations for constrained discrete-time systems with state- and input-dependent disturbances
This paper presents new results that permit the computation of the set of states that can be robustly steered, using state feedback, to a given target set in a finite number of steps. It is assumed that the system is discrete-time, nonlinear, time-invariant and subject to mixed constraints on the state and input. A persistent disturbance, dependent on the current state and input, acts on the sy...
متن کاملModeling, Control, and Reachability Analysis of Discrete-Time Hybrid Systems
These notes describe a computational framework for modeling, controlling, and analyzing hybrid systems in discrete-time. We describe three classes of hybrid models in detail: discrete hybrid automata (DHA), piecewise affine (PWA) systems, and mixed logical dynamical (MLD) systems. We show the relations among such model classes and other existing model paradigms, such as (extended) linear comple...
متن کاملReachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems
A model for discrete time stochastic hybrid systems whose evolution can be influenced by some control input is proposed in this paper. With reference to the introduced class of systems, a methodology for probabilistic reachability analysis is developed that is relevant to safety verification. This methodology is based on the interpretation of the safety verification problem as an optimal contro...
متن کاملOptimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملA converse Lyapunov theorem for discrete-time systems with disturbances
This paper presents a converse Lyapunov theorem for discrete-time systems with disturbances taking values in compact sets. Among several new stability results, it is shown that a smooth Lyapunov function exists for a family of time-varying discrete systems if these systems are robustly globally asymptotically stable. c © 2002 Elsevier Science B.V. All rights reserved.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2006
ISSN: 0018-9286
DOI: 10.1109/tac.2006.872835