Structural controllability in timed continuous Petri nets

This work deals with the controllability analysis in timed continuous Petri nets (TCPNs) under infinite server semantics, a class of linear hybrid systems. In the literature, this problem has been addressed by analyzing each configuration (that defines a linear mode) of the system. However, the numb...

Full description

Saved in:
Bibliographic Details
Published in:Automatica (Oxford) 2023-07, Vol.153, p.111005, Article 111005
Main Authors: Arzola, César, Vázquez, Carlos Renato, Ramírez-Treviño, Antonio, Silva, Manuel
Format: Article
Language:English
Subjects:
Application of nonlinear analysis and design
Controllability analysis
Timed continuous Petri nets
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This work deals with the controllability analysis in timed continuous Petri nets (TCPNs) under infinite server semantics, a class of linear hybrid systems. In the literature, this problem has been addressed by analyzing each configuration (that defines a linear mode) of the system. However, the number of configurations may grow exponentially. Here, by using a global structural approach, we study the net rank-controllability (NRC), a structural property of the TCPN. Under the assumption of liveness, it is shown that NRC is a sufficient condition for controllability; nevertheless, if liveness is not fulfilled then controllability is not guaranteed by NRC The advantage of this approach is that NRC is characterized in terms of global structural objects of the net, thus, avoiding the analysis by configurations. In this sense, some new structural sufficient conditions for NRC are introduced for general TCPNs. Finally, polynomial-time algorithms for the verification of NRC are provided.
ISSN:0005-1098
1873-2836
DOI:10.1016/j.automatica.2023.111005