Showing 1–3 of 3 results for author: Mandelbaum, E

veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System

Authors: Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli

Abstract: In this short paper, we present our ongoing work on the veriFIRE project -- a collaboration between industry and academia, aimed at using verification for increasing the reliability of a real-world, safety-critical system. The system we target is an airborne platform for wildfire detection, which incorporates two deep neural networks. We describe the system and its properties of interest, and disc… ▽ More In this short paper, we present our ongoing work on the veriFIRE project -- a collaboration between industry and academia, aimed at using verification for increasing the reliability of a real-world, safety-critical system. The system we target is an airborne platform for wildfire detection, which incorporates two deep neural networks. We describe the system and its properties of interest, and discuss our attempts to verify the system's consistency, i.e., its ability to continue and correctly classify a given input, even if the wildfire it describes increases in intensity. We regard this work as a step towards the incorporation of academic-oriented verification tools into real-world systems of interest. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: To appear in Proceedings of the 25th International Symposium on Formal Methods (FM)

Ring-type singular solutions of the biharmonic nonlinear Schrodinger equation

Authors: Guy Baruch, Gadi Fibich, Elad Mandelbaum

Abstract: We present new singular solutions of the biharmonic nonlinear Schrodinger equation in dimension d and nonlinearity exponent 2σ+1. These solutions collapse with the quasi self-similar ring profile, with ring width L(t) that vanishes at singularity, and radius proportional to L^α, where α=(4-σ)/(σ(d-1)). The blowup rate of these solutions is 1/(3+α) for 4/d\leσ<4, and slightly faster than 1/4 for… ▽ More We present new singular solutions of the biharmonic nonlinear Schrodinger equation in dimension d and nonlinearity exponent 2σ+1. These solutions collapse with the quasi self-similar ring profile, with ring width L(t) that vanishes at singularity, and radius proportional to L^α, where α=(4-σ)/(σ(d-1)). The blowup rate of these solutions is 1/(3+α) for 4/d\leσ<4, and slightly faster than 1/4 for σ=4. These solutions are analogous to the ring-type solutions of the nonlinear Schrodinger equation. △ Less

Submitted 26 January, 2010; originally announced January 2010.

Comments: 21 pages, 13 figures, research article

MSC Class: 35Q55; 35G25

Journal ref: Nonlinearity, Volume 23, Number 11, pp. 2867, 2010

Singular solutions of the biharmonic Nonlinear Schrodinger equation

Authors: G. Baruch, G. Fibich, E. Mandelbaum

Abstract: We consider singular solutions of the biharmonic NLS. In the L^2-critical case, the blowup rate is bounded by a quartic-root power law, the solution approaches a self-similar profile, and a finite amount of L^2-norm, which is no less than the critical power, concentrates into the singularity ("strong collapse"). In the L^2-critical and supercritical cases, we use asymptotic analysis and numerica… ▽ More We consider singular solutions of the biharmonic NLS. In the L^2-critical case, the blowup rate is bounded by a quartic-root power law, the solution approaches a self-similar profile, and a finite amount of L^2-norm, which is no less than the critical power, concentrates into the singularity ("strong collapse"). In the L^2-critical and supercritical cases, we use asymptotic analysis and numerical simulations to characterize singular solutions with a peak-type self-similar collapsing core. In the critical case, the blowup rate is slightly faster than a quartic-root, and the self-similar profile is given by the standing-wave ground-state. In the supercritical case, the blowup rate is exactly a quartic-root, and the self-similar profile is a zero-Hamiltonian solution of a nonlinear eigenvalue problem. These findings are verified numerically (up to focusing levels of 10^8) using an adaptive grid method. We also calculate the ground states of the standing-wave equations and the critical power for collapse in two and three dimensions. △ Less

Submitted 7 December, 2009; originally announced December 2009.

Comments: 30 pages, 25 figures

MSC Class: 35Q55; 35G25