Showing 1–42 of 42 results for author: Baader, F

RIS-assisted Coverage Enhancement in mmWave Integrated Sensing and Communication Networks

Authors: Xu Gan, Chongwen Huang, Zhaohui Yang, Xiaoming Chen, Faouzi Bader, Zhaoyang Zhang, Chau Yuen, Yong Liang Guan, Merouane Debbah

Abstract: Integrated sensing and communication (ISAC) has emerged as a promising technology to facilitate high-rate communications and super-resolution sensing, particularly operating in the millimeter wave (mmWave) band. However, the vulnerability of mmWave signals to blockages severely impairs ISAC capabilities and coverage. To tackle this, an efficient and low-cost solution is to deploy distributed recon… ▽ More Integrated sensing and communication (ISAC) has emerged as a promising technology to facilitate high-rate communications and super-resolution sensing, particularly operating in the millimeter wave (mmWave) band. However, the vulnerability of mmWave signals to blockages severely impairs ISAC capabilities and coverage. To tackle this, an efficient and low-cost solution is to deploy distributed reconfigurable intelligent surfaces (RISs) to construct virtual links between the base stations (BSs) and users in a controllable fashion. In this paper, we investigate the generalized RIS-assisted mmWave ISAC networks considering the blockage effect, and examine the beneficial impact of RISs on the coverage rate utilizing stochastic geometry. Specifically, taking into account the coupling effect of ISAC dual functions within the same network topology, we derive the conditional coverage probability of ISAC performance for two association cases, based on the proposed beam pattern model and user association policies. Then, the marginal coverage rate is calculated by combining these two cases through the distance-dependent thinning method. Simulation results verify the accuracy of derived theoretical formulations and provide valuable guidelines for the practical network deployment. Specifically, our results indicate the superiority of the RIS deployment with the density of 40 km${}^{-2}$ BSs, and that the joint coverage rate of ISAC performance exhibits potential growth from $67.1\%$ to $92.2\%$ with the deployment of RISs. △ Less

Submitted 6 July, 2024; originally announced July 2024.

Robust Beamforming with Gradient-based Liquid Neural Network

Authors: Xinquan Wang, Fenghao Zhu, Chongwen Huang, Ahmed Alhammadi, Faouzi Bader, Zhaoyang Zhang, Chau Yuen, Merouane Debbah

Abstract: Millimeter-wave (mmWave) multiple-input multiple-output (MIMO) communication with the advanced beamforming technologies is a key enabler to meet the growing demands of future mobile communication. However, the dynamic nature of cellular channels in large-scale urban mmWave MIMO communication scenarios brings substantial challenges, particularly in terms of complexity and robustness. To address the… ▽ More Millimeter-wave (mmWave) multiple-input multiple-output (MIMO) communication with the advanced beamforming technologies is a key enabler to meet the growing demands of future mobile communication. However, the dynamic nature of cellular channels in large-scale urban mmWave MIMO communication scenarios brings substantial challenges, particularly in terms of complexity and robustness. To address these issues, we propose a robust gradient-based liquid neural network (GLNN) framework that utilizes ordinary differential equation-based liquid neurons to solve the beamforming problem. Specifically, our proposed GLNN framework takes gradients of the optimization objective function as inputs to extract the high-order channel feature information, and then introduces a residual connection to mitigate the training burden. Furthermore, we use the manifold learning technique to compress the search space of the beamforming problem. These designs enable the GLNN to effectively maintain low complexity while ensuring strong robustness to noisy and highly dynamic channels. Extensive simulation results demonstrate that the GLNN can achieve 4.15% higher spectral efficiency than that of typical iterative algorithms, and reduce the time consumption to only 1.61% that of conventional methods. △ Less

Submitted 17 May, 2024; v1 submitted 12 May, 2024; originally announced May 2024.

GenAINet: Enabling Wireless Collective Intelligence via Knowledge Transfer and Reasoning

Authors: Hang Zou, Qiyang Zhao, Lina Bariah, Yu Tian, Mehdi Bennis, Samson Lasaulce, Merouane Debbah, Faouzi Bader

Abstract: Generative artificial intelligence (GenAI) and communication networks are expected to have groundbreaking synergies in 6G. Connecting GenAI agents over a wireless network can potentially unleash the power of collective intelligence and pave the way for artificial general intelligence (AGI). However, current wireless networks are designed as a "data pipe" and are not suited to accommodate and lever… ▽ More Generative artificial intelligence (GenAI) and communication networks are expected to have groundbreaking synergies in 6G. Connecting GenAI agents over a wireless network can potentially unleash the power of collective intelligence and pave the way for artificial general intelligence (AGI). However, current wireless networks are designed as a "data pipe" and are not suited to accommodate and leverage the power of GenAI. In this paper, we propose the GenAINet framework in which distributed GenAI agents communicate knowledge (high-level concepts or abstracts) to accomplish arbitrary tasks. We first provide a network architecture integrating GenAI capabilities to manage both network protocols and applications. Building on this, we investigate effective communication and reasoning problems by proposing a semantic-native GenAINet. Specifically, GenAI agents extract semantic concepts from multi-modal raw data, build a knowledgebase representing their semantic relations, which is retrieved by GenAI models for planning and reasoning. Under this paradigm, an agent can learn fast from other agents' experience for making better decisions with efficient communications. Furthermore, we conduct two case studies where in wireless device query, we show that extracting and transferring knowledge can improve query accuracy with reduced communication; and in wireless power control, we show that distributed agents can improve decisions via collaborative reasoning. Finally, we address that develo** a hierarchical semantic level Telecom world model is a key path towards network of collective intelligence. △ Less

Submitted 28 February, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

Envisioning the Future Role of 3D Wireless Networks in Preventing and Managing Disasters and Emergency Situations

Authors: Ahmed Alhammadi, Anuj Abraham, Aymen Fakhreddine, Yu Tian, Jun Du, Faouzi Bader

Abstract: In an era marked by unprecedented climatic upheavals and evolving urban landscapes, the role of advanced communication networks in disaster prevention and management is becoming increasingly critical. This paper explores the transformative potential of 3D wireless networks, an innovative amalgamation of terrestrial, aerial, and satellite technologies, in enhancing disaster response mechanisms. We… ▽ More In an era marked by unprecedented climatic upheavals and evolving urban landscapes, the role of advanced communication networks in disaster prevention and management is becoming increasingly critical. This paper explores the transformative potential of 3D wireless networks, an innovative amalgamation of terrestrial, aerial, and satellite technologies, in enhancing disaster response mechanisms. We delve into a myriad of use cases, ranging from large facility evacuations to wildfire management, underscoring the versatility of these networks in ensuring timely communication, real-time situational awareness, and efficient resource allocation during crises. We also present an overview of cutting-edge prototypes, highlighting the practical feasibility and operational efficacy of 3D wireless networks in real-world scenarios. Simultaneously, we acknowledge the challenges posed by aspects such as cybersecurity, cross-border coordination, and physical layer technological hurdles, and propose future directions for research and development in this domain. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Fairness-Driven Optimization of RIS-Augmented 5G Networks for Seamless 3D UAV Connectivity Using DRL Algorithms

Authors: Yu Tian, Ahmed Alhammadi, Jiguang He, Aymen Fakhreddine, Faouzi Bader

Abstract: In this paper, we study the problem of joint active and passive beamforming for reconfigurable intelligent surface (RIS)-assisted massive multiple-input multiple-output systems towards the extension of the wireless cellular coverage in 3D, where multiple RISs, each equipped with an array of passive elements, are deployed to assist a base station (BS) to simultaneously serve multiple unmanned aeria… ▽ More In this paper, we study the problem of joint active and passive beamforming for reconfigurable intelligent surface (RIS)-assisted massive multiple-input multiple-output systems towards the extension of the wireless cellular coverage in 3D, where multiple RISs, each equipped with an array of passive elements, are deployed to assist a base station (BS) to simultaneously serve multiple unmanned aerial vehicles (UAVs) in the same time-frequency resource of 5G wireless communications. With a focus on ensuring fairness among UAVs, our objective is to maximize the minimum signal-to-interference-plus-noise ratio (SINR) at UAVs by jointly optimizing the transmit beamforming parameters at the BS and phase shift parameters at RISs. We propose two novel algorithms to address this problem. The first algorithm aims to mitigate interference by calculating the BS beamforming matrix through matrix inverse operations once the phase shift parameters are determined. The second one is based on the principle that one RIS element only serves one UAV and the phase shift parameter of this RIS element is optimally designed to compensate the phase offset caused by the propagation and fading. To obtain the optimal parameters, we utilize one state-of-the-art reinforcement learning algorithm, deep deterministic policy gradient, to solve these two optimization problems. Simulation results are provided to illustrate the effectiveness of our proposed solution and some insightful remarks are observed. △ Less

