Structural controllability in timed continuous Petri nets

DOI10.1016/J.AUTOMATICA.2023.111005MaRDI QIDQ6110265zbMATH OpenOpenAlexFDO

Authors César Arzola, Carlos-Renato Vázquez, Antonio Ramírez-Treviño, Manuel Silva

Publication date 5 July 2023

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2023.111005

zbMATH Keywords

application of nonlinear analysis and designcontrollability analysistimed continuous Petri nets

Mathematics Subject Classification ID

Controllability (93B05) Nonlinear systems in control theory (93C10) Discrete event control/observation systems (93C65)

Review text

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.

Recommendations

• On Controllability of Timed Continuous Petri Nets
• Controllability of timed continuous Petri nets with uncontrollable transitions
• Continuous Petri Nets: Controllability and Control
• Approaching minimum time control of timed continuous Petri nets
• Feasibility of piecewise-constant control sequences for timed continuous Petri nets
• scientific article; zbMATH DE number 5150815
• Maximally permissive controller synthesis for time Petri nets
• Control design of timed continuous Petri nets via model predictive constant control
• Structuring acyclic Petri nets for reachability analysis and control
• Structural optimal control for safe Petri nets

Cites work

• Basic server semantics and performance monotonicity of continuous Petri nets
• Constrained regulation of continuous Petri nets
• Controllability of timed continuous Petri nets with uncontrollable transitions
• Observability and controllability of piecewise affine and hybrid systems
• On fluidization of discrete event models: Observation and control of continuous Petri nets
• On reachability in autonomous continuous Petri net systems
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices

Cited in

(12)

• scientific article; zbMATH DE number 5150815 (Why is no real title available?)
• On Controllability of Timed Continuous Petri Nets
• scientific article; zbMATH DE number 3921988 (Why is no real title available?)
• Control of Petri nets subject to strict temporal constraints using Max-Plus algebra
• Controllability of timed continuous Petri nets with uncontrollable transitions
• scientific article; zbMATH DE number 5232658 (Why is no real title available?)
• Continuous Petri Nets: Controllability and Control
• Duality of controllability and observability in proportional equal conflict timed continuous Petri nets
• Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
• An overview of paradigms and results in the control of continuous and hybrid Petri nets
• A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts
• Observability of continuous Petri nets with infinite server semantics

This page was built for publication: Structural controllability in timed continuous Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6110265)