-
1
-
-
0023596142
-
Logical arithmetic
-
J. C. Cleary, "Logical arithmetic", Future Computing Systems, vol. 2(2) (1987), pp. 125-149.
-
(1987)
Future Computing Systems
, vol.2
, Issue.2
, pp. 125-149
-
-
Cleary, J.C.1
-
2
-
-
0023386175
-
Constraint propagation with interval labels
-
E. Davis, "Constraint propagation with interval labels", Artificial Intelligence, vol. 32(3) (1987), pp. 281-331.
-
(1987)
Artificial Intelligence
, vol.32
, Issue.3
, pp. 281-331
-
-
Davis, E.1
-
4
-
-
49449120803
-
Consistency in networks of relations
-
A. K. Mackworth, "Consistency in networks of relations", Artificial Intel., vol. 8(1) (1977), pp. 99-118.
-
(1977)
Artificial Intel.
, vol.8
, Issue.1
, pp. 99-118
-
-
Mackworth, A.K.1
-
5
-
-
0000947811
-
Automatic generation of numerical redundancies for nonlinear constraint solving
-
F. Benhamou and L. Granvilliers, "Automatic generation of numerical redundancies for nonlinear constraint solving", Reliable Computing, vol. 3(3) (1997), pp. 335-344.
-
(1997)
Reliable Computing
, vol.3
, Issue.3
, pp. 335-344
-
-
Benhamou, F.1
Granvilliers, L.2
-
6
-
-
0003148289
-
Revising hull and box consistency
-
F. Benhamou, F. Goualard, F. Granvilliers, and J. F. Puget, "Revising hull and box consistency", Proceedings of the International Conference on Logic Programming, Las Cruces NM, 1999, pp. 230-244.
-
Proceedings of the International Conference on Logic Programming, Las Cruces NM, 1999
, pp. 230-244
-
-
Benhamou, F.1
Goualard, F.2
Granvilliers, F.3
Puget, J.F.4
-
7
-
-
0003440056
-
-
Springer, London
-
L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, Springer, London, 2001.
-
(2001)
Applied Interval Analysis
-
-
Jaulin, L.1
Kieffer, M.2
Didrit, O.3
Walter, E.4
-
8
-
-
0242712182
-
-
http://www.istia.univ-angers.fr/~jaulin/propagR1R2,sce
-
-
-
-
9
-
-
0242543187
-
-
http://www-rocq.inria.fr/scilab/scilab.html
-
-
-
-
10
-
-
0035895098
-
Guaranteed nonlinear estimation using constraint propagation on sets
-
L. Jaulin, M. Kieffer, I. Braems, and E. Walter, "Guaranteed nonlinear estimation using constraint propagation on sets", International Journal of Control, vol. 74(18) (2001), pp. 1772-1782.
-
(2001)
International Journal of Control
, vol.74
, Issue.18
, pp. 1772-1782
-
-
Jaulin, L.1
Kieffer, M.2
Braems, I.3
Walter, E.4
-
11
-
-
84861356330
-
Interval mathematics techniques for control theory computations
-
R. B. Kearfott, "Interval mathematics techniques for control theory computations", in Progress in Systems and Control Theory, Birkhäuser, Boston MA, vol. 20 (1989), pp. 169-178.
-
(1989)
Progress in Systems and Control Theory, Birkhäuser, Boston MA
, vol.20
, pp. 169-178
-
-
Kearfott, R.B.1
-
12
-
-
0024054173
-
Internal mathematics algorithms for tolerance analysis
-
L. V. Kolev, V. M. Mladenov, and S. S. Vladov, "Internal mathematics algorithms for tolerance analysis", IEEE Transactions on Circuits and Systems, vol. 35(8) (1988), pp. 967-974.
-
(1988)
IEEE Transactions on Circuits and Systems
, vol.35
, Issue.8
, pp. 967-974
-
-
Kolev, L.V.1
Mladenov, V.M.2
Vladov, S.S.3
-
13
-
-
0242459685
-
Interval automatic systems - Theory, computer-aided design and applications
-
N. A. Khlebalin, "Interval automatic systems - theory, computer-aided design and applications", Interval Computations, vol. 3 (1992), pp. 106-115.
-
(1992)
Interval Computations
, vol.3
, pp. 106-115
-
-
Khlebalin, N.A.1
-
15
-
-
0030218755
-
Guaranteed tuning, with application to robust control and motion planning
-
L. Jaulin and E. Walter, "Guaranteed tuning, with application to robust control and motion planning", Automatica, vol. 32(8) (1996), pp. 1217-1221.
-
(1996)
Automatica
, vol.32
, Issue.8
, pp. 1217-1221
-
-
Jaulin, L.1
Walter, E.2
-
16
-
-
0031189803
-
Robust analysis and design of control systems using interval arithmetics
-
S. A. Malan, M. Milanese, and M. Taragna. "Robust analysis and design of control systems using interval arithmetics", Automatica, vol. 33(7) (1997), pp. 1363-1372.
-
(1997)
Automatica
, vol.33
, Issue.7
, pp. 1363-1372
-
-
Malan, S.A.1
Milanese, M.2
Taragna, M.3
-
17
-
-
0034265749
-
-
J. Garloff and E. Walter, editors
-
J. Garloff and E. Walter, editors, Special Issue of Reliable Computing devoted to Applications to Control, Signals and Systems, vol. 6(3) (2000), pp. 229-362.
-
(2000)
Special Issue of Reliable Computing Devoted to Applications to Control, Signals and Systems
, vol.6
, Issue.3
, pp. 229-362
-
-
|