Submitted 14 November, 2023; originally announced December 2023.

Streamlining Energy Transition Scenarios to Key Policy Decisions

Authors: Florian Joseph Baader, Stefano Moret, Wolfram Wiesemann, Iain Staffell, André Bardow

Abstract: Uncertainties surrounding the energy transition often lead modelers to present large sets of scenarios that are challenging for policymakers to interpret and act upon. An alternative approach is to define a few qualitative storylines from stakeholder discussions, which can be affected by biases and infeasibilities. Leveraging decision trees, a popular machine-learning technique, we derive interpre… ▽ More Uncertainties surrounding the energy transition often lead modelers to present large sets of scenarios that are challenging for policymakers to interpret and act upon. An alternative approach is to define a few qualitative storylines from stakeholder discussions, which can be affected by biases and infeasibilities. Leveraging decision trees, a popular machine-learning technique, we derive interpretable storylines from many quantitative scenarios and show how the key decisions in the energy transition are interlinked. Specifically, our results demonstrate that choosing a high deployment of renewables and sector coupling makes global decarbonization scenarios robust against uncertainties in climate sensitivity and demand. Also, the energy transition to a fossil-free Europe is primarily determined by choices on the roles of bioenergy, storage, and heat electrification. Our transferrable approach translates vast energy model results into a small set of critical decisions, guiding decision-makers in prioritizing the key factors that will shape the energy transition. △ Less

Submitted 11 November, 2023; originally announced November 2023.

On the Sum Secrecy Rate of Multi-User Holographic MIMO Networks

Authors: Arthur S. de Sena, Jiguang He, Ahmed Al Hammadi, Chongwen Huang, Faouzi Bader, Merouane Debbah, Mathias Fink

Abstract: The emerging concept of extremely-large holographic multiple-input multiple-output (HMIMO), beneficial from compactly and densely packed cost-efficient radiating meta-atoms, has been demonstrated for enhanced degrees of freedom even in pure line-of-sight conditions, enabling tremendous multiplexing gain for the next-generation communication systems. Most of the reported works focus on energy and s… ▽ More The emerging concept of extremely-large holographic multiple-input multiple-output (HMIMO), beneficial from compactly and densely packed cost-efficient radiating meta-atoms, has been demonstrated for enhanced degrees of freedom even in pure line-of-sight conditions, enabling tremendous multiplexing gain for the next-generation communication systems. Most of the reported works focus on energy and spectrum efficiency, path loss analyses, and channel modeling. The extension to secure communications remains unexplored. In this paper, we theoretically characterize the secrecy capacity of the HMIMO network with multiple legitimate users and one eavesdropper while taking into consideration artificial noise and max-min fairness. We formulate the power allocation (PA) problem and address it by following successive convex approximation and Taylor expansion. We further study the effect of fixed PA coefficients, imperfect channel state information, inter-element spacing, and the number of Eve's antennas on the sum secrecy rate. Simulation results show that significant performance gain with more than 100\% increment in the high signal-to-noise ratio (SNR) regime for the two-user case is obtained by exploiting adaptive/flexible PA compared to the case with fixed PA coefficients. △ Less

Submitted 22 October, 2023; originally announced October 2023.

Comments: 7 pages, 7 figures, submitted to IEEE ICC 2024

Multimodal Transformers for Wireless Communications: A Case Study in Beam Prediction

Authors: Yu Tian, Qiyang Zhao, Zine el abidine Kherroubi, Fouzi Boukhalfa, Kebin Wu, Faouzi Bader

Abstract: Wireless communications at high-frequency bands with large antenna arrays face challenges in beam management, which can potentially be improved by multimodality sensing information from cameras, LiDAR, radar, and GPS. In this paper, we present a multimodal transformer deep learning framework for sensing-assisted beam prediction. We employ a convolutional neural network to extract the features from… ▽ More Wireless communications at high-frequency bands with large antenna arrays face challenges in beam management, which can potentially be improved by multimodality sensing information from cameras, LiDAR, radar, and GPS. In this paper, we present a multimodal transformer deep learning framework for sensing-assisted beam prediction. We employ a convolutional neural network to extract the features from a sequence of images, point clouds, and radar raw data sampled over time. At each convolutional layer, we use transformer encoders to learn the hidden relations between feature tokens from different modalities and time instances over abstraction space and produce encoded vectors for the next-level feature extraction. We train the model on a combination of different modalities with supervised learning. We try to enhance the model over imbalanced data by utilizing focal loss and exponential moving average. We also evaluate data processing and augmentation techniques such as image enhancement, segmentation, background filtering, multimodal data flip**, radar signal transformation, and GPS angle calibration. Experimental results show that our solution trained on image and GPS data produces the best distance-based accuracy of predicted beams at 78.44%, with effective generalization to unseen day scenarios near 73% and night scenarios over 84%. This outperforms using other modalities and arbitrary data processing techniques, which demonstrates the effectiveness of transformers with feature fusion in performing radio beam prediction from images and GPS. Furthermore, our solution could be pretrained from large sequences of multimodality wireless data, on fine-tuning for multiple downstream radio network tasks. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Joint Semantic-Native Communication and Inference via Minimal Simplicial Structures

Authors: Qiyang Zhao, Hang Zou, Mehdi Bennis, Merouane Debbah, Ebtesam Almazrouei, Faouzi Bader

Abstract: In this work, we study the problem of semantic communication and inference, in which a student agent (i.e. mobile device) queries a teacher agent (i.e. cloud sever) to generate higher-order data semantics living in a simplicial complex. Specifically, the teacher first maps its data into a k-order simplicial complex and learns its high-order correlations. For effective communication and inference,… ▽ More In this work, we study the problem of semantic communication and inference, in which a student agent (i.e. mobile device) queries a teacher agent (i.e. cloud sever) to generate higher-order data semantics living in a simplicial complex. Specifically, the teacher first maps its data into a k-order simplicial complex and learns its high-order correlations. For effective communication and inference, the teacher seeks minimally sufficient and invariant semantic structures prior to conveying information. These minimal simplicial structures are found via judiciously removing simplices selected by the Hodge Laplacians without compromising the inference query accuracy. Subsequently, the student locally runs its own set of queries based on a masked simplicial convolutional autoencoder (SCAE) leveraging both local and remote teacher's knowledge. Numerical results corroborate the effectiveness of the proposed approach in terms of improving inference query accuracy under different channel conditions and simplicial structures. Experiments on a coauthorship dataset show that removing simplices by ranking the Laplacian values yields a 85% reduction in payload size without sacrificing accuracy. Joint semantic communication and inference by masked SCAE improves query accuracy by 25% compared to local student based query and 15% compared to remote teacher based query. Finally, incorporating channel semantics is shown to effectively improve inference accuracy, notably at low SNR values. △ Less

Submitted 31 August, 2023; originally announced August 2023.

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

