Login / Signup
Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures.
Kuize Zhang
Karl 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