Abstract: This article proposes a nonaugmented method for investigating the minimal observability problem of Boolean networks (BNs). This method can be applied to more general BNs and reduce the ...

Beta: This SDK is supported for production use cases, but we do expect future releases to have some interface changes; see Interface stability. We are keen to hear feedback from you on these SDKs.

If a constraint involves a negated boolean variable, assigning a boolean numpy array results in an error when calling Constraint.violation. Assigning a list works ...

Abstract: In this article, the output regulation problem (ORP) of Boolean control networks (BCNs) is studied via the semitensor product of matrices, with ...