Authors: Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Abstract: Logic-based approaches to AI have the advantage that their behavior can in principle be explained with the help of proofs of the computed consequences. For ontologies based on Description Logic (DL), we have put this advantage into practice by showing how proofs for consequences derived by DL reasoners can be computed and displayed in a user-friendly way. However, these methods are insufficient in… ▽ More Logic-based approaches to AI have the advantage that their behavior can in principle be explained with the help of proofs of the computed consequences. For ontologies based on Description Logic (DL), we have put this advantage into practice by showing how proofs for consequences derived by DL reasoners can be computed and displayed in a user-friendly way. However, these methods are insufficient in applications where also numerical reasoning is relevant. The present paper considers proofs for DLs extended with concrete domains (CDs) based on the rational numbers, which leave reasoning tractable if integrated into the lightweight DL $\mathcal{E}\hspace{-0.1em}\mathcal{L}_\bot$. Since no implemented DL reasoner supports these CDs, we first develop reasoning procedures for them, and show how they can be combined with reasoning approaches for pure DLs, both for $\mathcal{E}\hspace{-0.1em}\mathcal{L}_\bot$ and the more expressive DL $\mathcal{ALC}$. These procedures are designed such that it is easy to extract proofs from them. We show how the extracted CD proofs can be combined with proofs on the DL side into integrated proofs that explain both the DL and the CD reasoning. △ Less

Submitted 7 August, 2023; originally announced August 2023.

Comments: Extended version of a paper accepted at the 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023). The software and the dataset described in the paper are available online, see https://doi.org/10.5281/zenodo.8208780

MSC Class: 68-06 ACM Class: F.4.1; I.2.4

Large Generative AI Models for Telecom: The Next Big Thing?

Authors: Lina Bariah, Qiyang Zhao, Hang Zou, Yu Tian, Faouzi Bader, Merouane Debbah

Abstract: The evolution of generative artificial intelligence (GenAI) constitutes a turning point in resha** the future of technology in different aspects. Wireless networks in particular, with the blooming of self-evolving networks, represent a rich field for exploiting GenAI and rea** several benefits that can fundamentally change the way how wireless networks are designed and operated nowadays. To be… ▽ More The evolution of generative artificial intelligence (GenAI) constitutes a turning point in resha** the future of technology in different aspects. Wireless networks in particular, with the blooming of self-evolving networks, represent a rich field for exploiting GenAI and rea** several benefits that can fundamentally change the way how wireless networks are designed and operated nowadays. To be specific, large GenAI models are envisioned to open up a new era of autonomous wireless networks, in which multi-modal GenAI models trained over various Telecom data, can be fine-tuned to perform several downstream tasks, eliminating the need for building and training dedicated AI models for each specific task and paving the way for the realization of artificial general intelligence (AGI)-empowered wireless networks. In this article, we aim to unfold the opportunities that can be reaped from integrating large GenAI models into the Telecom domain. In particular, we first highlight the applications of large GenAI models in future wireless networks, defining potential use-cases and revealing insights on the associated theoretical and practical challenges. Furthermore, we unveil how 6G can open up new opportunities through connecting multiple on-device large GenAI models, and hence, paves the way to the collective intelligence paradigm. Finally, we put a forward-looking vision on how large GenAI models will be the key to realize self-evolving networks. △ Less

Submitted 23 December, 2023; v1 submitted 16 June, 2023; originally announced June 2023.

Understanding Telecom Language Through Large Language Models

Authors: Lina Bariah, Hang Zou, Qiyang Zhao, Belkacem Mouhouche, Faouzi Bader, Merouane Debbah

Abstract: The recent progress of artificial intelligence (AI) opens up new frontiers in the possibility of automating many tasks involved in Telecom networks design, implementation, and deployment. This has been further pushed forward with the evolution of generative artificial intelligence (AI), including the emergence of large language models (LLMs), which is believed to be the cornerstone toward realizin… ▽ More The recent progress of artificial intelligence (AI) opens up new frontiers in the possibility of automating many tasks involved in Telecom networks design, implementation, and deployment. This has been further pushed forward with the evolution of generative artificial intelligence (AI), including the emergence of large language models (LLMs), which is believed to be the cornerstone toward realizing self-governed, interactive AI agents. Motivated by this, in this paper, we aim to adapt the paradigm of LLMs to the Telecom domain. In particular, we fine-tune several LLMs including BERT, distilled BERT, RoBERTa and GPT-2, to the Telecom domain languages, and demonstrate a use case for identifying the 3rd Generation Partnership Project (3GPP) standard working groups. We consider training the selected models on 3GPP technical documents (Tdoc) pertinent to years 2009-2019 and predict the Tdoc categories in years 2020-2023. The results demonstrate that fine-tuning BERT and RoBERTa model achieves 84.6% accuracy, while GPT-2 model achieves 83% in identifying 3GPP working groups. The distilled BERT model with around 50% less parameters achieves similar performance as others. This corroborates that fine-tuning pretrained LLM can effectively identify the categories of Telecom language. The developed framework shows a step** stone towards realizing intent-driven and self-evolving wireless networks from Telecom languages, and paves the way for the implementation of generative AI in the Telecom domain. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Microscopic tridomain model of electrical activity in the heart with dynamical gap junctions. Part 2 -- Derivation of the macroscopic tridomain model by unfolding homogenization method

Authors: Fakhrielddine Bader, Mostafa Bendahmane, Mazen Saad, Raafat Talhouk

Abstract: We study the homogenization of a novel microscopic tridomain system, allowing for a more detailed analysis of the properties of cardiac conduction than the classical bidomain and monodomain models. In (Acta Appl.Math. 179 (2022) 1--35), we detail this model in which gap junctions are considered as the connections between adjacent cells in cardiac muscle and could serve as alternative or supporting… ▽ More We study the homogenization of a novel microscopic tridomain system, allowing for a more detailed analysis of the properties of cardiac conduction than the classical bidomain and monodomain models. In (Acta Appl.Math. 179 (2022) 1--35), we detail this model in which gap junctions are considered as the connections between adjacent cells in cardiac muscle and could serve as alternative or supporting pathways for cell-to-cell electrical signal propagation. Departing from this microscopic cellular model, we apply the periodic unfolding method to derive the macroscopic tridomain model. Several difficulties prevent the application of unfolding homogenization results, including the degenerate temporal structure of the tridomain equations and a nonlinear dynamic boundary condition on the cellular membrane. To prove the convergence of the nonlinear terms, especially those defined on the microscopic interface, we use the boundary unfolding operator and a Kolmogorov--Riesz compactness's result. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Comments: arXiv admin note: text overlap with arXiv:2201.03914

Journal ref: Asymptotic Analysis, IOS Press, 2022, pp.1-32

Microscopic Tridomain Model of Electrical Activity in the Heart with Dynamical Gap Junctions. Part 1 -- Modeling and Well-Posedness

Authors: Fakhrielddine Bader, Mostafa Bendahmane, Mazen Saad, Raafat Talhouk

Abstract: We present a novel microscopic tridomain model describing the electrical activity in cardiac tissue with dynamical gap junctions. The microscopic tridomain system consists of three PDEs modeling the tissue electrical conduction in the intra-and extra-cellular domains, supplemented by a nonlinear ODE system for the dynamics of the ion channels and the gap junctions. We establish the global existenc… ▽ More We present a novel microscopic tridomain model describing the electrical activity in cardiac tissue with dynamical gap junctions. The microscopic tridomain system consists of three PDEs modeling the tissue electrical conduction in the intra-and extra-cellular domains, supplemented by a nonlinear ODE system for the dynamics of the ion channels and the gap junctions. We establish the global existence and uniqueness of the weak solutions to our microscopic tridomain model. The global existence of solution, which constitutes the main result of this paper, is proved by means of an approximate non-degenerate system, the Faedo-Galerkin method, and an appropriate compactness argument. △ Less

Submitted 31 May, 2022; originally announced May 2022.

Journal ref: Acta Applicandae Mathematicae, Springer Verlag, 2022, 179 (1), pp.11

Demand Response for Flat Nonlinear MIMO Processes using Dynamic Ram** Constraints

Authors: Florian Joseph Baader, Philipp Althaus, André Bardow, Manuel Dahmen

