@misc{27058, author = {{Wiecher, Carsten and Fischbach, Jannik and Greenyer, Joel and Vogelsang, Andreas and Wolff, Carsten and Dumitrescu, Roman}}, booktitle = {{arXiv preprint}}, title = {{{Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal}}}, year = {{2021}}, } @inbook{29292, author = {{Feldhans, Robert and Wilke, Adrian and Heindorf, Stefan and Shaker, Mohammad Hossein and Hammer, Barbara and Ngonga Ngomo, Axel-Cyrille and Hüllermeier, Eyke}}, booktitle = {{Intelligent Data Engineering and Automated Learning – IDEAL 2021}}, isbn = {{9783030916077}}, issn = {{0302-9743}}, publisher = {{Springer International Publishing}}, title = {{{Drift Detection in Text Data with Document Embeddings}}}, doi = {{10.1007/978-3-030-91608-4_11}}, year = {{2021}}, } @inproceedings{29287, abstract = {{Knowledge graph embedding research has mainly focused on the two smallest normed division algebras, $\mathbb{R}$ and $\mathbb{C}$. Recent results suggest that trilinear products of quaternion-valued embeddings can be a more effective means to tackle link prediction. In addition, models based on convolutions on real-valued embeddings often yield state-of-the-art results for link prediction. In this paper, we investigate a composition of convolution operations with hypercomplex multiplications. We propose the four approaches QMult, OMult, ConvQ and ConvO to tackle the link prediction problem. QMult and OMult can be considered as quaternion and octonion extensions of previous state-of-the-art approaches, including DistMult and ComplEx. ConvQ and ConvO build upon QMult and OMult by including convolution operations in a way inspired by the residual learning framework. We evaluated our approaches on seven link prediction datasets including WN18RR, FB15K-237 and YAGO3-10. Experimental results suggest that the benefits of learning hypercomplex-valued vector representations become more apparent as the size and complexity of the knowledge graph grows. ConvO outperforms state-of-the-art approaches on FB15K-237 in MRR, Hit@1 and Hit@3, while QMult, OMult, ConvQ and ConvO outperform state-of-the-approaches on YAGO3-10 in all metrics. Results also suggest that link prediction performances can be further improved via prediction averaging. To foster reproducible research, we provide an open-source implementation of approaches, including training and evaluation scripts as well as pretrained models.}}, author = {{Demir, Caglar and Moussallem, Diego and Heindorf, Stefan and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{The 13th Asian Conference on Machine Learning, ACML 2021}}, title = {{{Convolutional Hypercomplex Embeddings for Link Prediction}}}, year = {{2021}}, } @inproceedings{29294, author = {{Nickchen, Tobias and Heindorf, Stefan and Engels, Gregor}}, booktitle = {{2021 IEEE Winter Conference on Applications of Computer Vision (WACV)}}, publisher = {{IEEE}}, title = {{{Generating Physically Sound Training Data for Image Recognition of Additively Manufactured Parts}}}, doi = {{10.1109/wacv48630.2021.00204}}, year = {{2021}}, } @inproceedings{26407, author = {{Piskachev, Goran and Krishnamurthy, Ranjith and Bodden, Eric}}, booktitle = {{2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}}, title = {{{SecuCheck: Engineering configurable taint analysis for software developers}}}, year = {{2021}}, } @inproceedings{22463, author = {{Luo, Linghui and Schäf, Martin and Sanchez, Daniel and Bodden, Eric}}, booktitle = {{Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}}, title = {{{IDE Support for Cloud-Based Static Analyses}}}, year = {{2021}}, } @inproceedings{33840, author = {{Karakaya, Kadiray and Bodden, Eric}}, booktitle = {{2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}}, pages = {{181–186}}, title = {{{SootFX: A Static Code Feature Extraction Tool for Java and Android}}}, year = {{2021}}, } @article{23728, abstract = {{We demonstrate the integration of amorphous tungsten silicide superconducting nanowire single-photon detectors on titanium in-diffused lithium niobate waveguides. We show proof-of-principle detection of evanescently coupled photons of 1550 nm wavelength using bidirectional waveguide coupling for two orthogonal polarization directions. We investigate the internal detection efficiency as well as detector absorption using coupling-independent characterization measurements. Furthermore, we describe strategies to improve the yield and efficiency of these devices.}}, author = {{Höpker, Jan Philipp and Verma, Varun B and Protte, Maximilian and Ricken, Raimund and Quiring, Viktor and Eigner, Christof and Ebers, Lena and Hammer, Manfred and Förstner, Jens and Silberhorn, Christine and Mirin, Richard P and Woo Nam, Sae and Bartley, Tim}}, issn = {{2515-7647}}, journal = {{Journal of Physics: Photonics}}, pages = {{034022}}, title = {{{Integrated superconducting nanowire single-photon detectors on titanium in-diffused lithium niobate waveguides}}}, doi = {{10.1088/2515-7647/ac105b}}, volume = {{3}}, year = {{2021}}, } @article{35575, author = {{Schulze Darup, Moritz and Alexandru, Andreea B. and Quevedo, Daniel E. and Pappas, George J.}}, issn = {{1066-033X}}, journal = {{IEEE Control Systems}}, keywords = {{Electrical and Electronic Engineering, Modeling and Simulation, Control and Systems Engineering, Electrical and Electronic Engineering, Modeling and Simulation, Control and Systems Engineering}}, number = {{3}}, pages = {{58--78}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Encrypted Control for Networked Systems: An Illustrative Introduction and Current Challenges}}}, doi = {{10.1109/mcs.2021.3062956}}, volume = {{41}}, year = {{2021}}, } @article{35576, author = {{Schulze Darup, Moritz and Klädtke, Manuel and Mönnigmann, Martin}}, issn = {{2405-8963}}, journal = {{IFAC-PapersOnLine}}, keywords = {{Control and Systems Engineering}}, number = {{6}}, pages = {{290--295}}, publisher = {{Elsevier BV}}, title = {{{Exact solution to a special class of nonlinear MPC problems}}}, doi = {{10.1016/j.ifacol.2021.08.559}}, volume = {{54}}, year = {{2021}}, } @article{35578, author = {{Faulwasser, Timm and Lucia, Sergio and Schulze Darup, Moritz and Mönnigmann, Martin}}, issn = {{2405-8963}}, journal = {{IFAC-PapersOnLine}}, keywords = {{Control and Systems Engineering}}, number = {{6}}, pages = {{238--243}}, publisher = {{Elsevier BV}}, title = {{{Teaching MPC: Which Way to the Promised Land?}}}, doi = {{10.1016/j.ifacol.2021.08.551}}, volume = {{54}}, year = {{2021}}, } @inbook{35579, author = {{Schulze Darup, Moritz and Book, Gerrit}}, booktitle = {{Recent Advances in Model Predictive Control}}, isbn = {{9783030632809}}, issn = {{0170-8643}}, publisher = {{Springer International Publishing}}, title = {{{On Closed-Loop Dynamics of ADMM-Based MPC}}}, doi = {{10.1007/978-3-030-63281-6_5}}, year = {{2021}}, } @article{35571, author = {{Schulze Darup, Moritz and Book, Gerrit and Quevedo, Daniel E. and Nagahara, Masaaki}}, issn = {{0018-9286}}, journal = {{IEEE Transactions on Automatic Control}}, keywords = {{Electrical and Electronic Engineering, Computer Science Applications, Control and Systems Engineering}}, number = {{10}}, pages = {{5416--5423}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Fast Hands-Off Control Using ADMM Real-Time Iterations}}}, doi = {{10.1109/tac.2021.3121255}}, volume = {{67}}, year = {{2021}}, } @article{35572, author = {{Schluter, Nils and Darup, Moritz Schulze}}, issn = {{0018-9286}}, journal = {{IEEE Transactions on Automatic Control}}, keywords = {{Electrical and Electronic Engineering, Computer Science Applications, Control and Systems Engineering}}, number = {{10}}, pages = {{5610--5613}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{On the Stability of Linear Dynamic Controllers With Integer Coefficients}}}, doi = {{10.1109/tac.2021.3131126}}, volume = {{67}}, year = {{2021}}, } @article{35561, author = {{Darup, Moritz Schulze}}, issn = {{2405-8963}}, journal = {{IFAC-PapersOnLine}}, keywords = {{Control and Systems Engineering}}, number = {{2}}, pages = {{3508--3514}}, publisher = {{Elsevier BV}}, title = {{{Encrypted MPC based on ADMM real-time iterations}}}, doi = {{10.1016/j.ifacol.2020.12.1708}}, volume = {{53}}, year = {{2021}}, } @inproceedings{35555, author = {{Schluter, Nils and Schulze Darup, Moritz}}, booktitle = {{2020 59th IEEE Conference on Decision and Control (CDC)}}, publisher = {{IEEE}}, title = {{{Encrypted explicit MPC based on two-party computation and convex controller decomposition}}}, doi = {{10.1109/cdc42340.2020.9304078}}, year = {{2021}}, } @article{35589, author = {{Dragicevic, Tomislav and Parisio, Alessandra and Rodriguez, Jose and Jones, Colin and Quevedo, Daniel and Ferrarini, Luca and Preindl, Matthias and Shafiee, Qobad and Morstyn, Thomas}}, issn = {{0885-8969}}, journal = {{IEEE Transactions on Energy Conversion}}, keywords = {{Electrical and Electronic Engineering, Energy Engineering and Power Technology}}, number = {{2}}, pages = {{1311--1312}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Guest Editorial Model Predictive Control in Energy Conversion Systems}}}, doi = {{10.1109/tec.2021.3076279}}, volume = {{36}}, year = {{2021}}, } @unpublished{35588, abstract = {{We consider the joint design of control and scheduling under stochastic Denial-of-Service (DoS) attacks in the context of networked control systems. A sensor takes measurements of the system output and forwards its dynamic state estimates to a remote controller over a packet-dropping link. The controller determines the optimal control law for the process using the estimates it receives. An attacker aims at degrading the control performance by increasing the packet-dropout rate with a DoS attack towards the sensor-controller channel. We assume both the controller and the attacker are rational in a game-theoretic sense and establish a partially observable stochastic game to derive the optimal joint design of scheduling and control. Using dynamic programming we prove that the control and scheduling policies can be designed separately without sacrificing optimality, making the problem equivalent to a complete information game. We employ Nash Q-learning to solve the problem and prove that the solution is guaranteed to constitute an $\epsilon$-Nash equilibrium. Numerical examples are provided to illustrate the tradeoffs between control performance and communication cost.}}, author = {{Lu, Jingyi and Quevedo, Daniel E.}}, booktitle = {{arXiv:2103.05893}}, title = {{{A Jointly Optimal Design of Control and Scheduling in Networked Systems under Denial-of-Service Attacks}}}, year = {{2021}}, } @article{34818, author = {{Hanusch, Maximilian}}, issn = {{0926-2245}}, journal = {{Differential Geometry and its Applications}}, keywords = {{Geometry and Topology, Analysis}}, publisher = {{Elsevier BV}}, title = {{{Symmetries of analytic curves}}}, doi = {{10.1016/j.difgeo.2020.101687}}, volume = {{74}}, year = {{2021}}, } @misc{32401, author = {{Siemer, Jan Niklas}}, title = {{{Lattice reductions and their applications to cryptographic systems}}}, year = {{2021}}, }