Deciding stability and mortality of piecewise affine dynamical systems
Texte intégral
(2) Laboratoire de l’Informatique du Parall´elisme ´ Ecole Normale Sup´erieure de Lyon Unit´e Mixte de Recherche CNRS-INRIA-ENS LYON no 8512. SPI.
(3)
(4) Æ
(5)
(6)
(7) . . .
(8) . ´ Ecole Normale Sup´erieure de Lyon 46 All´ee d’Italie, 69364 Lyon Cedex 07, France T´el´ephone : +33(0)4.72.72.80.37 T´el´ecopieur : +33(0)4.72.72.80.80 Adresse e´ lectronique :
(9).
(10)
(11)
(12) Æ
(13)
(14)
(15) . .
(16)
(17) . ! Æ " #
(18)
(19) $ ""
(20) " %
(21) .
(22) ".
(23) . & Æ .
(24) ". ' ( ( ( ( ' ( ( . ) . ' ) ( ! ( Æ *" & ( +( ' . ( ( * + ( ) " , ( ( . . ( . ( ) * . - ( . ". . #) ' ) Æ *. ) ( * )
(25) ( ( ( . ( ".
(26)
(27)
(28) Æ
(29)
(30)
(31) ! " .
(32)
(33)
(34)
(35) Æ
(36)
(37)
(38)
(39) .
(40)
(41)
(42) Æ .
(43)
(44)
(45) %
(46) .
(47) .
(48) / 0
(49) . Ê Ê . Æ
(50)
(51) 1 "
(52)
(53) %
(54) 2
(55)
(56) 3 4 . 2" %
(57) . #
(58) 5. .
(59)
(60) !
(61) "#$ %"" &'(&)*&+&',,-.
(62) " $ #+&)/,,,-
(63) # " #0#1 )/''23! 4 5. 6 4 7 (2. &3''' 7. 8 9 : !! ;.
(64) . 3/ 4 < . 0&/)(/3
(65) = '2. 08 9 !>:&
(66) !? ;.
(67) . 3/ 4 < . 0&/)(/3
(68) = '2. 08 9 !:&
(69) !? % ? . 6
(70) ? ?.
(71) . " )32*'. 6"8 9 :!
(72) ! %. . . " '*,(). 6"8 9 @ : ! .
(73) 6
(74)
(75) 1
(76)
(77) " 7 8
(78)
(79) 3 #
(80) ' " 9
(81)
(82)
(83) '
(84) 6 Æ " 7 $
(85)
(86)
(87) . Æ %
(88) "" :; :<;" 7
(89)
(90) !
(91) +. " 7
(92)
(93) .
(94)
(95)
(96) .
(97)
(98)
(99)
(100)
(101) " %
(102)
(103) =
(104)
(105)
(106) " 7
(107) .
(108) !
(109) . +. " %
(110) $ ' # :>;. 5 %
(111) .
(112) / 0 /
(113)
(114) . Ê
(115) . Ê : ; ! . 0 0 0 " #
(116)
(117)
(118) . Æ .
(119) " %
(120)
(121)
(122) "
(123)
(124) . Ê Ê . "
(125) Æ . "
(126) Æ
(127) ? :; :8; * :2; * " # *
(128) . :; :<; :>; :@; :8;". . . . .
(129) . 7
(130) '
(131)
(132)
(133)
(134) Ê .
(135)
(136) Ê ". .
(137) . .
(138)
(139)
(140)
(141)
(142)
(143)
(144)
(145)
(146) 0
(147)
(148)
(149)
(150)
(151)
(152)
(153) . . . . 0 . 2. . .
(154)
(155)
(156)
(157)
(158) .
(159)
(160)
(161)
(162) .
(163)
(164) 0
(165)
(166)
(167)
(168) . 0
(169)
(170)
(171) . . .
(172) . 3 .
(173)
(174) " 3 . :<;
(175) .
(176) A B " * !
(177) Æ " & !
(178) . 0. .
(179)
(180) . .
(181) *
(182) Ê
(183) " ,
(184) C Ê 0 " , É É " D
(185) 0 C . / 0 C ! !
(186) " %
(187) 0 2 C " " C 0 0
(188) 0 " 3
(189)
(190)
(191) Æ
(192) C . . . . . . É. .C . C.. É. . . . . /
(193) . .
(194). . ". 9
(195)
(196) Æ . Æ ". .
(197)
(198)
(199)
(200) Æ . 7
(201) .
(202) Æ " %
(203) . !
(204)
(205) 2
(206)
(207)
(208) Æ 2 .
(209)
(210)
(211)
(212) Æ ".
(213) #
(214)
(215) .
(216)
(217)
(218)
(219) ! @.
(220) . . 0 2
(221) " 7 ! " &
(222)
(223)
(224) '
(225) .
(226)
(227) . . 0 " %
(228)
(229)
(230) .
(231). . : ;. . .
(232)
(233) .
(234)
(235)
(236)
(237)
(238) !
(239)
(240)
(241) !"
(242)
(243) " D
(244)
(245) / " %
(246) !
(247) .
(248) =
(249) :; ' " %
(250)
(251)
(252)
(253)
(254)
(255)
(256)
(257) " 7 !
(258)
(259)
(260) !
(261)
(262) " 3 !
(263)
(264)
(265) . " %
(266) . .
(267)
(268)
(269) !
(270)
(271)
(272)
(273)
(274)
(275) " E*
(276) .
(277) !
(278)
(279) .
(280)
(281)
(282)
(283) !
(284) " %
(285) !
(286) # . 0 Æ "
(287) . . # 0
(288) .
(289)
(290)
(291) !
(292) .
(293)
(294) ! "
(295)
(296)
(297) :>;
(298)
(299) 2
(300) ". . .
(301).
(302)
(303)
(304)
(305)
(306)
(307)
(308) !
(309)
(310)
(311)
(312)
(313)
(314)
(315)
(316)
(317)
(318) 0 2. .. %
(319)
(320) .
(321)
(322) ? :;" F
(323) $
(324)
(325) % % % 0 % ! $ " 7 $
(326)
(327) :% % ;" 8.
(328) %
(329)
(330) !
(331)
(332) =
(333) $ / 2 &
(334)
(335) $
(336) . ! $
(337) " %
(338)
(339) $
(340) % " E
(341)
(342) $ . % * '
(343) = 2 * & " 3
(344)
(345) . % " %
(346)
(347)
(348)
(349)
(350) $ " %
(351) .
(352)
(353)
(354) $
(355)
(356) ! .
(357) + .
(358) &
(359)
(360)
(361) $ & ' " 7 & 0
(362) % " %
(363)
(364)
(365)
(366) $ :% % ;
(367) * $ ? :% /
(368) % ; :% / 2
(369) % ; :% ' / 2 !" % ; :% ( % ;. .
(370) . ' ( "
(371) $
(372) . ! $
(373) ". . . 9
(374) " 7 $
(375) . !
(376)
(377) ! ) % . ) "
(378) ) %
(379)
(380) $ 2 * . $ % % " %
(381) $
(382) . . ! $
(383) % ". . 3.
(384) $
(385) %
(386)
(387)
(388)
(389) "
(390)
(391) $
(392) . ! " , 0 ) * % ! $ " %
(393) &
(394) * . $ " 7
(395)
(396)
(397) *
(398)
(399) $
(400) &
(401) ! " 7
(402)
(403)
(404) $
(405) & " 3 Æ %
(406) & .
(407)
(408) /
(409)
(410) $
(411)
(412) . $ % " 7
(413)
(414)
(415) " , . $
(416) "
(417) $ + '
(418)
(419) $
(420) . ! $ " %
(421)
(422) $
(423) + $
(424) . " %
(425)
(426) 0 2½ @¾ ¿ ,
(427) ,
(428) /
(429) " 7
(430)
(431) , " %
(432) . $
(433)
(434)
(435)
(436) ' " %
(437) ' ,
(438) ' G
(439)
(440) $
(441)
(442)
(443) $ " D
(444)
(445) .
(446) 2
(447) ". ¾.
(448)
(449)
(450)
(451)
(452) Æ
(453) 7
(454) %
(455)
(456) !
(457) +. : H 8 H 2;" # .
(458) .
(459)
(460) Ê .
(461)
(462) ! * * Ê ". . .
(463) 2
(464)
(465)
(466)
(467) # . .
(468)
(469)
(470)
(471) Æ
(472) " . .
(473) - .
(474) . . . . . . 0 . 0 :
(475) : : : - . -
(476) !
(477) # : .2:
(478) " 0 . .
(479)
(480) ". . . . . . . . H.
(481)
(482) . - 0 - " . . . . ! ! - " %
(483) . .
(484).
(485) ' ! * * %
(486)
(487) : .2
(488) ½ .2
(489) ½ :"
(490) - 0 ' % : . 2 : .2: % : .2:" %
(491) Æ " Æ
(492) * /
(493) :% / 0 % / 0 /.2: :1 1 /.2:
(494) %
(495) 0 1 .2 " I ! -
(496) * ! %
(497) .
(498) ' !
(499) 0 1 " %
(500) * %
(501)
(502)
(503)
(504) ! - / " 7
(505) * : .2:
(506)
(507) ! # " 0 " 7
(508) * " D / $ " 0
(509) 0 % 0 % " E
(510) . 2
(511) .2 .
(512) " 7
(513)
(514) " .
(515) ! $.
(516) ". . . . . . . . .2
(517) ¾ . . ¾ :. . . . . . . . . ¾. .
(518)
(519)
(520)
(521)
(522)
(523) .
(524)
(525)
(526)
(527)
(528)
(529)
(530)
(531)
(532)
(533)
(534)
(535) Æ
(536) . # $ %
(537) " . Ê.
(538)
(539) . " &. ' ( %
(540) " ) * %
(541) " . " . Ê. "
(542)
(543) &. "
(544) &. .. !
(545)
(546)
(547) 2
(548) " 3. 2
(549) # " , "
(550) * Ê " , . " 0 "
(551)
(552) #
(553) ! = "
(554) 1 . " " =
(555) * . ' 0 "
(556) 0 " 3. !
(557)
(558) 1 * " # " G . " JD
(559) ,
(560)
(561) ' 0 - ' . ! # " JD
(562) 0 " F!
(563) " F . # .
(564) * ! ' !
(565) 0 0 " I .
(566) . . . .
(567). .
(568). .
(569). <.
(570) . ,
(571) * .
(572)
(573) - 0 "
(574)
(575) 1 0 " " 7
(576)
(577) - 0 0
(578) 0 , " %
(579) 2 @ " 9
(580)
(581) 1 "
(582) : .2: " 9
(583)
(584)
(585) 1 " ! 0
(586) !* " " %
(587) " ' ".
(588). .
(589). . ¾. !. " 7
(590)
(591)
(592) Æ " . Ê Ê
(593) 2". . 2" $
(594) !* " @" 3
(595) !* " "
(596) Æ " . Ê Ê Ê
(597) 0 "
(598) !* " %
(599) $ 0 2 .
(600) > ? :;" %
(601)
(602) 0
(603)
(604) " 7
(605)
(606) 0
(607)
(608) ". . .
(609) . "
(610) . Ê. Ê
(611)
(612)
(613)
(614)
(615)
(616)
(617) !
(618) " .
(619)
(620) . +
(621)
(622)
(623)
(624) . 0 . 2
(625)
(626)
(627)
(628) . .
(629) . . !
(630) " #
(631) . " D
(632)
(633)
(634) * . 2
(635)
(636) " 7
(637) 3 3 3 2
(638)
(639) '
(640)
(641) " %
(642)
(643) * . 3 2
(644)
(645) 3 3 " K
(646) * . 4 2
(647)
(648) 4 0 4
(649)
(650) . . . >.
(651) " %
(652) .
(653)
(654) 2 " #
(655)
(656)
(657)
(658) 2 " %
(659)
(660)
(661)
(662) " .
(663)
(664)
(665)
(666) " D 2 ! ( 0 4 " # 0
(667) ( 2 "
(668)
(669) 0 :( ; :( " 7 4
(670) ( 4 4 " 7 4
(671) ( 4 4 " 3
(672)
(673) ! ( 4
(674) 3 3 : ;" %
(675) 4 0 3 3
(676)
(677)
(678)
(679) " %
(680)
(681)
(682)
(683)
(684) 2
(685) " %
(686)
(687) '
(688)
(689) " 7
(690)
(691) . G
(692) " I
(693)
(694) '
(695)
(696) " L G " D
(697)
(698) '
(699)
(700) *
(701)
(702) " %
(703)
(704) . " %
(705)
(706) '
(707) ! ". . . . . . . . . . . . . . . ¾. 3
(708) %
(709) @" D
(710) .
(711) .
(712) Æ . ! '
(713) Æ " "
(714) .
(715) Æ
(716) " 3 G . A! B Æ "" .
(717) Æ $
(718) " M G .
(719) Æ ""
(720) ". #
(721) . . 5. 5
(722)
(723)
(724)
(725) Æ
(726) .
(727)
(728) 5
(729)
(730) Ê
(731) Ê
(732)
(733) .
(734)
(735) . . . D
(736)
(737) 5 0 Ê Æ
(738) %
(739) @
(740)
(741) .
(742) " D
(743)
(744) 5
(745) : ;
(746) %
(747) @
(748) " 3 *
(749) .
(750) : ; "" 0 2 0
(751) *
(752)
(753) ". ¾.
(754) .
(755) ' = " D
(756) . : ; : ; ! . 0 2 .2 0 .2 "
(757)
(758)
(759)
(760) Æ ". . . :; 3 " F" F " L
(761) %" 3" L G 4"L" L N" 3" 9 " # $ #" O " %
(762)
(763)
(764)
(765)
(766) ,
(767) *
(768)
(769) @@8". "$. :2; 3 3" 9" 6 3" 4 "
(770)
(771)
(772)
(773) ,
(774) *
(775)
(776) @PHH". "$. :@; I Q" &" " " % $ >" 9 *
(777) . . , F L # O" O #" L E 8HP> # Q L " :8; I Q" &" " " % $ " F *
(778) ( ". "% ". :; I Q" &" " " % $ >" # * . " :H; I G 9" 6" F H" 9
(779)
(780) 8<8". &$. :<; L G %" 4" R $ 3" 4 4" Q "
(781) +
(782) %
(783) '- (,$ *
(784)
(785) ," :>; L 4" HH"
(786)
(787)
(788)
(789)
(790) %
(791) # , 22@8". . :; L " E" " &" K H" +
(792)
(793)
(794) 3 " :; L L" <" 9 4 " EFF I. F&". .
(795) :; R 4" 6" F 6" MG 8" F
(796)
(797) ,
(798) *
(799)
(800) @2>". ". :2; R 4" H" 3 $
(801)
(802) ,
(803) *
(804)
(805) 8<@8>". &$. :@; 6 $ 6" H<" , +
(806)
(807)
(808) 4 L" :8; 6 F" " K K & # % .
(809)
(810)
(811)
(812) 2 2@8P2@<". &'. :; # L" %" E" &" # " %
(813) (
(814) $
(815)
(816)
(817) <<>". '. :H; # L" E" # " 9
(818) / , * * @2P" :<; # E" " $
(819)
(820) # O$" :>; # E" " D . * % 0111 ,
(821)
(822)
(823) 2
(824) , 9 2HP22" :; # E" H" 7 . 3
(825) $ 3 *
(826) 000" 4
(827) . , " 3 %" L G E"&" # " # 8@HP88>". .
(828)
Documents relatifs
In this paper, we propose two stability certificates that are fast to compute and robust when the first, or second derivatives of the system dynamics are bounded.. Associated with
Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt -
In view of all this, one of the aims of this paper is to review some concepts and procedures concerning observability in the context of nonlinear dynamics. It will be useful to see
[12] J. Gaubert: A policy iteration algorithm for zero sum stochastic games with mean payoff C.R.A.S. Sanchez: Phase transition in two dimensional traffic-flow models Physical Review
The focus of this paper is the synthesis of suboptimal state feedback controllers for continuous-time optimal control problems (OCP) with piecewise-affine (PWA) dynam- ics and
filled with the fluid with a variable rate. This variable rate represents the rate at which the data source sends its data to the destination. The fluid flows out of the bucket at
One can claim that, the most complete result so far on, for instance, stability of piecewise linear systems has turned out to be on the very special case of two-state
Based on this setup, we then formulate conditions for stability of discrete-time piecewise systems using piecewise quadratic Lyapunov functions in terms of linear matrix