Abstract: Volatile electricity prices make demand response (DR) attractive for processes that can modulate their production rate. However, if nonlinear dynamic processes must be scheduled simultaneously with their local multi-energy system, the resulting scheduling optimization problems often cannot be solved in real time. For single-input single-output processes, the problem can be simplified without sacri… ▽ More Volatile electricity prices make demand response (DR) attractive for processes that can modulate their production rate. However, if nonlinear dynamic processes must be scheduled simultaneously with their local multi-energy system, the resulting scheduling optimization problems often cannot be solved in real time. For single-input single-output processes, the problem can be simplified without sacrificing feasibility by dynamic ram** constraints that define a derivative of the production rate as the ram** degree of freedom. In this work, we extend dynamic ram** constraints to flat multi-input multi-output processes by a coordinate transformation that gives the true nonlinear ram** limits. Approximating these ram** limits by piecewise affine functions gives a mixed-integer linear formulation that guarantees feasible operation. As a case study, dynamic ram** constraints are derived for a heated reactor-separator process that is subsequently scheduled simultaneously with its multi-energy system. The dynamic ram** formulation bridges the gap between rigorous process models and simplified process representations for real-time scheduling. △ Less

Submitted 24 October, 2022; v1 submitted 29 May, 2022; originally announced May 2022.

Comments: manuscript (23 pages, 11 figures, 1 table), supporting information (10 pages, 3 figures, 5 tables)

Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version

Authors: Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez

Abstract: Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We p… ▽ More Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for computing those proofs, together with a feature called signature-based proof condensation. Moreover, we evaluate the quality of generated proofs using real ontologies. △ Less

Submitted 19 May, 2022; originally announced May 2022.

Wireless Connectivity in the Sub-THz Spectrum: A Path to 6G

Authors: Simon Bicaïs, Jean-Baptiste Doré, Majed Saad, Mohammad Alawieh, Faouzi Bader, Jacques Palicot, Yoann Corre, Gregory Gougeon, Emmanuel Faussurier

Abstract: Wireless communication in millimetre wave bands, namely above 20 GHz and up to 300 GHz, is foreseen as a key enabler technology for the next generation of wireless systems. The huge available bandwidth is contemplated to achieve high data-rate wireless communications, and hence, to fulfil the requirements of future wireless networks. In this paper, we discuss and illustrate new paradigms for the s… ▽ More Wireless communication in millimetre wave bands, namely above 20 GHz and up to 300 GHz, is foreseen as a key enabler technology for the next generation of wireless systems. The huge available bandwidth is contemplated to achieve high data-rate wireless communications, and hence, to fulfil the requirements of future wireless networks. In this paper, we discuss and illustrate new paradigms for the sub-THz physical layer, which either aim at maximizing the spectral efficiency, minimizing the device complexity, or finding good tradeoff. The solutions offered by appropriate modulation schemes and multi-antenna systems are assessed based on various potential scenarios. △ Less

Submitted 17 January, 2022; originally announced January 2022.

Three Scale Unfolding Homogenization Method Applied to Cardiac Bidomain Model

Authors: Fakhrielddine Bader, Mostafa Bendahmane, Mazen Saad, Raafat Talhouk

Abstract: In this paper, we are dealing with a rigorous homogenization result at two different levels for the bidomain model of cardiac electro-physiology. The first level associated with the mesoscopic structure such that the cardiac tissue consists of extracellular and intracellular domains separated by an interface (the sarcolemma). The second one related to the microscopic structure in such a way that t… ▽ More In this paper, we are dealing with a rigorous homogenization result at two different levels for the bidomain model of cardiac electro-physiology. The first level associated with the mesoscopic structure such that the cardiac tissue consists of extracellular and intracellular domains separated by an interface (the sarcolemma). The second one related to the microscopic structure in such a way that the intracellular medium can only be viewed as a periodical layout of unit cells (mitochondria). At the interface between intra-and extracellular media, the fluxes are given by nonlinear functions of ionic and applied currents. A rigorous homogenization process based on unfolding operators is applied to derive the macroscopic (homogenized) model from our meso-microscopic bidomain model. We apply a three-scale unfolding method in the intracellular problem to obtain its homogenized equation at two levels. The first level upscaling of the intracellular structure yields the mesoscopic equation. The second step of the homogenization leads to obtain the intracellular homogenized equation. To prove the convergence of the nonlinear terms, especially those defined on the microscopic interface, we use the boundary unfolding method and a Kolmogorov-Riesz compactness's result. Next, we use the standard unfolding method to homogenize the extracellular problem. Finally, we obtain, at the limit, a reaction-diffusion system on a single domain (the superposition of the intracellular and extracellular media) which contains the homogenized equations depending on three scales. Such a model is widely used for describing the macroscopic behavior of the cardiac tissue, which is recognized to be an important messengers between the cytoplasm (intracellular) and the other extracellular inside the biological cells. Contents 2020 Mathematics Subject Classification. 65N55 and 35A01 and 35B27 and 35K57 and 65M.. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2201.03412

Journal ref: Acta Applicandae Mathematicae, Springer Verlag, 2021, 176 (1), pp.14

Derivation of a new macroscopic bidomain model including three scales for the electrical activity of cardiac tissue

Authors: Fakhrielddine Bader, Mostafa Bendahmane, Mazen Saad, Raafat Talhouk

Abstract: In the present paper, a new three-scale asymptotic homogenization method is proposed to study the electrical behavior of the cardiac tissue structure with multiple heterogeneities at two different levels. The first level is associated with the mesoscopic structure such that the cardiac tissue is composed of extracellular and intracellular domains. The second level is associated with the microscopi… ▽ More In the present paper, a new three-scale asymptotic homogenization method is proposed to study the electrical behavior of the cardiac tissue structure with multiple heterogeneities at two different levels. The first level is associated with the mesoscopic structure such that the cardiac tissue is composed of extracellular and intracellular domains. The second level is associated with the microscopic structure in such a way the intracellular medium can only be viewed as a periodical layout of unit cells (mitochondria). Then, we define two kinds of local cells that are obtained by upscaling methods. The homogenization method is based on a power series expansion which allows determining the macroscopic (homogenized) bidomain model from the microscopic bidomain problem at each structural level. First, we use the two-scale asymptotic expansion to homogenize the extracellular problem. Then, we apply a three-scale asymptotic expansion in the intracellular problem to obtain its homogenized equation at two levels. The first upscaling level of the intracellular structure yields the mesoscopic equation and the second step of the homogenization leads to obtain the intracellular homogenized equation. Both the mesoscopic and microscopic information is obtained by homogenization to capture local characteristics inside the cardiac tissue structure. Finally, we obtain the macroscopic bidomain model and the heart domain coincides with the intracellular medium and extracellular one, which are two inter-penetrating and superimposed continua connected at each point by the cardiac cellular membrane. The interest of the proposed method comes from the fact that it combines microscopic and mesoscopic characteristics to obtain a macroscopic description of the electrical behavior of the heart. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Journal ref: Journal of Engineering Mathematics, Springer Verlag, 2021, 131 (1), pp.3

Simultaneous mixed-integer dynamic scheduling of processes and their energy systems

Authors: Florian Joseph Baader, André Bardow, Manuel Dahmen

Abstract: Increasingly volatile electricity prices make simultaneous scheduling optimization desirable for production processes and their energy systems. Simultaneous scheduling needs to account for both process dynamics and binary on/off-decisions in the energy system leading to challenging mixed-integer dynamic optimization problems. We propose an efficient scheduling formulation consisting of three parts… ▽ More Increasingly volatile electricity prices make simultaneous scheduling optimization desirable for production processes and their energy systems. Simultaneous scheduling needs to account for both process dynamics and binary on/off-decisions in the energy system leading to challenging mixed-integer dynamic optimization problems. We propose an efficient scheduling formulation consisting of three parts: a linear scale-bridging model for the closed-loop process output dynamics, a data-driven model for the process energy demand, and a mixed-integer linear model for the energy system. Process dynamics are discretized by collocation yielding a mixed-integer linear programming (MILP) formulation. We apply the scheduling method to three case studies: a multi-product reactor, a single-product reactor, and a single-product distillation column, demonstrating the applicability to multi-input multi-output processes. For the first two case studies, we can compare our approach to nonlinear optimization and capture 82 % and 95 % of the improvement. The MILP formulation achieves optimization runtimes sufficiently fast for real-time scheduling. △ Less

Submitted 2 March, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: 30 pages, 17 figures, 2 tables

