An algebraic approach to networked state estimation, prediction and supervisory control synthesis of logical finite state machines

View at publisher
Authors: Zhipeng Zhang, Aocheng Wang, Shaolong Shu, Chengyi Xia
Cited by: 1
References: 32

Fields of Study & Subjects

Petri Nets in System Modeling Formal Methods in Verification Gene Regulatory Network Analysis

Publication details

Journal / source
Journal of the Franklin Institute
Publisher
Elsevier BV
Volume
363
Issue
5
Pages
108489–108489
Publication date
9 February 2026
Language
EN