检索结果-内蒙古大学图书馆

state estimation in labeled time Petri net systems using observed modified state class graph

INFORMATION SCIENCES 2024年 656卷

作者： Li, Liang Deng, Mingxi Liu, Bin Lib, Zhiwu Wuhan Univ Sci & Technol Sch Informat Sci & Engn Wuhan 430081 Peoples R China Macau Univ Sci & Technol Inst Syst Engn Macau 999078 Peoples R China

In this paper, we present an improved method for the state estimation of a labeled time Petri net (LTPN) system with unobservable transitions. Precisely, we provide a computationally efficient graph, called an observed modified state class graph (OMSCG), that represents a partial state space of an LTPN system based on the logic label sequence of an observed time-label sequence (TLS), motivated by the modified state class graph reported in the literature. Taking advantage of the OMSCG, we can effectively estimate all the transition sequences that are logically consistent with a TLS. By employing the transitions-related timing constraints of the OMSCG, we then present an approach to determine the set of transition sequences that are timing consistent with a timed observation (i.e., a TLS observed at a time instant) by solving linear programming problems. Finally, we provide an algorithm to implement the state estimation of an LTPN system under a timed observation.

关键词： Discrete event system Time Petri net state estimation modified state class graph

来源：评论

学校读者我要写书评

暂无评论

Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions

引用

INTERNATIONAL JOURNAL OF CONTROL 2023年第12期96卷 2976-2989页

作者： Li, Liang Li, Yaqiong Liu, Bin Wu, Weimin Wuhan Univ Sci & Technol Sch Informat Sci & Engn Wuhan 430081 Peoples R China Wuchang Univ Technol Sch Artificial Intelligence Wuhan Peoples R China Zhejiang Univ Inst Cyber Syst & Control State Key Lab Ind Control Technol Hangzhou Peoples R China

This paper presents an approach to solve the least-cost transition sequences estimation problem in labelled time Petri net (LTPN) systems with unobservable transitions. Particularly, the considered LTPN system is bounded, in which each transition has a nonnegative cost and is labelled as either observable or unobservable. We first introduce a graph, called a segmented modified state class graph (SMSCG), that is a compact representation of the partial state space of an LTPN system. Based on the SMSCG and an observed time-label sequence, a method to estimate logic consistent transition sequences is proposed. By exploiting the transitions-related timing constraints in SMSCGs, a procedure for determining which logic consistent transition sequences are timing consistent with the observed time-label sequence and a given time is reported. Finally, we develop an algorithm to perform the estimation of least-cost transition sequences.

关键词： Discrete event system time Petri net transition sequence modified state class graph

来源：评论

学校读者我要写书评

暂无评论

A Matlab toolbox implementing MSCG computation 16th

A Matlab toolbox implementing MSCG computation

引用

16th IFAC Workshop on Discrete Event Systems (WODES)

作者： Basile, F. Ferrara, L. Univ Salerno DIEM I-84084 Fisciano Italy

modified state class graph collects in a compact form the main information on all the possible evolutions of a given labeled TPN system initialized at a given marking. Recently, it has been used to solve different problems, in particular supervisor control synthesis, state estimation and system validation. It employs a symbolic characterization of the firing time intervals of the enabled transitions. This paper presents a set of MATLAB functions implementing the computation of MSCG in different ways, useful for applications. Copyright (C) 2022 The Authors.

关键词： modified state class graph Time Petri nets Supervisory control Matlab toolbox

来源：评论

学校读者我要写书评

暂无评论

A Matlab toolbox implementing MSCG computation

引用

IFAC-PapersOnLine 2022年第28期55卷 303-308页

作者： F. Basile L. Ferrara

关键词： modified state class graph Time Petri nets Supervisory control Matlab toolbox

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：