In this paper, the inner approximation of maximal output admissible set and the outer approximation of reachable set are established. The main purpose is to show that there exists the inclusion between the aforementioned positively invariant sets of linear continuous-time system and its forward Euler...
First, we introduce the periodic-invariant maximal output admissible sets for LP systems. We extend the earlier results in the literature to Lyapunov stable LP systems with output constraints, which arise in RG applications. We show that, while the invariant sets for these systems may not be ...
resulting output function (8) satisfies (9). The set of all such initial conditions is the maximal output admissible set X M ∞ . We proof that under hypothesis on f, the maximal output admissible set is determined by a finite number of functional inequalities and leads to algorith- ...
32, 1581 - 1598 Maximal Output Admissible Set and Admissible Perturbations Set For Nonlinear Discrete Systems M. Rachik 1, A.Tridane, M. Lhous 2, O.Idrissi Kacemi, Z.Tridane Universit´e Hassan II-Mohamm´edia Facult´e des Sciences Ben M'sik D´epartement de Math´ematiques,...
(Ck ) k and a constraint set Ω if the resulting delayed output signal with 0 ≤q≤m satisfies the condition yi ω for every integer i≥0.The set of a11 possible such initial conditions is the maximal output admissible set χ((Ai ) i , (Cj ) j , Ω.The properties of χ((Ai )...
rithms, running times must be at least as large as the output size—that is, the number of admissible vertices. Moreover, for some topological algorithms, the procedure that we per- form on each admissible vertex is significantly slower than the enumeration of these vertices ...
A reactive system specification\varphidescribed in LTL specifies a set of valid interactions as\mathcal {L}(\varphi ). Note that a reactive system must decide an output at each step using the history of the interaction up to then. Thus, a reactive system specification given as an LTL formul...
Foot position controlMOA setThis study describes the maximal output admissible (MOA) set simultaneously considering the COG stabilization based on the linear inverted pendulum model and the foot position control. The MOA set computes a feasible region for stabilizing controller and allows us to predict...
This paper addresses a novel computation method of the Maximal Output Admissible (MOA) set for a limit cycle controller and its application to motion transition. By approximately calculating the MOA set via sample point cloud, we can obtain an analytic form of the MOA set even on a nonlinear ...
This paper proposes a novel framework for control strategy switching based on the maximal output admissible (MOA) set, which is a set of initial states that satisfy the constraints. This makes it possible to determine whether the robot might fall down due to a constraint violation. The MOA ...