Keyword : interval analysis


Monitoring Temporal Properties Using Interval Analysis
Daisuke ISHII Naoki YONEZAKI Alexandre GOLDSZTEJN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2016/02/01
Vol. E99-A  No. 2 ; pp. 442-453
Type of Manuscript:  INVITED PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
continuous-time dynamical systemsinterval analysislinear temporal logicfalsification method
 Summary | Full Text:PDF(1.1MB)

An Efficient and Practical Algorithm for Finding All DC Solutions of Nonlinear Circuits Using GLPK
Kiyotaka YAMAMURA Koki SUDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/02/01
Vol. E92-A  No. 2 ; pp. 638-642
Type of Manuscript:  LETTER
Category: Nonlinear Problems
Keyword: 
nonlinear circuitcircuit simulationdc analysisinterval analysis
 Summary | Full Text:PDF(153KB)

Finding All Solutions of Nonlinear Equations Using Inverses of Approximate Jacobian Matrices
Kiyotaka YAMAMURA Takayoshi KUMAKURA Yasuaki INOUE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/11/01
Vol. E84-A  No. 11 ; pp. 2950-2952
Type of Manuscript:  LETTER
Category: Nonlinear Problems
Keyword: 
interval analysisnonlinear equationsfinding all solutionsnumerical computation with guaranteed accuracy
 Summary | Full Text:PDF(140.1KB)

Finding All Solutions of Weakly Nonlinear Equations Using Linear Programming
Kiyotaka YAMAMURA Yoshii HATA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/12/25
Vol. E83-A  No. 12 ; pp. 2758-2761
Type of Manuscript:  LETTER
Category: Numerical Analysis and Optimization
Keyword: 
interval analysisall solutionslinear programmingLP test
 Summary | Full Text:PDF(201.9KB)

An Estimation by Interval Analysis of Region Guaranteeing Existence of a Solution Path in Homotopy Method
Mitsunori MAKINO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/09/25
Vol. E81-A  No. 9 ; pp. 1886-1891
Type of Manuscript:  Special Section PAPER (Special Section on Nonlinear Theory and Its Applications)
Category: Numerical Analysis
Keyword: 
homotopy methodregion including solution curveinterval analysisquality of computing
 Summary | Full Text:PDF(397.4KB)

Finding All Solutions of Transistor Circuits Using Linear Programming
Kiyotaka YAMAMURA Hitomi KAWATA Ai TOKUE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/06/25
Vol. E81-A  No. 6 ; pp. 1310-1313
Type of Manuscript:  LETTER
Category: Nonlinear Problems
Keyword: 
interval analysisall solutionstransistor circuitslinear programming
 Summary | Full Text:PDF(309.2KB)

Two Topics in Nonlinear System Analysis through Fixed Point Theorems
Shin'ichi OISHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/07/25
Vol. E77-A  No. 7 ; pp. 1144-1153
Type of Manuscript:  Special Section PAPER (Special Section on Surveys of Researches in CAS Fields in the Last Two Decades, )
Category: 
Keyword: 
nonlinear analysisnondeterministic operatorinterval analysisfuzzy mappingnonlinear boundary value problemcomputer assisted analysis
 Summary | Full Text:PDF(630.3KB)