Dynamic Ram** for Demand Response of Processes and Energy Systems based on Exact Linearization

Authors: Florian Joseph Baader, Philipp Althaus, André Bardow, Manuel Dahmen

Abstract: The increasing share of volatile renewable electricity production motivates demand response. Substantial potential for demand response is offered by flexible processes and their local multi-energy supply systems. Simultaneous optimization of their schedules can exploit the demand response potential, but leads to numerically challenging problems for nonlinear dynamic processes. In this paper, we pr… ▽ More The increasing share of volatile renewable electricity production motivates demand response. Substantial potential for demand response is offered by flexible processes and their local multi-energy supply systems. Simultaneous optimization of their schedules can exploit the demand response potential, but leads to numerically challenging problems for nonlinear dynamic processes. In this paper, we propose to capture process dynamics using dynamic ram** constraints. In contrast to traditional static ram** constraints, dynamic ram** constraints are a function of the process state and can capture high-order dynamics. We derive dynamic ram** constraints rigorously for the case of single-input single-output processes that are exactly input-state linearizable. The resulting scheduling problem can be efficiently solved as a mixed-integer linear program. In a case study, we study two flexible reactors and a multi-energy system. The proper representation of process dynamics by dynamic ram** allows for faster transitions compared to static ram** constraints and thus higher economic benefits of demand response. The proposed dynamic ram** approach is sufficiently fast for application in online optimization. △ Less

Submitted 3 August, 2022; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: manuscript (26 pages, 9 figures, 3 tables), supplement (2 pages)

Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner

Authors: Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß

Abstract: The inexpressive Description Logic (DL) $\mathcal{FL}_0$, which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out that reasoning in $\mathcal{FL}_0$ w.r.t. general TBoxes is ExpTime-complete, i.e., as hard as in the considerably more expressive logic $\mathcal{ALC}$. In this paper, we rehabilitate $\mathcal{FL}_0$ by presenting a d… ▽ More The inexpressive Description Logic (DL) $\mathcal{FL}_0$, which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out that reasoning in $\mathcal{FL}_0$ w.r.t. general TBoxes is ExpTime-complete, i.e., as hard as in the considerably more expressive logic $\mathcal{ALC}$. In this paper, we rehabilitate $\mathcal{FL}_0$ by presenting a dedicated subsumption algorithm for $\mathcal{FL}_0$, which is much simpler than the tableau-based algorithms employed by highly optimized DL reasoners. Our experiments show that the performance of our novel algorithm, as prototypically implemented in our $\mathcal{FL}_o$wer reasoner, compares very well with that of the highly optimized reasoners. $\mathcal{FL}_o$wer can also deal with ontologies written in the extension $\mathcal{FL}_{\bot}$ of $\mathcal{FL}_0$ with the top and the bottom concept by employing a polynomial-time reduction, shown in this paper, which eliminates top and bottom. We also investigate the complexity of reasoning in DLs related to the Horn-fragments of $\mathcal{FL}_0$ and $\mathcal{FL}_{\bot}$. △ Less

Submitted 27 July, 2021; originally announced July 2021.

Comments: This paper is under consideration in Theory and Practice of Logic Programming (TPLP)

Non-Point Visible Light Transmitter Localization based on Monocular Camera

Authors: Hongxiu Zhao, Xun Zhang, Faouzi Bader, Yue Zhang

Abstract: Many algorithms for visible light positioning (VLP) localization do not consider the shapes of the transmitters, which leads to the impracticality of the algorithm and the low localization accuracy. Therefore, this paper proposes a novel VLP algorithm and addresses the problems in terms of practicality and complexity by using one non-point transmitter based on a monocular. Because the shape of the… ▽ More Many algorithms for visible light positioning (VLP) localization do not consider the shapes of the transmitters, which leads to the impracticality of the algorithm and the low localization accuracy. Therefore, this paper proposes a novel VLP algorithm and addresses the problems in terms of practicality and complexity by using one non-point transmitter based on a monocular. Because the shape of the transmitter is considered, the proposed algorithm is easy for practice and has wide applicability. Besides, it decreases the computation for simple geometric model and expands the coverage for there is a greater chance of receiving signals from one light than that of receiving signals from multiple lights. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Journal ref: BMSB, May 2021, Paris, France

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

Authors: Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Abstract: Logic-based approaches to AI have the advantage that their behavior can in principle be explained to a user. If, for instance, a Description Logic reasoner derives a consequence that triggers some action of the overall system, then one can explain such an entailment by presenting a proof of the consequence in an appropriate calculus. How comprehensible such a proof is depends not only on the emplo… ▽ More Logic-based approaches to AI have the advantage that their behavior can in principle be explained to a user. If, for instance, a Description Logic reasoner derives a consequence that triggers some action of the overall system, then one can explain such an entailment by presenting a proof of the consequence in an appropriate calculus. How comprehensible such a proof is depends not only on the employed calculus, but also on the properties of the particular proof, such as its overall size, its depth, the complexity of the employed sentences and proof steps, etc. For this reason, we want to determine the complexity of generating proofs that are below a certain threshold w.r.t. a given measure of proof quality. Rather than investigating this problem for a fixed proof calculus and a fixed measure, we aim for general results that hold for wide classes of calculi and measures. In previous work, we first restricted the attention to a setting where proof size is used to measure the quality of a proof. We then extended the approach to a more general setting, but important measures such as proof depth were not covered. In the present paper, we provide results for a class of measures called recursive, which yields lower complexities and also encompasses proof depth. In addition, we close some gaps left open in our previous work, thus providing a comprehensive picture of the complexity landscape. △ Less

Submitted 25 May, 2022; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: Extended version of a paper accepted at CADE-28

ACM Class: I.2.4

COMANDO: A Next-Generation Open-Source Framework for Energy Systems Optimization

Authors: Marco Langiu, David Yang Shu, Florian Joseph Baader, Dominik Hering, Uwe Bau, André Xhonneux, Dirk Müller, André Bardow, Alexander Mitsos, Manuel Dahmen

Abstract: Existing open-source modeling frameworks dedicated to energy systems optimization typically utilize (mixed-integer) linear programming ((MI)LP) formulations, which lack modeling freedom for technical system design and operation. We present COMANDO, an open-source Python package for component-oriented modeling and optimization for nonlinear design and operation of integrated energy systems. COMANDO… ▽ More Existing open-source modeling frameworks dedicated to energy systems optimization typically utilize (mixed-integer) linear programming ((MI)LP) formulations, which lack modeling freedom for technical system design and operation. We present COMANDO, an open-source Python package for component-oriented modeling and optimization for nonlinear design and operation of integrated energy systems. COMANDO allows to assemble system models from component models including nonlinear, dynamic and discrete characteristics. Based on a single system model, different deterministic and stochastic problem formulations can be obtained by varying objective function and underlying data, and by applying automatic or manual reformulations. The flexible open-source implementation allows for the integration of customized routines required to solve challenging problems, e.g., initialization, problem decomposition, or sequential solution strategies. We demonstrate features of COMANDO via case studies, including automated linearization, dynamic optimization, stochastic programming, and the use of nonlinear artificial neural networks as surrogate models in a reduced-space formulation for deterministic global optimization. △ Less

Submitted 9 November, 2021; v1 submitted 3 February, 2021; originally announced February 2021.

Comments: 24 pages, 1 graphical abstract, 13 figures, 4 tables

Journal ref: Langiu et al. Computers and Chemical Engineering (2021) 152, 107366

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

Authors: Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Abstract: Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences. However, if such proofs get very large, then it may be hard to understand a consequence even if the individual derivation steps are easy to comprehend. This motivates our interest in finding small proofs for Description Logic (DL) ent… ▽ More Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences. However, if such proofs get very large, then it may be hard to understand a consequence even if the individual derivation steps are easy to comprehend. This motivates our interest in finding small proofs for Description Logic (DL) entailments. Instead of concentrating on a specific DL and proof calculus for this DL, we introduce a general framework in which proofs are represented as labeled, directed hypergraphs, where each hyperedge corresponds to a single sound derivation step. On the theoretical side, we investigate the complexity of deciding whether a certain consequence has a proof of size at most $n$ along the following orthogonal dimensions: (i) the underlying proof system is polynomial or exponential; (ii) proofs may or may not reuse already derived consequences; and (iii) the number $n$ is represented in unary or binary. We have determined the exact worst-case complexity of this decision problem for all but one of the possible combinations of these options. On the practical side, we have developed and implemented an approach for generating proofs for expressive DLs based on a non-standard reasoning task called forgetting. We have evaluated this approach on a set of realistic ontologies and compared the obtained proofs with proofs generated by the DL reasoner ELK, finding that forgetting-based proofs are often better w.r.t. different measures of proof complexity. △ Less

