与线性混杂自动机等价的状态依赖空间模型.PDFVIP

30 3 2013 3 DOI: 10.7641/CTA.2013.20345 Control Theory Applications Vol. 30 No. 3 Mar. 2013 (1. 3. : : : TP273 ; 1,3?, 1, , 116024; 2. , , ; :A . ;; 2 , , , 116024) . 116024; . , . Equivalent state-dependent models of linear hybrid automata PANG Yan1,3?, LI Wei-liang1, XIA Hao2 (1. School of Aeronautics and Astronautics, Dalian University of Technology, Dalian Liaoning 116024, China; 2. School of Control Science and Engineering, Dalian University of Technology, Dalian Liaoning 116024, China; 3. State Key Laboratory of Structural Analysis for Industrial Equipment, Dalian University of Technology, Dalian Liaoning 116024, China) Abstract: For different purposes, hybrid systems can be modeled differently by a few equivalent models. In this paper the research is focused on describing linear hybrid automata (LHA) with state-dependent space models. The dif?culty of this description lies on that LHA are a class of autonomous non-deterministic models, while state-dependent systems are deterministic models with input. The uncertainty in LHA can be represented by introducing new input variables. In this way, the equivalent state-dependent models can be built up where equivalence means that the two systems generate the same trajectories. Key words: linear hybrid automata; state-dependent models; hybrid systems; model buildings; model equivalence 1 (Introduction) [1–2]. , manufacturing systems, CIMS), (computer integrated , [3] . , . [4]. , .: [5](hybrid automata, HA): , , : 2012?04?11; : 2012?09?03. ? . Tel.: +86 0411 : ; . [6](piecewise af?ne, PWA): . [7](mixed logical dynamical, MLD): . [8](linear complementary, LC): , . [9](extended linear complemen- tary, ELC): . – –– [10] (max-min-plus- scaling, MMPS): 4 MMPS . 1 (? ). (201102036). 340 1 Fig. 1 Translations of some hybrid dynamical models 1 , MLD PWA . , HA . HA , Di Cairano Bemporad (linear hybrid automata, LHA) [11], Pang Grimble PWA [12]. , LHA HA , : , . PWA , [12]: 1) , . 2) ( MLD) , . 3