Observer synthesis for Linear Hybrid Systems with constrained discrete dynamics

被引:4
作者
Renato Vazquez, C. [1 ]
Gomez-Gutierrez, David [1 ]
Ramirez-Tevino, Antonio [2 ]
机构
[1] Tecnol Monterrey, Campus GDA,Av Ramon Corona 2514, Zapopan 45201, Jalisco, Mexico
[2] CINVESTAV, Unidad Guadalajara, Av Bosque 1145, Zapopan, Jalisco, Mexico
关键词
Hybrid systems; Observers; Petri nets; URBAN TRAFFIC CONTROL; CONTINUOUS-TIME; SWITCHING SYSTEMS; PETRI NETS; OBSERVABILITY; MODEL; DESIGN;
D O I
10.1016/j.nahs.2017.06.006
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A Linear Hybrid System (LHS) is defined as a collection of Linear Systems (LS's) and a switching signal determining, at each time, the LS structure that rules the behaviour of the LHS. These systems are being used to successfully represent different kinds of engineering systems. This work proposes an observer scheme for Linear Hybrid Systems (LHS's) where the switching signal is unknown but it can be represented by a discrete event machine like automata, Petri nets, etc. The proposed observer structure takes advantage of the general observability characterization presented in Vazquez et al. (2015), where neither the observability of the discrete event machine nor the observabilities of the linear systems are required. First, the observer scheme estimates the discrete location, which is also named discrete state, by combining information from the continuous and discrete outputs. Next, the observer structure estimates the continuous state based on the knowledge of the visited locations, i. e., the discrete state trajectory. The observer scheme is flexible, allowing the use of different types of observers for the continuous and discrete states. (C) 2017 Elsevier Ltd. All rights reserved.
引用
收藏
页码:254 / 273
页数:20
相关论文
共 35 条
[1]   THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].
ALUR, R ;
COURCOUBETIS, C ;
HALBWACHS, N ;
HENZINGER, TA ;
HO, PH ;
NICOLLIN, X ;
OLIVERO, A ;
SIFAKIS, J ;
YOVINE, S .
THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34
[2]  
Arichi F, 2014, 2014 EUROPEAN CONTROL CONFERENCE (ECC), P2534, DOI 10.1109/ECC.2014.6862196
[3]  
Babaali M, 2005, LECT NOTES COMPUT SC, V3414, P103
[4]   Hybrid control of networked embedded systems [J].
Balluchi, A ;
Benvenuti, L ;
Engell, S ;
Geyer, T ;
Johansson, KH ;
Lamnabhi-Lagarrigue, F ;
Lygeros, J ;
Morari, M ;
Papafotiou, G ;
Sangiovanni-Vincentelli, AL ;
Santucci, F ;
Stursberg, O .
EUROPEAN JOURNAL OF CONTROL, 2005, 11 (4-5) :478-508
[5]  
Balluchi A, 2002, LECT NOTES COMPUT SC, V2289, P76
[6]   Nonlinear observer for autonomous switching systems with jumps [J].
Barbot, J. P. ;
Saadaoui, H. ;
Djemai, M. ;
Manamanni, N. .
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2007, 1 (04) :537-547
[7]  
Basile F, 2004, IEEE SYS MAN CYBERN, P1795
[8]   State exact reconstruction for switched linear systems via a super-twisting algorithm [J].
Bejarano, Francisco J. ;
Fridman, Leonid .
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2011, 42 (05) :717-724
[9]  
Colom J.M., 1987, CONCURRENCY NETS ADV, P435
[10]  
Cox D., 1992, Undergrad. Texts Math