Submitted 23 April, 2020; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: Extended version of a paper accepted at LPAR23

Journal ref: LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 73, 2020, pages 32--67

Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints

Authors: Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph

Abstract: We introduce and investigate the expressive description logic (DL) ALCSCC++, in which the global and local cardinality constraints introduced in previous papers can be mixed. On the one hand, we prove that this does not increase the complexity of satisfiability checking and other standard inference problems. On the other hand, the satisfiability problem becomes undecidable if inverse roles are add… ▽ More We introduce and investigate the expressive description logic (DL) ALCSCC++, in which the global and local cardinality constraints introduced in previous papers can be mixed. On the one hand, we prove that this does not increase the complexity of satisfiability checking and other standard inference problems. On the other hand, the satisfiability problem becomes undecidable if inverse roles are added to the languages. In addition, even without inverse roles, conjunctive query entailment in this DL turns out to be undecidable. We prove that decidability of querying can be regained if global and local constraints are not mixed and the global constraints are appropriately restricted. The latter result is based on a locally-acyclic model construction, and it reduces query entailment to ABox consistency in the restricted setting, i.e., to ABox consistency w.r.t. restricted cardinality constraints in ALCSCC, for which we can show an ExpTime upper bound. △ Less

Submitted 14 February, 2020; originally announced February 2020.

Comments: Technical report for the paper of the same title accepted to ECAI 2020

First Exploration of Neutron Shell Structure Below Lead and Beyond $\boldsymbol{N=126}$

Authors: T. L. Tang, B. P. Kay, C. R. Hoffman, J. P. Schiffer, D. K. Sharp, L. P. Gaffney, S. J. Freeman, M. R. Mumpower, A. Arokiaraj, E. F. Baader, P. A. Butler, W. N. Catford, G. de Angelis, F. Flavigny, M. D. Gott, E. T. Gregor, J. Konki, M. Labiche, I. H. Lazurus, P. T. MacGregor, I. Martel, R. D. Page, Zs. Podolyák, O. Poleshchuk, R. Raabe , et al. (4 additional authors not shown)

Abstract: The nuclei below lead but with more than 126 neutrons are crucial to an understanding of the astrophysical $r$-process in producing nuclei heavier than $A\sim190$. Despite their importance, the structure and properties of these nuclei remain experimentally untested as they are difficult to produce in nuclear reactions with stable beams. In a first exploration of the shell structure of this region,… ▽ More The nuclei below lead but with more than 126 neutrons are crucial to an understanding of the astrophysical $r$-process in producing nuclei heavier than $A\sim190$. Despite their importance, the structure and properties of these nuclei remain experimentally untested as they are difficult to produce in nuclear reactions with stable beams. In a first exploration of the shell structure of this region, neutron excitations in $^{207}$Hg have been probed using the neutron-adding ($d$,$p$) reaction in inverse kinematics. The radioactive beam of $^{206}$Hg was delivered to the new ISOLDE Solenoidal Spectrometer at an energy above the Coulomb barrier. The spectroscopy of $^{207}$Hg marks a first step in improving our understanding of the relevant structural properties of nuclei involved in a key part of the path of the $r$-process. △ Less

Submitted 3 January, 2020; originally announced January 2020.

Comments: 6 pages, 5 figures

Report number: LA-UR-19-30930

Spectral Coexistence of LDACS and DME: Analysis via Hardware Software Co-Design in Presence of Real Channels and RF Impairments

Authors: Niharika Agrawal, S. J. Darak, Faouzi Bader

Abstract: To meet the exponentially increasing air traffic, L-band (960-1164 MHz) digital aeronautical communication system (LDACS) has been introduced. The LDACS aims to exploit the vacant spectrum between incumbent Distance Measuring Equipment (DME) signals and envisioned to follow an orthogonal frequency division multiplexing (OFDM) approach to support high-speed delay-sensitive multimedia services. This… ▽ More To meet the exponentially increasing air traffic, L-band (960-1164 MHz) digital aeronautical communication system (LDACS) has been introduced. The LDACS aims to exploit the vacant spectrum between incumbent Distance Measuring Equipment (DME) signals and envisioned to follow an orthogonal frequency division multiplexing (OFDM) approach to support high-speed delay-sensitive multimedia services. This paper deals with the design and implementation of end-to-end LDACS the transceiver on the Zynq System on Chip platform, consisting of FPGA as programmable logic (PL) and ARM as processing system (PS). We consider OFDM based LDACS and improve it further using windowing and/or filtering. We propose a hardware-software co-design approach and analyze various transceiver configurations by dividing it into PL and PS. We demonstrate the flexibility offered by such a co-design approach to choose the configuration as well as word-length for a given area, delay and power constraints. The transceiver is also integrated with the programmable analog front-end to validate its functionality in the presence of various RF impairments and wireless channels and interference specific to the LDACS environment. Via in-depth performance analysis concerning parameters such as out-of-band attenuation, DME interference, bit-error-rate, word-length, and complexity, we demonstrate wide bandwidth filtered OFDM as an attractive solution for the next generation LDACS. △ Less

Submitted 2 May, 2020; v1 submitted 10 October, 2019; originally announced October 2019.

Repairing Description Logic Ontologies by Weakening Axioms

Authors: Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza

Abstract: The classical approach for repairing a Description Logic ontology O in the sense of removing an unwanted consequence $α$ is to delete a minimal number of axioms from O such that the resulting ontology O' does not have the consequence $α$. However, the complete deletion of axioms may be too rough, in the sense that it may also remove consequences that are actually wanted. To alleviate this problem,… ▽ More The classical approach for repairing a Description Logic ontology O in the sense of removing an unwanted consequence $α$ is to delete a minimal number of axioms from O such that the resulting ontology O' does not have the consequence $α$. However, the complete deletion of axioms may be too rough, in the sense that it may also remove consequences that are actually wanted. To alleviate this problem, we propose a more gentle way of repair in which axioms are not necessarily deleted, but only weakened. On the one hand, we investigate general properties of this gentle repair method. On the other hand, we propose and analyze concrete approaches for weakening axioms expressed in the Description Logic EL. △ Less

Submitted 1 August, 2018; originally announced August 2018.

Comments: Extended version of the paper "Making Repairs in Description Logics More Gentle" accepted at KR 2018

Report number: 18-01

VIPER - Student research on extraterrestrial ice penetration technology

Authors: F. Baader, M. Reiswich, M. Bartsch, D. Keller, E. Tiede, G. Keck, A. Demircian, M. Friedrich, B. Dachwald, K. Schüller, R. Lehmann, R. Chojetzki, C. Durand, L. Rapp, J. Kowalski, R. Förstner

