Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This ...

All real word process are nonlinear in nature, control of such process is still challenging. Two interacting conical tank process is a one such nonlinear process. First order plus dead time model ...