On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems
نویسنده
چکیده
The paper describes the properties of boundedness and unboundedness of outer polyhedral (parallelepiped-valued) estimates for reachable sets of linear differential systems with stable matrices over the infinite time interval. New results concerning tight estimates are presented.
منابع مشابه
State Estimation for Control Systems with a Multiplicative Uncertainty through Polyhedral Techniques
The paper deals with polyhedral estimates for reachable tubes of differential systems with a multiplicative uncertainty, namely linear systems with set-valued uncertainties in initial states, additive inputs and coefficients of the system. We present nonlinear parametrized systems of ordinary differential equations (ODE) which describe the evolution of the parallelotope-valued estimates for rea...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملOn Unboundedness of Generalized Solution Sets for Interval Linear Systems
The work presents a necessary and sufficient condition for the generalized AE-solution sets to interval linear systems of equations to be unbounded. The criterion requires solvability of one of the totality of 2 linear inequalities constructed from the initial interval system. It is shown that the problem of recognizing the boundedness of AE-solution sets is NP-complete in general.
متن کاملQualitative Properties of Systems of Linear Constraints
Systems of linear constraints are examined from a qualitative point of view. A property is said to be qualitative if it holds for all possible parameter values of certain prefixed sign patterns. In economics, such an approach has been traditionally taken within the perspective of comparative static analysis. However, the results obtained in this area appear somewhat limited in practical applica...
متن کاملForward Completeness, Unboundedness Observability, and their Lyapunov Characterizations
A finite-dimensional continuous-time system is forward complete if solutions exist globally, for positive time. This paper shows that forward completeness can be characterized in a necessary and sufficient manner by means of smooth scalar growth inequalities. Moreover, a version of this fact is also proved for systems with inputs, and a generalization is also provided for systems with outputs a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Reliable Computing
دوره 19 شماره
صفحات -
تاریخ انتشار 2013