Abstract: Recent analysis of scientific data from Cassini and earth-based observations gave evidence for a global ocean under a surrounding solid ice shell on Saturn's moon Enceladus. Images of Enceladus' South Pole showed several fissures in the ice shell with plumes constantly exhausting frozen water particles, building up the E-Ring, one of the outer rings of Saturn. In this southern region of Enceladus,… ▽ More Recent analysis of scientific data from Cassini and earth-based observations gave evidence for a global ocean under a surrounding solid ice shell on Saturn's moon Enceladus. Images of Enceladus' South Pole showed several fissures in the ice shell with plumes constantly exhausting frozen water particles, building up the E-Ring, one of the outer rings of Saturn. In this southern region of Enceladus, the ice shell is considered to be as thin as 2 km, about an order of magnitude thinner than on the rest of the moon. Under the ice shell, there is a global ocean consisting of liquid water. Scientists are discussing different approaches the possibilities of taking samples of water, i.e. by melting through the ice using a melting probe. FH Aachen UAS developed a prototype of maneuverable melting probe which can navigate through the ice that has already been tested successfully in a terrestrial environment. This means no atmosphere and or ambient pressure, low ice temperatures of around 100 to 150 K (near the South Pole) and a very low gravity of 0.114 m/s$^2$ or 1100 μg. Two of these influencing measures are about to be investigated at FH Aachen UAS in 2017, low ice temperature and low ambient pressure below the triple point of water. Low gravity cannot be easily simulated inside a large experiment chamber, though. Numerical simulations of the melting process at RWTH Aachen however are showing a gravity dependence of melting behavior. Considering this aspect, VIPER provides a link between large-scale experimental simulations at FH Aachen UAS and numerical simulations at RWTH Aachen. To analyze the melting process, about 90 seconds of experiment time in reduced gravity and low ambient pressure is provided by the REXUS rocket. △ Less

Submitted 7 May, 2018; v1 submitted 27 April, 2018; originally announced May 2018.

On Spectral Coexistence of CP-OFDM and FB-MC Waveforms in 5G Networks

Authors: Quentin Bodinier, Faouzi Bader, Jacques Palicot

Abstract: Future 5G networks will serve a variety of applications that will coexist on the same spectral band and geographical area, in an uncoordinated and asynchronous manner. It is widely accepted that using CP-OFDM, the waveform used by most current communication systems, will make it difficult to achieve this paradigm. Especially, CP-OFDM is not adapted for spectral coexistence because of its poor spec… ▽ More Future 5G networks will serve a variety of applications that will coexist on the same spectral band and geographical area, in an uncoordinated and asynchronous manner. It is widely accepted that using CP-OFDM, the waveform used by most current communication systems, will make it difficult to achieve this paradigm. Especially, CP-OFDM is not adapted for spectral coexistence because of its poor spectral localization. Therefore, it has been widely suggested to use filter bank based multi carrier (FB-MC) waveforms with enhanced spectral localization to replace CP-OFDM. Especially, FB-MC waveforms are expected to facilitate coexistence with legacy CP-OFDM based systems. However, this idea is based on the observation of the PSD of FB-MC waveforms only. In this paper, we demonstrate that this approach is flawed and show what metric should be used to rate interference between FB-MC and CP-OFDM systems. Finally, our results show that using FB-MC waveforms does not facilitate coexistence with CP-OFDM based systems to a high extent. △ Less

Submitted 23 January, 2017; originally announced January 2017.

Comments: Manuscript submitted for review to IEEE Transactions on Wireless Communications

Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification

Authors: Franz Baader, Stefan Borgwardt, Barbara Morawska

Abstract: Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative constraints can be used to avoid unwanted unifiers. While decidability of the solvability of general $\mathcal{EL}$-disunification problems remains an open prob… ▽ More Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative constraints can be used to avoid unwanted unifiers. While decidability of the solvability of general $\mathcal{EL}$-disunification problems remains an open problem, we obtain NP-completeness results for two interesting special cases: dismatching problems, where one side of each negative constraint must be ground, and local solvability of disunification problems, where we consider only solutions that are constructed from terms occurring in the input problem. More precisely, we first show that dismatching can be reduced to local disunification, and then provide two complementary NP-algorithms for finding local solutions of disunification problems. △ Less

Submitted 5 October, 2016; v1 submitted 19 September, 2016; originally announced September 2016.

Comments: 32 pages, extended version of a paper from RTA'15

ACM Class: F.4.1; I.2.3; I.2.4

Journal ref: Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2063

Coexistence of Filter Banks and CP-OFDM: What are the Real Gains?

Authors: Quentin Bodinier, Faouzi Bader, Jacques Palicot

Abstract: A coexistence scenario between filter bank (FB) based waveforms and legacy Cyclic Prefix-Orthogonal Frequency Division Multiplexing (CP-OFDM) is studied. It is shown that studies available on that matter use a wrong metric to rate the interference between the coexisting systems. Specifically, it is shown that even well spectrally localized FB waveforms interfere at a high level with incumbent CP-O… ▽ More A coexistence scenario between filter bank (FB) based waveforms and legacy Cyclic Prefix-Orthogonal Frequency Division Multiplexing (CP-OFDM) is studied. It is shown that studies available on that matter use a wrong metric to rate the interference between the coexisting systems. Specifically, it is shown that even well spectrally localized FB waveforms interfere at a high level with incumbent CP-OFDM receivers. The presented results invalidate a number of studies in the literature, which stated that FB based waveforms could be very efficiently used to insert communications in parts of spectrum left free by incumbent legacy CP-OFDM users. △ Less

Submitted 6 September, 2016; originally announced September 2016.

Comments: 5 pages, 6 figures, Invited paper at ISWCS 2016 Special Session on Non-Orthogonal Access

Coexistence in 5G: Analysis of Cross-Interference between OFDM/OQAM and Legacy Users

Authors: Quentin Bodinier, Faouzi Bader, Jacques Palicot

Abstract: To optimize the use of the spectrum, it is expected that the next generation of wireless networks (5G) will enable coexistence of newly introduced services with legacy cellular networks. These new services, like Device-To-Device (D2D) communication, should require limited synchronization with the legacy cell to limit the amount of signaling overhead in the network. However, it is known that Cyclic… ▽ More To optimize the use of the spectrum, it is expected that the next generation of wireless networks (5G) will enable coexistence of newly introduced services with legacy cellular networks. These new services, like Device-To-Device (D2D) communication, should require limited synchronization with the legacy cell to limit the amount of signaling overhead in the network. However, it is known that Cyclic Prefix-Orthogonal Frequency Division Multiplexing (CP-OFDM) used in Long Term Evolution-Advanced (LTE-A) is not fit for asynchronous environments. This has motivated the search for a new waveform, able to enhance coexistence with CP-OFDM. Namely, it has been widely suggested that new devices could use OFDM/Offset-Quadrature Amplitude Modulation (OFDM/OQAM) to reduce the interference they inject to legacy cellular users. However, values of interference are usually measured at the input antenna of the receiver, based on the PSD of the interfering signal. We showed in previous works that this measurement is not representative of the actual interference that is seen after the demodulation operations. Building on this finding, we provide in this paper the first exact closed forms of cross-interference between OFDM/OQAM and CP-OFDM users. Our results prove that using OFDM/OQAM only marginally reduces interference to legacy users, in contradiction with many results in the literature. △ Less

Submitted 8 September, 2016; v1 submitted 6 September, 2016; originally announced September 2016.

Comments: 5 pages, 7 figures, Accepted at IEEE Globecom Workshops 2016

Coexistence of OFDM and FBMC for Underlay D2D Communication in 5G Networks

Authors: Conor Sexton, Quentin Bodinier, Arman Farhang, Nicola Marchetti, Faouzi Bader, Luiz A. DaSilva

Abstract: Device-to-device (D2D) communication is being heralded as an important part of the solution to the capacity problem in future networks, and is expected to be natively supported in 5G. Given the high network complexity and required signalling overhead associated with achieving synchronization in D2D networks, it is necessary to study asynchronous D2D communications. In this paper, we consider a sce… ▽ More Device-to-device (D2D) communication is being heralded as an important part of the solution to the capacity problem in future networks, and is expected to be natively supported in 5G. Given the high network complexity and required signalling overhead associated with achieving synchronization in D2D networks, it is necessary to study asynchronous D2D communications. In this paper, we consider a scenario whereby asynchronous D2D communication underlays an OFDMA macro-cell in the uplink. Motivated by the superior performance of new waveforms with increased spectral localization in the presence of frequency and time misalignments, we compare the system-level performance of a set-up for when D2D pairs use either OFDM or FBMC/OQAM. We first demonstrate that inter-D2D interference, resulting from misaligned communications, plays a significant role in clustered D2D topologies. We then demonstrate that the resource allocation procedure can be simplified when D2D pairs use FBMC/OQAM, since the high spectral localization of FBMC/OQAM results in negligible inter-D2D interference. Specifically, we identify that FBMC/OQAM is best suited to scenarios consisting of small, densely populated D2D clusters located near the encompassing cell's edge. △ Less

