Structural controllability in timed continuous Petri nets (Q6110265)
From MaRDI portal
scientific article; zbMATH DE number 7707461
Language | Label | Description | Also known as |
---|---|---|---|
English | Structural controllability in timed continuous Petri nets |
scientific article; zbMATH DE number 7707461 |
Statements
Structural controllability in timed continuous Petri nets (English)
0 references
5 July 2023
0 references
In this paper the authors studied the concepts of net rank-controllability (NRC) and a global structural property. First, a relation between NRC and BIC was introduced: if the system is live as untimed, then, NRC is a sufficient condition for BIC over multiple regions. Moreover, it has been pointed out that in non-live systems NRC is not sufficient nor necessary for BIC. After that, a structural characterization of NRC, in terms of the influence of the controllable transitions and the uncontrollable flow invariants (UFIs), was introduced. It was demonstrated that if total influence holds and there are no UFIs, NRC is guaranteed. Moreover, polynomial-time algorithms for the verification of NRC, and therefore, for the verification of BIC, are provided.
0 references
timed continuous Petri nets
0 references
controllability analysis
0 references
application of nonlinear analysis and design
0 references