For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Rigorous Verification of Poincare Map Generated by a Continuous Piece-Wise Linear Vector Field and Its Application
Hideaki OKAZAKI Katsuhide FUJITA Hirohiko HONDA Hideo NAKANO
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/04/01
Print ISSN: 0916-8508
Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
interval arithmetic, computer assisted rigorous proof, Poincare map, canard, slow-fast system, continuous piece-wise linear vector field,
Full Text: PDF(695.1KB)>>
This paper provides algorithms in order to solve an interval implicit function of the Poincare map generated by a continuous piece-wise linear (CPWL) vector field, with the use of interval arithmetic. The algorithms are implemented with the use of MATLAB and INTLAB. We present an application to verification of canards in two-dimensional CPWL vector field appearing in nonlinear piecewise linear circuits frequently, and confirm that the algorithms are effective.