Publications related to Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Quench Detection and Temperature Measurement With Fiber Optic Sensors

Kamil Sedlák, Davide Uglietti, Christoph Müller

For the EU DEMO conductor testing, a temperature sensor based on Fiber Bragg Grating (FBG) optical fiber is studied at the EPFL Swiss Plasma Center. The SULTAN test facility has been upgraded to use fiber optic sensor for temperature monitoring and quench ...

IEEE Institute of Electrical and Electronics Engineers2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks

Mario Paolone, Willem Lambrichts

In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...

2024

Critical degeneracy in a nonlinear hyperbolic equation can produce atypical instability

Charles Stuart

This paper deals with the initial value problem for a semilinear wave equation on a bounded domain and solutions are required to vanish on the boundary of this domain. The essential feature of the situation considered here is that the ellipticity of the sp ...

2024

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

Space-time wave packets with reduced divergence and tunable group velocity generated in free space after multi-mode fiber propagation

Tobias Kippenberg, Maxim Karpov, Hao Song, Xinzhou Su

Previously, space-time wave packets (STWPs) have been gen-erated in free space with reduced diffraction and a tunable group velocity by combining multiple frequency comb lines each carrying a single Bessel mode with a unique wave num-ber. It might be poten ...

Optica Publishing Group2023

Spatiotemporal dissipative soliton resonances in multimode fiber lasers

Haoye Qin, Gang Wang, Bo Fu, Xuchen Wang, Hao Ouyang

Spatiotemporal mode-locking in multimode fiber lasers is intriguing for the complex nonlinear dynamics and the increase of theoretical energy limit. In this paper, we enrich spatiotemporal mode-locking with dissipative soliton resonances, a kind of soliton ...

PERGAMON-ELSEVIER SCIENCE LTD2023

Tunable pump compression and fast modulation for pulsed THz generation

Ileana-Cristina Benea-Chelmus, Alessandro Tomasino, Yazan Lampert Almahmoud, Shima Rajabali

We demonstrate tunable dispersion compensation of femtosecond pulses at telecom wavelengths for broadband Terahertz generation in 7.5-meter fiber link using a Silicon prism pair. The prism pair enhances the amplitude of the THz E-field in InGaAs photocondu ...

IEEE2023

Humidity-insensitive optical fibers for distributed sensing applications

Luc Thévenaz, Tiago Filipe Pimentel Das Neves

Humidity is a critical environmental factor in various applications, and its temperature dependence must be considered when developing thermo-hygrometer fiber sensors. The optical fibers that constitute the sensor must have a temperature reference, which s ...

2023