Submitted 29 August, 2016; originally announced August 2016.

Comments: 7 pages, 9 figures, Accepted at IEEE Globecom 2016 Workshops

Modeling Interference Between OFDM/OQAM and CP-OFDM: Limitations of the PSD-Based Model

Authors: Quentin Bodinier, Faouzi Bader, Jacques Palicot

Abstract: To answer the challenges put out by the next generation of wireless networks (5G), important research efforts have been undertaken during the last few years to find new waveforms that are better spectrally localized and less sensitive to asynchronism effects than the widely deployed Cyclic Prefix Orthogonal Frequency Division Multiplexing (CP-OFDM). One of the most studied schemes is OFDM-Offset Q… ▽ More To answer the challenges put out by the next generation of wireless networks (5G), important research efforts have been undertaken during the last few years to find new waveforms that are better spectrally localized and less sensitive to asynchronism effects than the widely deployed Cyclic Prefix Orthogonal Frequency Division Multiplexing (CP-OFDM). One of the most studied schemes is OFDM-Offset Quadrature Amplitude Modulation (OFDM/OQAM) based on the PHYDYAS filter pulse. In the recent literature, spectrum coexistence between OFDM/OQAM and CP-OFDM is commonly studied based on the Power Spectral Density (PSD) model. In this paper, we show that this approach is flawed and we show that the actual interference injected by OFDM/OQAM systems onto CP-OFDM is much higher than what is classically expected with the PSD based model in the literature. We show that though using OFDM/OQAM in secondary systems is still advantageous, it brings limited gain in the context of coexistence with incumbent CP-OFDM systems. △ Less

Submitted 29 March, 2016; originally announced March 2016.

Comments: 7 pages, 9 figures, ICT 2016

5G Waveforms for Overlay D2D Communications: Effects of Time-Frequency Misalignment

Authors: Quentin Bodinier, Arman Farhang, Faouzi Bader, Hamed Ahmadi, Jacques Palicot, Luiz A. DaSilva

Abstract: This paper analyses a scenario where a Device-To-Device (D2D) pair coexists with an Orthogonal Frequency Division Multiplexing (OFDM) based incumbent network. D2D transmitter communicates in parts of spectrum left free by cellular users, while respecting a given spectral mask. The D2D pair is misaligned in time and frequency with the cellular users. Furthermore, the D2D pair utilizes alternative w… ▽ More This paper analyses a scenario where a Device-To-Device (D2D) pair coexists with an Orthogonal Frequency Division Multiplexing (OFDM) based incumbent network. D2D transmitter communicates in parts of spectrum left free by cellular users, while respecting a given spectral mask. The D2D pair is misaligned in time and frequency with the cellular users. Furthermore, the D2D pair utilizes alternative waveforms to OFDM proposed for 5G. In this study, we show that it is not worth synchronising the D2D pair in time with respect to the cellular users. Indeed, the interference injected into the incumbent network has small variations with respect to time misalignment. We provide interference tables that encompass both time and frequency misalignment. We use them to analyse the maximum rate achievable by the D2D pair when it uses different waveforms. Then, we present numerical results showing what waveform should be utilized by the D2D pair according to the time-frequency resources that are not used by the incumbent network. Our results show that the delay induced by linearly convolved waveforms make them hardly applicable to short time windows, but that they dominate OFDM for long transmissions, mainly in the case where cellular users are very sensitive to interference. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: 7 pages, 7 figures, Accepted at IEEE ICC 2016

Relay Selection and Resource Allocation for Two Way DF-AF Cognitive Radio Networks

Authors: Ahmad Alsharoa, Faouzi Bader, Mohamed-Slim Alouini

Abstract: In this letter, the problem of optimal resource power allocation and relay selection for two way relaying cognitive radio networks using half duplex Decode and Forward (DF) and Amplify and Forward (AF) systems are investigated. The primary and secondary networks are assumed to access the spectrum at the same time, so that the interference introduced to the primary network caused by the secondary n… ▽ More In this letter, the problem of optimal resource power allocation and relay selection for two way relaying cognitive radio networks using half duplex Decode and Forward (DF) and Amplify and Forward (AF) systems are investigated. The primary and secondary networks are assumed to access the spectrum at the same time, so that the interference introduced to the primary network caused by the secondary network should be below a certain interference threshold. In addition, a selection strategy between the AF and DF schemes is applied depending on the achieved secondary sum rate without affecting the quality of service of the primary network. A suboptimal approach based on a genetic algorithm is also presented to solve our problem. Selected simulation results show that the proposed suboptimal algorithm offers a performance close to the performance of the optimal solution with a considerable complexity saving. △ Less

Submitted 19 May, 2013; v1 submitted 14 March, 2013; originally announced March 2013.

Fusions of Description Logics and Abstract Description Systems

Authors: F. Baader, C. Lutz, H. Sturm, F. Wolter

Abstract: Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox reasoning in description logics… ▽ More Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox reasoning in description logics is not covered by the results from modal logics. In this paper, we extend the decidability transfer results from normal modal logics to a large class of description logics. To cover different description logics in a uniform way, we introduce abstract description systems, which can be seen as a common generalization of description and modal logics, and show the transfer results in this general setting. △ Less

Submitted 9 June, 2011; originally announced June 2011.

Journal ref: Journal Of Artificial Intelligence Research, Volume 16, pages 1-58, 2002

Unification in the Description Logic EL

Authors: Franz Baader, Barbara Morawska

Abstract: The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other hand, EL is used to define large biomedical ontologies. Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. The main res… ▽ More The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other hand, EL is used to define large biomedical ontologies. Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. The main result of this paper is that unification in EL is decidable. More precisely, EL-unification is NP-complete, and thus has the same complexity as EL-matching. We also show that, w.r.t. the unification type, EL is less well-behaved: it is of type zero, which in particular implies that there are unification problems that have no finite complete set of unifiers. △ Less

Submitted 4 September, 2010; v1 submitted 11 June, 2010; originally announced June 2010.

Comments: 31pages

ACM Class: cs.LO

Journal ref: Logical Methods in Computer Science, Volume 6, Issue 3 (September 4, 2010) lmcs:1106

The Inverse Method Implements the Automata Approach for Modal Satisfiability

Authors: Franz Baader, Stephan Tobies

Abstract: Tableaux-based decision procedures for satisfiability of modal and description logics behave quite well in practice, but it is sometimes hard to obtain exact worst-case complexity results using these approaches, especially for EXPTIME-complete logics. In contrast, automata-based approaches often yield algorithms for which optimal worst-case complexity can easily be proved. However, the algorithm… ▽ More Tableaux-based decision procedures for satisfiability of modal and description logics behave quite well in practice, but it is sometimes hard to obtain exact worst-case complexity results using these approaches, especially for EXPTIME-complete logics. In contrast, automata-based approaches often yield algorithms for which optimal worst-case complexity can easily be proved. However, the algorithms obtained this way are usually not only worst-case, but also best-case exponential: they first construct an automaton that is always exponential in the size of the input, and then apply the (polynomial) emptiness test to this large automaton. To overcome this problem, one must try to construct the automaton "on-the-fly" while performing the emptiness test. In this paper we will show that Voronkov's inverse method for the modal logic K can be seen as an on-the-fly realization of the emptiness test done by the automata approach for K. The benefits of this result are two-fold. First, it shows that Voronkov's implementation of the inverse method, which behaves quite well in practice, is an optimized on-the-fly implementation of the automata-based satisfiability procedure for K. Second, it can be used to give a simpler proof of the fact that Voronkov's optimizations do not destroy completeness of the procedure. We will also show that the inverse method can easily be extended to handle global axioms, and that the correspondence to the automata approach still holds in this setting. In particular, the inverse method yields an EXPTIME-algorithm for satisfiability in K w.r.t. global axioms. △ Less

Submitted 22 December, 2004; originally announced December 2004.

Comments: A short version of this report has appeared at the First International Joint Conference on Automated Reasoning, IJCAR 2001