Logic-dynamic approach to study nonlinear dynamic systems

The paper deals with the problem of nonlinear dynamic systems investigation. The feature of the systems under consideration is they may contain non-smooth nonlinearities. The tasks under solution include observability and controllability analysis, disturbance decoupling via feedback, fault detection and isolation. The logic-dynamic approach is considered to solve this problem. An advantage of this approach is that it allows studying systems with non-smooth nonlinearities by linear methods only.