### Stability Verification of a Control System using the Reachability Analysis

#### Abstract

#### Keywords

#### Full Text:

PDF#### References

G. R. Faulhaber. SEGWAY INC.

H. Gul, J. Ahmad, F. Gul, and M. Ilyas, "Modeling and formal verification of inverted pendulum based two-wheeled transportation vehicle," in SICE Annual Conference (SICE), 2012 Proceedings of, 2012, pp. 113-118.

F. Borrelli, "Constrained optimal control of linear and hybrid systems", 2003.

T. Wongpiromsarn, "Formal methods for design and verification of embedded control systems: Application to an autonomous vehicle", California Institute of Technology, 2010.

B. Mathieu, P. Melchior, A. Oustaloup, and C. Ceyral, "Fractional differentiation for edge detection," Signal Processing, vol. 83, pp. 2421-2432, 2003.

X. Moreau, C. Ramus-Serment, and A. Oustaloup, "Fractional differentiation in passive vibration control," Nonlinear Dynamics, vol. 29, pp. 343-362, 2002.

B. Vinagre, I. Petráš, I. Podlubny, and Y. Chen, "Using fractional order adjustment rules and fractional order reference models in model-reference adaptive control," Nonlinear Dynamics, vol. 29, pp. 269-279, 2002.

C. Baier and J. Katoen, "Principles of Model Checking (Representation and Mind Series). 2008," ed: The MIT Press.

B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, et al., Systems and software verification: model-checking techniques and tools: Springer Publishing Company, Incorporated, 2010.

E. Asarin, T. Dang, and O. Maler, "The d/dt tool for verification of hybrid systems," in Computer Aided Verification, 2002, pp. 365-370.

G. Frehse, "An introduction to spaceex v0. 8," ed: December, 2010.

G. Frehse, C. Le Guernic, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, et al., "SpaceEx: Scalable verification of hybrid systems," in Computer Aided Verification, 2011, pp. 379-395.

A. J. Van Der Schaft, J. M. Schumacher, A. J. van der Schaft, and A. J. van der Schaft, An introduction to hybrid dynamical systems vol. 251: Springer London, 2000.

(2010). SEGWAY ROBOTICS.

T. A. Henzinger, P.-H. Ho, and H. Wong-Toi, "HyTech: A model checker for hybrid systems," in Computer aided verification, 1997, pp. 460-463.

Steve’sLegway.

BALLBOT Project.

N. Baker, C. Brown, D. Dowling, J. Modra, and D. Tootell, "SON of EDGAR: State-space cONtrol of Electro-Drive Gravity-Aware Ride," Honours thesis, The University of Adelaide, 2006.

F. Grasser, A. D'Arrigo, S. Colombi, and A. C. Rufer, "JOE: a mobile, inverted pendulum," Industrial Electronics, IEEE Transactions on, vol. 49, pp. 107-114, 2002.

A.-Š. Vitko, Michal - Jurišica, Ladislav - Hubinský, Peter, "Data fusion and context awareness in autonomous robotics," International Journal of Mechanics and Control, vol. 5, pp. 29-39, 2004.

C.-H. Chiu, W.-R. Tsai, M.-H. Chou, and Y.-F. Peng, "Two-wheeled robot control based on self-tuning output recurrent CMAC," in Proceedings of the International MultiConference of Engineers and Computer Scientists 2009, 2009.

R. Grepl, "Balancing Wheeled Robot: Effective Modelling, Sensory Processing and Simplified Control," Engineering Mechanics, vol. 16, pp. 141-154, 2009.

S. Nawawi, M. Ahmad, and J. Osman, "Real-time control of a two-wheeled inverted pendulum mobile robot," World Academy of Science, Engineering and Technology, vol. 39, pp. 214-220, 2008.

A. Gmiterko, Vackova, x, and M., "Dynamic model of vehicle with two coaxial parallel wheels," in Applied Machine Intelligence and Informatics (SAMI), 2011 IEEE 9th International Symposium on, 2011, pp. 303-305.

K. M. Passino and N. Quijano, "Linear quadratic regulator and observer design for a flexible joint," Department of Electrical Engineering, The Ohio State University, 2002.

T. A. Henzinger, The theory of hybrid automata: Springer, 2000.

R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, et al., "The algorithmic analysis of hybrid systems," Theoretical computer science, vol. 138, pp. 3-34, 1995.

G. Frehse, "PHAVer: Algorithmic verification of hybrid systems past HyTech," in Hybrid Systems: Computation and Control, ed: Springer, 2005, pp. 258-273.

### Refbacks

- There are currently no refbacks.

This work is licensed under a Creative Commons Attribution 3.0 License.