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 , inverted pendulum , control theory (sociology) , stability (learning theory) , state space , formal verification , convergence (economics) , observer (physics) , algorithm , mathematics , control (management) , artificial intelligence , nonlinear system , programming language , statistics , physics , quantum mechanics , machine learning , economics , economic growth
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom