SCOPUS 정보 검색 플랫폼

Volumn 47, Issue 5, 2001, Pages 3503-3514

Higher order verified inclusions of multidimensional systems by Taylor models

b NONE

Author keywords

Dependency problem; High order multivariate polynomial; Interval method; Taylor model; Verified method

Indexed keywords

CONTROL THEORY; MATHEMATICAL MODELS; POLYNOMIAL APPROXIMATION;

TAYLOR MODEL;

MULTIVARIABLE CONTROL SYSTEMS;

EID: 0035420061 PISSN: 0362546X EISSN: None Source Type: Journal
DOI: 10.1016/S0362-546X(01)00467-9 Document Type: Article

Times cited : (14)

References (14)

5
- 0004119860
- Philosophy and practicalities of interval arithmetic
- R. E. Moore, editor. Academic Press
- (1988) Reliability in Computing , pp. 309-323
- Walster, G.W.¹

7
- 0001797179
- Rigorous global search: Industrial applications
- T. Csendes, editor. Kluwer
- (2000) Developments in Reliable Computing , pp. 1-16
- Corliss, G.F.¹ Kearfott, R.B.²

8
- 0002646206
- Remainder differential algebras and their applications
- M. Berz, C. Bischof, G. Corliss, and A. Griewank, editors, Philadelphia. SIAM
- (1996) Computational Differentiation: Techniques, Applications, and Tools , pp. 63-74
- Makino, K.¹ Berz, M.²

9
- 0004147602
- PhD thesis, Michigan State University, East Lansing, Michigan, USA. Also MSUCL-1093
- (1998) Rigorous Analysis of Nonlinear Motion in Particle Accelerators
- Makino, K.¹

10
- 0004123334
- Technical Report MSUCL-1088, National Superconducting Cyclotron Laboratory, Michigan State University, East Lansing, MI 48824
- (1997) COSY INFINITY Version 8 reference manual
- Berz, M.¹

12
- 0001847776
- Efficient control of the dependency problem based on Taylor model methods
- (1999) Reliable Computing , vol.5 , pp. 3-12
- Makino, K.¹ Berz, M.²

13
- 0004041261
- Verified integration of dynamics in the solar system
- in print
- Nonlinear Analysis
- Berz, M.¹ Makino, K.² Hoefkens, J.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.