Abstract
There are several applications of the interval calculus; there are also books devoted solely to this topic, e.g., (Kearfott and Kreinovich in Applications of interval computations, vol 3. Springer Science & Business Media (2013), [51]) or (Dymowa in Soft computing in economics and finance. Springer 2011, [20]). This chapter presents a few selected applications, related to the works of the author, but also some chosen achievements of other researchers, that seem particularly interesting or important.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
GlobSol solver (2015). https://interval.louisiana.edu/GlobSol/
Polynomial nonlinear system benchmarks (2017). https://www-sop.inria.fr/coprin/logiciels/ALIAS/Benches/node1.html
Adam, S.P., Karras, D.A., Magoulas, G.D., Vrahatis, M.N.: Solving the linear interval tolerance problem for weight initialization of neural networks. Neural Netw. 54, 17–37 (2014)
Bánhelyi, B., Csendes, T., Krisztin, T., Neumaier, A.: Global attractivity of the zero solution for Wright’s equation. SIAM J. Appl. Dyn. Syst. 13(1), 537–563 (2014)
Bars, F.L., Bertholom, A., Sliwka, J., Jaulin, L.: Interval SLAM for underwater robots; a new experiment. In: NOLCOS 2010 (2010)
Beer, M., Ferson, S., Kreinovich, V.: Imprecise probabilities in engineering analyses. Mech. Syst. Signal Process. 37(1–2), 4–29 (2013)
Beheshti, M., Berrached, A., de Korvin, A., Hu, C., Sirisaengtaksin, O.: On interval weighted three-layer neural networks. In: Proceedings of the 31st Annual on Simulation Symposium, 1998, pp. 188–194. IEEE (1998)
Ben-Haim, Y.: Info-gap Decision Theory: Decisions Under Severe Uncertainty, 2nd edn. Academic Press (2006)
Berleant, D., Xie, L., Zhang, J.: Statool: a tool for distribution envelope determination (DEnv), an interval-based algorithm for arithmetic on random variables. Reliab. Comput. 9(2), 91–108 (2003)
Berleant, D., Zhang, J.: Using Pearson correlation to improve envelopes around the distributions of functions. Reliab. Comput. 10(2), 139–161 (2004)
Bilski, A.: A review of artificial intelligence algorithms in document classification. Int. J. Electron. Telecommun. 57(3), 263–270 (2011)
Chang, C.C., Lin, C.J.: LIBSVM–A Library for Support Vector Machines (2016). https://www.csie.ntu.edu.tw/~cjlin/libsvm/
Corliss, G.F., Kearfott, R.B.: Rigorous global search: Industrial applications. In: Developments in Reliable Computing, pp. 1–16. Springer (1999)
Csendes, T., Bánhelyi, B., Garay, B.: A global optimization model for locating chaos. In: International Workshop on Global Optimization, pp. 81–84 (2005)
Csendes, T., Bánhelyi, B., Hatvani, L.: Towards a computer-assisted proof for chaos in a forced damped pendulum equation. J. Comput. Appl. Math. 199(2), 378–383 (2007)
Desrochers, B., Lacroix, S., Jaulin, L.: Set-membership approach to the kidnapped robot problem. In: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 3715–3720. IEEE (2015)
Dombrovskii, V.V., Chausova, E.V.: Model predictive control for linear systems with interval and stochastic uncertainties. Reliab. Comput. 19(4), 351–360 (2014)
Dymova, L., Pilarek, M., Wyrzykowski, R.: Solving systems of interval linear equations with use of modified interval division procedure. In: PPAM 2009 Proceedings (2010)
Dymova, L., Sevastjanov, P., Pilarek, M.: A method for solving systems of linear interval equations applied to the Leontief input-output model of economics. Expert Syst. Appl. 40(1), 222–230 (2013)
Dymowa, L.: Soft Computing in Economics and Finance. Springer (2011)
Fedrizzi, M., Kacprzyk, J., Yager, R.R. (eds.): Advances in the Dempster-Shafer Theory of Evidence (1994)
Ferson, S., Kreinovich, V., Aviles, M.: Exact bounds on sample variance of interval data. In: Extended Abstracts of the 2002 SIAM Workshop on Validated Computing, Toronto, pp. 67–69 (2002)
Ferson, S., Kreinovich, V., Ginzburg, L., Myers, D.S., Sentz, K.: Constructing probability boxes and Dempster-Shafer structures. Technical Report (2003)
Frese, U.: A discussion of simultaneous localization and mapping. Auton. Robot. 20(1), 25–42 (2006)
Gajda, K., Jankowska, M., Marciniak, A., Szyszka, B.: A survey of interval Runge–Kutta and multistep methods for solving the initial value problem. In: PPAM 2007 Proceedings. Lecture Notes in Computer Science, vol. 4967, 1361–1371 (2009)
Gutowski, M.W.: Interval straight line fitting (2001). arXiv:math/0108163
Gutowski, M.W.: Introduction to Interval Calculi and Methods (in Polish). BEL Studio, Warszawa (2004)
Gutowski, M.W.: Interval experimental data fitting. In: Liu, J. (ed.) Focus on Numerical Analysis, pp. 27–70. Nova Science Publishers, New York (2006)
Gutowski, M.W.: Breakthrough in interval data fitting I. The role of Hausdorff distance (2009). arXiv:0903.0188
Gutowski, M.W.: Breakthrough in interval data fitting II. From ranges to means and standard deviations (2009). arXiv:0903.0365
Hao, F., Merlet, J.P.: Multi-criteria optimal design of parallel manipulators based on interval analysis. Mech. Mach. Theory 40(2), 157–171 (2005)
Harchol-Balter, M.: Performance Modeling and Design of Computer Systems: Queueing Theory in Action. Cambridge University Press (2013)
Haßlinger, G., Fausten, D.: Analysis of the workload in communication systems including data transfers over arbitrary time scales. Int. J. Simul. 3(3–4), 25–37 (2002)
Hladík, M.: Enclosures for the solution set of parametric interval linear systems. Int. J. Appl. Math. Comput. Sci. 22(3), 561–574 (2012)
Hoefkens, J., Berz, M., Makino, K.: Efficient high-order methods for ODEs and DAEs. In: Automatic Differentiation of Algorithms, pp. 343–348 (2002)
Horacek, J., Hladík, M.: Subsquares approach–a simple scheme for solving overdetermined interval linear systems. In: PPAM 2013 (10th International Conference on Parallel Processing and Applied Mathematics) Proceedings. Lecture Notes in Computer Science, vol. 8385, pp. 613–622 (2014)
Hurwicz, L.: Optimality criteria for decision making under ignorance. In: Cowles Commission Discussion Paper, Statistics, 370 (1951)
Huynh, V., Kreinovich, V., Nakamori, Y., Nguyen, H.T.: Towards efficient prediction of decisions under interval uncertainty. In: PPAM 2007 Proceedings. Lecture Notes in Computer Science, vol. 4967, pp. 1372–1381 (2009)
Jankowska, M.A.: Remarks on algorithms implemented in some C++ libraries for floating-point conversions and interval arithmetic. In: PPAM 2009 Proceedings. Lecture Notes in Computer Science, vol. 6068, pp. 436–445 (2010)
Jankowska, M.A.: An interval backward finite difference method for solving the diffusion equation with the position dependent diffusion coefficient. In: PPAM 2011 Proceedings. Lecture Notes in Computer Science, vol. 7204, pp. 447–456 (2013)
Jankowska, M.A.: Interval finite difference method for solving the problem of bioheat transfer between blood vessel and tissue. In: PPAM 2013 Proceedings. Lecture Notes in Computer Science, vol. 8385, pp. 644–655 (2014)
Jaulin, L.: Path planning using intervals and graphs. Reliab. Comput. 7(1), 1–15 (2001)
Jaulin, L.: Range-only SLAM with occupancy maps: a set-membership approach. IEEE Trans. Robot. 27(5), 1004–1010 (2011)
Jaulin, L., Dabe, F., Bertholom, A., Legris, M.: A set approach to the simultaneous localization and map building-application to underwater robots. ICINCO-RA 2, 65–69 (2007)
Jaulin, L., Kieffer, M., Didrit, O., Walter, É.: Applied Interval Analysis. Springer, London (2001)
Kacprzyk, J.: A branch-and-bound algorithmm for the multistage control of a nonfuzzy system in a fuzzy environment. Control Cybern. 7, 51–64 (1978)
Kacprzyk, J.: A branch-and-bound algorithmm for the multistage control of a fuzzy system in a fuzzy environment. Kybernetes 8(2), 139–147 (1979)
Kacprzyk, J.: A genetic algorithm for the multistage control of a fuzzy system in a fuzzy environment. Mathw. Soft Comput. 4(3), 219–232 (1997)
Kacprzyk, J., Esogbue, A.O.: Fuzzy dynamic programming: main developments and applications. Fuzzy Sets Syst. 81(1), 31–45 (1996)
Kacprzyk, J., Straszak, A.: Application of fuzzy decision-making models for determining optimal policies in “stable” integrated regional development. In: Fuzzy Sets, pp. 321–328 (1980)
Kearfott, R.B., Kreinovich, V.: Applications of Interval Computations, vol. 3. Springer Science & Business Media (2013)
Kieffer, M., Jaulin, L., Walter, É., Meizel, D.: Robust autonomous robot localization using interval analysis. Reliab. Comput. 6(3), 337–362 (2000)
Kingman, J.F.C.: The single server queue in heavy traffic. In: Mathematical Proceedings of the Cambridge Philosophical Society, vol. 57, pp. 902–904. Cambridge University Press (1961)
Kozine, I.O., Utkin, L.V.: Interval-valued finite Markov chains. Reliab. Comput. 8(2), 97–113 (2002)
Kreinovich, V.: Statistical data processing under interval uncertainty: Algorithms and computational complexity. In: Soft Methods for Integrated Uncertainty Modelling, pp. 11–26. Springer (2006)
Kreinovich, V., Gallardo, E.: Optimizing cloud use under interval uncertainty. In: PPAM 2015 Proceedings. Lecture Notes in Computer Science, vol. 9574, pp. 435–444 (2016)
Kubica, B.J.: Estimating utility functions of network users-an algorithm using interval computations. Ann. Univ. Timisoara 40, 121–134 (2002)
Kubica, B.J.: Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems. Numer. Algorithms 70(4), 929–963 (2015). http://dx.doi.org/10.1007/s11075-015-9980-y
Kubica, B.J.: Preliminary experiments with an interval Model-Predictive-Control solver. In: PPAM 2015 Proceedings. Lecture Notes in Computer Science, vol. 9574, pp. 464–473 (2016)
Kubica, B.J.: Parallelization of a bound-consistency enforcing procedure and its application in solving nonlinear systems. J. Parallel Distrib. Comput. 107, 57–66 (2017). https://doi.org/10.1016/j.jpdc.2017.03.009
Kubica, B.J.: Advanced interval tools for computing solutions of continuous games. Vychislennyie Tiehnologii (Computational Technologies) 23(1), 3–18 (2018)
Kubica, B.J., Malinowski, K.: An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems. Reliab. Comput. 11(5), 393–411 (2005)
Kubica, B.J., Malinowski, K.: Interval random variables and their application in queueing systems with long–tailed service times. In: Soft Methods for Integrated Uncertainty Modelling, pp. 393–403. Springer (2006)
Kubica, B.J., Malinowski, K.: Optimization of performance of queuing systems with long-tailed service times. Prace Naukowe Politechniki Warszawskiej. Elektronika 156, 237–245 (2006)
Kubica, B.J., Niewiadomska-Szynkiewicz, E.: An improved interval global optimization algorithm and its application to price management problem. In: PARA 2006 Proceedings. Lecture Notes in Computer Science, vol. 4699, pp. 1055–1064 (2007)
Kubica, B.J., Pownuk, A., Kreinovich, V.: What decision to make in a conflict situation under interval uncertainty: efficient algorithms for the Hurwicz approach. In: PPAM 2017 Proceedings. Lecture Notes in Computer Science, vol. 10778, pp. 402–411 (2018)
Kubica, B.J., Szynkiewicz, W.: CuikSLAM with unknown correspondence-preliminary results. Prace Naukowe Politechniki Warszawskiej. Elektronika 160, 143–151 (2007)
Kubica, B.J., Woźniak, A.: Applying an interval method for a four agent economy analysis. In: PPAM 2011 (9th International Conference on Parallel Processing and Applied Mathematics) Proceedings. Lecture Notes in Computer Science, vol. 7204, pp. 477–483 (2012)
Kubica, B.J., Woźniak, A.: Tuning the interval algorithm for seeking Pareto sets of multi-criteria problems. In: PARA 2012 Proceedings. Lecture Notes in Computer Science, vol. 7782, pp. 504–517 (2013)
Kurek, J., Kruk, M., Osowski, S., Hoser, P., Wieczorek, G., Jegorowa, A., Górski, J., Wilkowski, J., Śmietańsk, K., Kossakowska, J.: Developing automatic recognition system of drill wear in standard laminated chipboard drilling process. Bull. Pol. Acad. Sci. Techn. Sci. 64(3), 633–640 (2016)
Kurek, J., Osowski, S.: Support Vector Machine for diagnosis of the bars of cage inductance motor. In: 15th IEEE International Conference on Electronics, Circuits and Systems, 2008. ICECS 2008, pp. 1022–1025 (2008)
Kurek, J., Osowski, S.: Support vector machine for fault diagnosis of the broken rotor bars of squirrel-cage induction motor. Neural Comput. Appl. 19(4), 557–564 (2010)
Kurek, J., Swiderski, B., Jegorova, A., Kruk, M., Osowski, S.: Deep learning in assessment of drill condition on the basis of images of drilled holes. In: Proceedings ICGIP 2016 (Eighth International Conference on Graphic and Image Processing), p. 10225 (2017)
Lüthi, J., Haring, G.: Mean value analysis for queueing network models with intervals as input parameters. Perform. Eval. 32(3), 185–215 (1998)
Lüthi, J., Lladó, C.M.: Splitting techniques for interval parameters and their application to performance models. Perform. Eval. 51(1), 47–74 (2003)
Majumdar, S.: Application of relational interval arithmetic to computer performance analysis: a survey. Constraints 2(2), 215–235 (1997)
Makino, K., Berz, M.: Efficient control of the dependency problem based on Taylor model methods. Reliab. Comput. 5(1), 3–12 (1999)
McCulloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bull. Math. Biophys. 5(4), 115–133 (1943)
Meizel, D., Preciado-Ruiz, A., Halbwachs, E.: Estimation of mobile robot localization: Geometric approaches. In: Milanese, M., Norton, J., Piet-Lahanier, H., Walter, É. (eds.) Bounding Approaches to System Identification, pp. 463–489. Springer (1996)
Merlet, J.P.: Solving the forward kinematics of a Gough-type parallel manipulator with interval analysis. Int. J. Robot. Res. 23(3), 221–235 (2004)
Merlet, J.P.: Kinematics of the wire-driven parallel robot MARIONET using linear actuators. In: IEEE International Conference on Robotics and Automation, 2008. ICRA 2008, pp. 3857–3862. IEEE (2008)
Merlet, J.P.: Interval analysis for certified numerical solution of problems in robotics. Int. J. Appl. Math. Comput. Sci. 19(3), 399–412 (2009)
Merlet, J.P., Gosselin, C.: Parallel mechanisms and robots. In: Springer Handbook of Robotics, pp. 269–285. Springer (2008)
Mitra, S., Keel, L., Bhattacharyya, S.: Data-robust design of PID controllers via interval linear programming. IFAC Proc. 40(20), 632–636 (2007)
Monnet, D., Ninin, J., Clement, B.: Global optimization of \(H_\infty \) problems: Application to robust control synthesis under structural constraints. In: International Conference on Mathematical Aspects of Computer and Information Sciences, pp. 550–554. Springer (2015)
Nagatou, K.: A numerical method to verify the elliptic eigenvalue problems including a uniqueness property. Computing 63(2), 109–130 (1999)
Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press (1990)
Piegat, A., Tomaszewska, K.: Decision-making under uncertainty using info-gap theory and a new multidimensional RDM interval-arithmetic. Electr. Rev. 88(8), 71–76 (2013)
Porta, J.M.: CuikSlam: A kinematics-based approach to SLAM. In: Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005. ICRA 2005, pp. 2425–2431. IEEE (2005)
Prade, H.M.: An outline of fuzzy or possibilistic models for queuing systems. In: Fuzzy sets, pp. 147–153. Springer (1980)
Rauh, A., Hofer, E.P.: Interval methods for optimal control. In: Variational Analysis and Aerospace Engineering, pp. 397–418. Springer (2009)
Rauh, A., Senkel, L., Kersten, J., Aschemann, H.: Interval methods for sensitivity-based model-predictive control of solid oxide fuel cell systems. Reliab. Comput. 19(4), 361–384 (2014)
Rodríguez, J.J., Alonso, C.J., Maestro, J.A.: Support vector machines of interval-based features for time series classification. Knowl. Based Syst. 18(4–5), 171–178 (2005)
Rohn, J.: Input-output model with interval data. Econom. J. Econom. Soc. 767–769 (1980)
Saraev, P.V.: Numerical methods of interval analysis in learning neural network. Autom. Remote Control 73(11), 1865–1876 (2012)
Schmidhuber, J.: Deep learning in neural networks: an overview. Neural Netw. 61, 85–117 (2015)
Sevastjanov, P., Dymova, L.: Fuzzy solution of interval linear equations. In: PPAM 2007 Proceedings. Lecture Notes in Computer Science, vol. 4967, pp. 1392–1399 (2009)
Sevastjanov, P., Tikhonenko, A.: Direct interval extension of TOPSIS method. In: PPAM 2011 (9th International Conference on Parallel Processing and Applied Mathematics) Proceedings. Lecture Notes in Computer Science, vol. 7204, pp. 504–512 (2012)
Sharaya, I.A.: On maximal inner estimation of the solution sets of linear systems with interval parameters. Reliab. Comput. 7(5), 409–424 (2001)
Shary, S.P.: Algebraic approach to the interval linear static identification, tolerance, and control problems, or one more application of kaucher arithmetic. Reliab. Comput. 2(1), 3–33 (1996)
Shary, S.P.: Finite-Dimensional Interval Analysis. Institute of Computational Technologies, SB RAS, Novosibirsk (2013)
Shary, S.P.: Strong compatibility in data fitting problem under interval data uncertainty. Comput. Technol. 22(2), 150–172 (2017)
Skalna, I.: On checking the monotonicity of parametric interval solution of linear structural systems. In: PPAM 2007 Proceedings. Lecture Notes in Computer Science, vol. 4967, pp. 1400–1409 (2009)
Skalna, I., Hladík, M.: A new method for computing a p-solution to parametric interval linear systems with affine-linear and nonlinear dependencies. BIT Numer. Math. 57(4), 1109–1136 (2017)
Škulj, D.: Finite discrete time Markov chains with interval probabilities. In: Soft Methods for Integrated Uncertainty Modelling, pp. 299–306. Springer (2006)
Sliwka, J., Bar, F.L., Reynet, O., Jaulin, L.: Using interval methods in the context of robust localization of underwater robots. In: 2011 Annual Meeting of the North American on Fuzzy Information Processing Society (NAFIPS), pp. 1–6. IEEE (2011)
Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling. Princeton University Press (2009)
Swiderski, B., Kurek, J., Osowski, S.: Multistage classification by using logistic regression and neural networks for assessment of financial condition of company. Decis. Support Syst. 52(2), 539–547 (2012)
Swiderski, B., Osowski, S., Kurek, J., Kruk, M., Lugowska, I., Rutkowski, P., Barhoumi, W.: Novel methods of image description and ensemble of classifiers in application to mammogram analysis. Expert Syst. Appl. 81, 67–78 (2017)
Tomaszewska, K., Piegat, A.: Uncertainty analysis for efficient fuel allocation using info-gap theory. Inf. Syst. Manag. 4, (2015)
Utkin, L.V., Chekh, A.I.: A new robust model of one-class classification by interval-valued training data using the triangular kernel. Neural Netw. 69, 99–110 (2015)
Vehí, J., Ferrer, I., Sainz, M.Á.: A survey of applications of interval analysis to robust control. IFAC Proc. 35(1), 389–400 (2002)
Vehí, J., Rodellar, J., Sainz, M., Armengol, J.: Analysis of the robustness of predictive controllers via modal intervals. Reliab. Comput. 6(3), 281–301 (2000)
Watanabe, Y., Nagatou, K., Plum, M., Nakao, M.T.: Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces. SIAM J. Numer. Anal. 52(2), 975–992 (2014)
Weinhofer, J.K., Haas, W.C.: \(H_\infty \)-control using polynomial matrices and interval arithmetic. Reliab. Comput. 3(3), 229–237 (1997)
Wilinski, A., Osowski, S., Siwek, K.: Gene selection for cancer classification through ensemble of methods. In: International Conference on Adaptive and Natural Computing Algorithms, pp. 507–516. Springer (2009)
Woodside, C.M., Majumdar, S., Neilson, J.E.: Interval arithmetic for computing performance guarantees in client-server software. In: International Conference on Computing and Information, pp. 535–546. Springer (1991)
Yager, R.R., Kreinovich, V.: Fair division under interval uncertainty. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8(5), 611–618 (2000)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Kubica, B.J. (2019). Applications of Interval B&BT Methods. In: Interval Methods for Solving Nonlinear Constraint Satisfaction, Optimization and Similar Problems. Studies in Computational Intelligence, vol 805. Springer, Cham. https://doi.org/10.1007/978-3-030-13795-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-13795-3_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-13794-6
Online ISBN: 978-3-030-13795-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)