Open AccessStability Verification of a Control System using the Reachability Analysis
Author(s) -
Humaira Salman,
Farid Gul,
Mian Ilyas Ahmad
Publication year - 2015
Publication title -
international journal of robotics and mechatronics
Language(s) - English
Resource type - Journals
ISSN - 2288-5889
DOI - 10.21535/ijrm.v1i3.107
Subject(s) - reachability , computer science , model checking , matlab , stability (learning theory) , inverted pendulum , control theory (sociology) , state space , formal verification , convergence (economics) , observer (physics) , algorithm , mathematics , control (management) , programming language , artificial intelligence , nonlinear system , statistics , physics , quantum mechanics , machine learning , economics , economic growth