Login / Signup

Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures.

Kuize ZhangKarl Henrik Johansson
Published in: IEEE Trans. Autom. Control. (2020)
Keyphrases
  • control system
  • computationally efficient
  • information systems
  • artificial neural networks
  • real valued
  • control strategy
  • optimal control
  • formal verification
  • boolean networks