An algebraic approach to networked state estimation, prediction and supervisory control synthesis of logical finite state machines
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