Analog of Jacobi matrices in the theory of binary nonlinear sequential machines and its applications to problems of controllability, observability, and functional diagnosability

MaRDI QIDQ1901560zbMATH OpenFDO

Authors I. N. Guseynov, R. G. Faradzhev

Publication date 7 January 1996

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

zbMATH Keywords

binary nonlinear sequential machineBoolean functionsfunctional diagnosabilityJacobi matrixlocal controllabilityobservability

Mathematics Subject Classification ID

Boolean functions (06E30) Controllability (93B05) Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Control/observation systems involving computers (process control, etc.) (93C83)

Review text

A successful attempt to use the concept of a Jacobi matrix in the theory of binary nonlinear sequential machines is made. Sufficient conditions based on Boolean differential calculus concepts for the local controllability, observability, and functional diagnosability of a binary nonlinear sequential machine in the neighborhood of a desired path, are found and the analog of the Jacobi matrix of the system expressed with Boolean functions is established.

Recommendations

• Diagnosability criteria for bilinear sequential machines
• Controllability and observability of singular Boolean control networks
• Controllability and observability of Boolean control networks
• Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
• Input-state incidence matrix of Boolean control networks and its applications

This page was built for publication: Analog of Jacobi matrices in the theory of binary nonlinear sequential machines and its applications to problems of controllability, observability, and functional diagnosability

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