文献类型：期刊文献

英文题名：Modelling and supervisory control of hybrid dynamical systems via fuzzy l-complete approximation approach

作者：Zhang, Jianhua[1];Xia, Jiajun[1];Wang, Rubin[2]

机构：[1]East China Univ Sci & Technol, Sch Informat Sci & Engn, 130 Meilong Rd, Shanghai 200237, Peoples R China;[2]East China Univ Sci & Technol, Sch Sci, Shanghai 200237, Peoples R China

年份：2018

卷号：27

起止页码：390

外文期刊名：NONLINEAR ANALYSIS-HYBRID SYSTEMS

收录：;EI(收录号：20174504382205);WOS:【SCI-EXPANDED(收录号:WOS:000417017100027)】；

基金：This work was supported in part by the National Natural Science Foundation of China under Grant No. 61075070 and Key Grant No. 11232005.

语种：英文

外文关键词：Hybrid system; Finite state automaton; Behavioural systems theory; Fuzzy set; l-complete approximation

摘要：This paper proposes a fuzzy l-complete approximation technique based on Willems' behavioural systems theory for a class of hybrid system with symbolic inputs and quantized measurements. The discrete controller (or supervisor) is designed based on the abstracted (or approximated) system and high-level specifications. Furthermore, we show that the set of external behaviour (i.e., state set) of the fuzzy l-complete approximation based on the notion of 'guardian states' contains or at least equal to the behaviour set generated by traditional l-complete discrete abstraction. Finally, several simulation examples are presented to show the effectiveness of the proposed method for supervisory control of a special class of hybrid systems. (C) 2017 Elsevier Ltd. All rights reserved.