Result 1 to 20 of 21 total
Feasibility analysis for robustness quantification by symbolic model checking. (English)
Form. Methods Syst. Des. 39, No. 2, 165-184 (2011).
1
The information-based complexity of approximation problem by adaptive Monte Carlo methods. (English)
Sci. China, Ser. A 51, No. 9, 1679-1689 (2008).
2
Interval analysis for guaranteed nonlinear parameter and state estimation. (English)
Math. Comput. Model. Dyn. Syst. 11, No. 2, 171-181 (2005).
3
On fitting empirical data under interval error. (English)
Reliab. Comput. 11, No. 5, 433-442 (2005).
4
Guaranteed nonlinear state estimator for cooperative systems. (English)
Numer. Algorithms 37, No. 1-4, 187-198 (2004).
5
Set membership localization and mapping for autonomous navigation. (English)
Int. J. Robust Nonlinear Control 11, No.7, 709-734 (2001).
6
Robust force/motion control of constrained robots using neural network. (English)
J. Rob. Syst. 16, No.12, 697-714 (1999).
7
An efficient algorithm for a bounded errors-in-variables model. (English)
SIAM J. Matrix Anal. Appl. 20, No.4, 839-859 (1999).
8
Structural analysis of error-correcting codes for discrete channels that involve combinations of three basic error types. (English)
IEEE Trans. Inf. Theory 45, No.1, 60-77 (1999).
9
A bounded-distance decoding algorithm for binary linear block codes achieving the minimum effective error coefficient. (English)
IEEE Trans. Inf. Theory 42, No.6, Pt. 1, 1987-1991 (1996).
10
A new class of adaptive controllers for robot trajectory tracking. (English)
J. Rob. Syst. 11, No.8, 761-772 (1994).
11
Direct adaptive control of robotic systems. (English)
J. Intell. Robot. Syst. 9, No.1-2, 149-178 (1994).
12
Bounded expansion codes for error control. (English)
Calderbank, Robert (ed.) et al., Coding and quantization. DIMACS/IEEE workshop held at the Princeton University, NJ, USA, October 19-21, 1992. Providence, RI: American Mathematical Society. DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 14, 225-233 (1993).
13
A bounded influence, high breakdown, efficient regression estimator. (English)
J. Am. Stat. Assoc. 88, No. 423, 872-880 (1993).
14
Algorithm for experimental zero-order optimization for plant with bounded amplitude errors. (English)
Interval Comput. 1992, No.3(5), 27-30 (1992).
15
Applications of analytic centers. (English)
Numerical linear algebra, digital signal processing and parallel algorithms, Proc. NATO ASI, Leuven/Belg. 1988, NATO ASI Ser., Ser. F 70, 617-632 (1991).
16
Barycentric formulae for some optimal rational approximants involving Blaschke products. (English)
Computing 44, No.1, 69-82 (1990).
17
A combined method for solving elliptic problems on unbounded domains. (English)
Comput. Methods Appl. Mech. Eng. 73, No.2, 191-208 (1989).
18
Philosophy and practicalities of interval arithmetic. (English)
Reliability in computing, Perspect. Comput. 9, 309-323 (1988).
19
Reformulation of parameter identification with unknown-but-bounded errors. (English)
Math. Comput. Simul. 30, No.3, 257-270 (1988).
20
Result 1 to 20 of 21 total
Start
Contact
Print
General Help
