Abstract: Formal verification techniques play a pivotal role in ensuring the safety of complex cyber-physical systems. To transfer model-based verification results to the real world, we require that ...
Abstract: This article addresses an identification problem of the sparse nonlinear system, which is described by a nonlinear autoregressive with exogenous input (NARX) model. The precision of using ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results