Real time identification of discrete event systems using Petri nets
- 作者：Mariagrazia Dotoli ; Maria Pia Fanti ; Agostino Marcello Mangini
- 关键词：Discrete event systems ; Petri nets ; Identification algorithms ; Integer programming
- 刊名：Automatica
- 出版年：2008
- 期刊代码：13_00051098
- 类别：cp
- 出版时间：May 2008
- 卷：44
- 期：5
- 页码：1209-1219
- 文件大小：891 K
摘要
The paper defines the identification problem for Discrete Event Systems (DES) as the problem of inferring a Petri Net (b=MathURL&_method=retrieve&_udi=B6V21-4S02TFW-5&_mathId=mml15&_user=1067359&_cdi=5689&_rdoc=5&_acct=C000050221&_version=1&_userid=10&md5=241ffd620c03d14eb06de40ec9cd4bdd">
direct.com/cache/MiamiImageURL/B6V21-4S02TFW-5-VB/0?wchp=dGLzVlz-zSkzV" alt="View the MathML source" title="View the MathML source" align="absbottom" border="0" height=9 width="21"/>) model using the observation of the events and the available output vectors, that correspond to the markings of the measurable places. Two cases are studied considering different levels of the system knowledge. In the first case the place and transition sets are assumed known. Hence, an integer linear programming problem is defined in order to determine a b=MathURL&_method=retrieve&_udi=B6V21-4S02TFW-5&_mathId=mml16&_user=1067359&_cdi=5689&_rdoc=5&_acct=C000050221&_version=1&_userid=10&md5=5aa217f87d79a4050030bfb720706371">direct.com/cache/MiamiImageURL/B6V21-4S02TFW-5-T8/0?wchp=dGLzVlz-zSkzV" alt="View the MathML source" title="View the MathML source" align="absbottom" border="0" height=9 width="21"/> modelling the DES. In the second case the transition and place sets are assumed unknown and only an upper bound of the number of places is given. Hence, the identification problem is solved by an identification algorithm that observes in real time the occurred events and the corresponding output vectors. The integer linear programming problem is defined at each observation so that the b=MathURL&_method=retrieve&_udi=B6V21-4S02TFW-5&_mathId=mml17&_user=1067359&_cdi=5689&_rdoc=5&_acct=C000050221&_version=1&_userid=10&md5=f6e72c339929ce7e640d7ac779e0a7ec">direct.com/cache/MiamiImageURL/B6V21-4S02TFW-5-KW/0?wchp=dGLzVlz-zSkzV" alt="View the MathML source" title="View the MathML source" align="absbottom" border="0" height=9 width="21"/> can be recursively identified. Some results and examples characterize the identified b=MathURL&_method=retrieve&_udi=B6V21-4S02TFW-5&_mathId=mml18&_user=1067359&_cdi=5689&_rdoc=5&_acct=C000050221&_version=1&_userid=10&md5=f23268937d1d18e9e76797038be441d8">direct.com/cache/MiamiImageURL/B6V21-4S02TFW-5-1D/0?wchp=dGLzVlz-zSkzV" alt="View the MathML source" title="View the MathML source" align="absbottom" border="0" height=9 width="21"/> systems and show the flexibility and simplicity of the proposed technique. Moreover, an application to the synthesis of supervisory control of b=MathURL&_method=retrieve&_udi=B6V21-4S02TFW-5&_mathId=mml19&_user=1067359&_cdi=5689&_rdoc=5&_acct=C000050221&_version=1&_userid=10&md5=3590c337921c05354d403ee144f29bc6">direct.com/cache/MiamiImageURL/B6V21-4S02TFW-5-D1/0?wchp=dGLzVlz-zSkzV" alt="View the MathML source" title="View the MathML source" align="absbottom" border="0" height=9 width="21"/> systems via monitor places is proposed.