Senkel, Luise; Rauh, Andreas; Aschemann, Harald Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation. (English) Zbl 1301.93041 Math. Comput. Sci. 8, No. 3-4, 543-561 (2014). MSC: 93B12 93D09 93E15 93C41 PDFBibTeX XMLCite \textit{L. Senkel} et al., Math. Comput. Sci. 8, No. 3--4, 543--561 (2014; Zbl 1301.93041) Full Text: DOI
Rauh, Andreas; Senkel, Luise; Auer, Ekaterina; Aschemann, Harald Interval methods for real-time capable robust control of solid oxide fuel cell systems. (English) Zbl 1302.65120 Math. Comput. Sci. 8, No. 3-4, 525-542 (2014). MSC: 65G30 93B35 34H05 93C95 PDFBibTeX XMLCite \textit{A. Rauh} et al., Math. Comput. Sci. 8, No. 3--4, 525--542 (2014; Zbl 1302.65120) Full Text: DOI
Bethencourt, Aymeric; Jaulin, Luc Solving non-linear constraint satisfaction problems involving time-dependent functions. (Solving non-linear constraint satisfaction problems involving time-dependant functions.) (English) Zbl 1302.65122 Math. Comput. Sci. 8, No. 3-4, 503-523 (2014). MSC: 65G40 65G30 PDFBibTeX XMLCite \textit{A. Bethencourt} and \textit{L. Jaulin}, Math. Comput. Sci. 8, No. 3--4, 503--523 (2014; Zbl 1302.65122) Full Text: DOI
Ibn Seddik, Mohamed Saad; Jaulin, Luc; Grimsdale, Jonathan Phase based localization for underwater vehicles using interval analysis. (English) Zbl 1302.65126 Math. Comput. Sci. 8, No. 3-4, 495-502 (2014). MSC: 65G40 PDFBibTeX XMLCite \textit{M. S. Ibn Seddik} et al., Math. Comput. Sci. 8, No. 3--4, 495--502 (2014; Zbl 1302.65126) Full Text: DOI
Alexandre dit Sandretto, Julien; Trombettoni, Gilles; Daney, David Interval methods for model qualification: methodology and advanced application. (English) Zbl 1302.65125 Math. Comput. Sci. 8, No. 3-4, 479-493 (2014). MSC: 65G40 62P30 93C85 PDFBibTeX XMLCite \textit{J. Alexandre dit Sandretto} et al., Math. Comput. Sci. 8, No. 3--4, 479--493 (2014; Zbl 1302.65125) Full Text: DOI
Haj Chhadé, Hiba; Gning, Amadou; Abdallah, Fahed; Mougharbel, Imad; Julier, Simon Non parametric distributed inference in sensor networks using box particles messages. (English) Zbl 1302.62118 Math. Comput. Sci. 8, No. 3-4, 455-478 (2014). MSC: 62G99 62H99 05C90 62F15 65G30 PDFBibTeX XMLCite \textit{H. Haj Chhadé} et al., Math. Comput. Sci. 8, No. 3--4, 455--478 (2014; Zbl 1302.62118) Full Text: DOI
Kumkov, Sergey S.; Le Ménec, Stéphane; Patsko, Valerii S. Level sets of the value function in differential games with two pursuers and one evader. Interval analysis interpretation. (English) Zbl 1303.49015 Math. Comput. Sci. 8, No. 3-4, 443-454 (2014). MSC: 49N75 49N70 49M30 49N90 91A23 91A24 PDFBibTeX XMLCite \textit{S. S. Kumkov} et al., Math. Comput. Sci. 8, No. 3--4, 443--454 (2014; Zbl 1303.49015) Full Text: DOI
Rego, Francisco; De Weerdt, Elwin; van Oort, Eddy; van Kampen, Erik-Jan; Chu, Qiping; Pascoal, António M. Determination of inner and outer bounds of reachable sets through subpavings. (English) Zbl 1338.65276 Math. Comput. Sci. 8, No. 3-4, 425-442 (2014). MSC: 65P99 93C15 37M99 65G40 37N35 PDFBibTeX XMLCite \textit{F. Rego} et al., Math. Comput. Sci. 8, No. 3--4, 425--442 (2014; Zbl 1338.65276) Full Text: DOI
Maïga, Moussa; Ramdani, Nacim; Travé-Massuyès, Louise; Combastel, Christophe A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability. (English) Zbl 1302.65123 Math. Comput. Sci. 8, No. 3-4, 407-423 (2014). MSC: 65G40 93C30 34A38 PDFBibTeX XMLCite \textit{M. Maïga} et al., Math. Comput. Sci. 8, No. 3--4, 407--423 (2014; Zbl 1302.65123) Full Text: DOI HAL
Ravanbod, Laleh; Verdière, Nathalie; Jauberthie, Carine Determination of set-membership identifiability sets. (English) Zbl 1302.65124 Math. Comput. Sci. 8, No. 3-4, 391-406 (2014). MSC: 65G40 PDFBibTeX XMLCite \textit{L. Ravanbod} et al., Math. Comput. Sci. 8, No. 3--4, 391--406 (2014; Zbl 1302.65124) Full Text: DOI HAL
Aubry, Clément; Desmare, Rozenn; Jaulin, Luc Kernel characterization of an interval function. (English) Zbl 1302.65117 Math. Comput. Sci. 8, No. 3-4, 379-390 (2014). MSC: 65G20 65G30 65G40 68T40 PDFBibTeX XMLCite \textit{C. Aubry} et al., Math. Comput. Sci. 8, No. 3--4, 379--390 (2014; Zbl 1302.65117) Full Text: DOI
Patil, Bhagyesh V.; Nataraj, P. S. V. An improved Bernstein global optimization algorithm for MINLP problems with application in process industry. (English) Zbl 1302.90139 Math. Comput. Sci. 8, No. 3-4, 357-377 (2014). MSC: 90C11 90C26 90C90 PDFBibTeX XMLCite \textit{B. V. Patil} and \textit{P. S. V. Nataraj}, Math. Comput. Sci. 8, No. 3--4, 357--377 (2014; Zbl 1302.90139) Full Text: DOI
Just, Elke Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification. (English) Zbl 1302.65119 Math. Comput. Sci. 8, No. 3-4, 341-355 (2014). MSC: 65G30 65G40 65H10 65K05 90C57 68N30 PDFBibTeX XMLCite \textit{E. Just}, Math. Comput. Sci. 8, No. 3--4, 341--355 (2014; Zbl 1302.65119) Full Text: DOI
Hladík, Milan; Ratschan, Stefan Efficient solution of a class of quantified constraints with quantifier prefix exists-forall. (English) Zbl 1302.65118 Math. Comput. Sci. 8, No. 3-4, 329-340 (2014). MSC: 65G20 65H20 65G30 PDFBibTeX XMLCite \textit{M. Hladík} and \textit{S. Ratschan}, Math. Comput. Sci. 8, No. 3--4, 329--340 (2014; Zbl 1302.65118) Full Text: DOI arXiv
Rohn, Jiri Verification of linear (in)dependence in finite precision arithmetic. (English) Zbl 1302.65121 Math. Comput. Sci. 8, No. 3-4, 323-328 (2014). MSC: 65G30 65G50 PDFBibTeX XMLCite \textit{J. Rohn}, Math. Comput. Sci. 8, No. 3--4, 323--328 (2014; Zbl 1302.65121) Full Text: DOI
Ramdani, Nacim (ed.); Jaulin, Luc (ed.) Foreword. (English) Zbl 1301.00077 Math. Comput. Sci. 8, No. 3-4, 321 (2014). MSC: 00B25 65-06 PDFBibTeX XMLCite \textit{N. Ramdani} (ed.) and \textit{L. Jaulin} (ed.), Math. Comput. Sci. 8, No. 3--4, 321 (2014; Zbl 1301.00077) Full Text: DOI