Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailTest Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach
Shin, Seung Yeob UL; Nejati, Shiva UL; Sabetzadeh, Mehrdad UL et al

in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18) (2018, July)

Acceptance testing validates that a system meets its requirements and determines whether it can be sufficiently trusted and put into operation. For cyber physical systems (CPS), acceptance testing is a ... [more ▼]

Acceptance testing validates that a system meets its requirements and determines whether it can be sufficiently trusted and put into operation. For cyber physical systems (CPS), acceptance testing is a hardware-in-the-loop process conducted in a (near-)operational environment. Acceptance testing of a CPS often necessitates that the test cases be prioritized, as there are usually too many scenarios to consider given time constraints. CPS acceptance testing is further complicated by the uncertainty in the environment and the impact of testing on hardware. We propose an automated test case prioritization approach for CPS acceptance testing, accounting for time budget constraints, uncertainty, and hardware damage risks. Our approach is based on multi-objective search, combined with a test case minimization algorithm that eliminates redundant operations from an ordered sequence of test cases. We evaluate our approach on a representative case study from the satellite domain. The results indicate that, compared to test cases that are prioritized manually by satellite engineers, our automated approach more than doubles the number of test cases that fit into a given time frame, while reducing to less than one third the number of operations that entail the risk of damage to key hardware components. [less ▲]

Detailed reference viewed: 55 (4 UL)
Peer Reviewed
See detailToward a new model of collaborative problem solving definition and assessment
Stoeffler, K.; Greiff, Samuel UL; Von Davier, A. et al

Scientific Conference (2018, July)

Detailed reference viewed: 1 (0 UL)
Peer Reviewed
See detailIntroducing MaFIN. A dynamic matrices finite state automata test
Kunze, Thiemo UL; Krieger, Florian; Stadler, Matthias UL et al

Scientific Conference (2018, July)

Detailed reference viewed: 5 (1 UL)
Full Text
Peer Reviewed
See detailSuccessive convex approximation algorithms for sparse signal estimation with nonconvex regularizations
Yang, Yang UL; Pesavento, Marius; Chatzinotas, Symeon UL et al

in Proc. The 10th IEEE Sensor Array and Multichannel Signal Processing Workshop (2018, July)

Detailed reference viewed: 102 (14 UL)
See detailTowards a multifaceted framework of complex problem solving
Stadler, Matthias UL; Niepel, Christoph UL; Greiff, Samuel UL

Scientific Conference (2018, July)

Detailed reference viewed: 1 (0 UL)
See detailInnovations in computer-based assessment
Greiff, Samuel UL

Speeches/Talks (2018)

Detailed reference viewed: 1 (0 UL)
Full Text
Peer Reviewed
See detailA Decoupling Approach to Design Observers for Polytopic Takagi-Sugeno Models Subject to Unknown Inputs
Bezzaoucha, Souad UL; Voos, Holger UL; Davila, Jorge et al

in Proceedings of the 2018 American Control Conference (2018, June 27)

A decoupling approach for state estimation of nonlinear systems represented in the polytopic Takagi-Sugeno with unmeasurable premise variables subject to unknown inputs is proposed in this paper. The idea ... [more ▼]

A decoupling approach for state estimation of nonlinear systems represented in the polytopic Takagi-Sugeno with unmeasurable premise variables subject to unknown inputs is proposed in this paper. The idea consists in defining a state and unknown input transformations in order to divide the state vector into two parts, a measurable part and an observable one (decoupled from the unknown input). A classical Luenberger observer to estimate the unmeasurable part is then designed and given in terms of Linear Matrix Inequalities (LMIs) conditions. A numerical example is also presented in order to illustrate the proposed approach. [less ▲]

Detailed reference viewed: 26 (2 UL)
Full Text
Peer Reviewed
See detailCyber Security and Vulnerability Analysis of Networked Control System subject to False-Data injection
Gerard, Benjamin; Bezzaoucha, Souad UL; Voos, Holger UL et al

in Proceedings of the 2018 American Control Conference (2018, June 27)

In the present paper, the problem of networked control system (NCS) cyber security is considered. The geometric approach is used to evaluate the security and vulnerability level of the controlled system ... [more ▼]

In the present paper, the problem of networked control system (NCS) cyber security is considered. The geometric approach is used to evaluate the security and vulnerability level of the controlled system. The proposed results are about the so-called false data injection attacks and show how imperfectly known disturbances can be used to perform undetectable, or at least stealthy, attacks that can make the NCS vulnerable to attacks from malicious outsiders. A numerical example is given to illustrate the approach. [less ▲]

Detailed reference viewed: 41 (2 UL)
Full Text
Peer Reviewed
See detailHighway Network Block with Gates Constraints for Training Very Deep Networks
Oyedotun, Oyebade UL; Shabayek, Abd El Rahman UL; Aouada, Djamila UL et al

in 2018 IEEE International Conference on Computer Vision and Pattern Recognition Workshop, June 18-22, 2018 (2018, June 19)

In this paper, we propose to reformulate the learning of the highway network block to realize both early optimization and improved generalization of very deep networks while preserving the network depth ... [more ▼]

In this paper, we propose to reformulate the learning of the highway network block to realize both early optimization and improved generalization of very deep networks while preserving the network depth. Gate constraints are duly employed to improve optimization, latent representations and parameterization usage in order to efficiently learn hierarchical feature transformations which are crucial for the success of any deep network. One of the earliest very deep models with over 30 layers that was successfully trained relied on highway network blocks. Although, highway blocks suffice for alleviating optimization problem via improved information flow, we show for the first time that further in training such highway blocks may result into learning mostly untransformed features and therefore a reduction in the effective depth of the model; this could negatively impact model generalization performance. Using the proposed approach, 15-layer and 20-layer models are successfully trained with one gate and a 32-layer model using three gates. This leads to a drastic reduction of model parameters as compared to the original highway network. Extensive experiments on CIFAR-10, CIFAR-100, Fashion-MNIST and USPS datasets are performed to validate the effectiveness of the proposed approach. Particularly, we outperform the original highway network and many state-ofthe- art results. To the best our knowledge, on the Fashion-MNIST and USPS datasets, the achieved results are the best reported in literature. [less ▲]

Detailed reference viewed: 47 (3 UL)
Peer Reviewed
See detailPose Encoding for Robust Skeleton-Based Action Recognition
Demisse, Girum UL; Papadopoulos, Konstantinos UL; Aouada, Djamila UL et al

in CVPRW: Visual Understanding of Humans in Crowd Scene, Salt Lake City, Utah, June 18-22, 2018 (2018, June 18)

Some of the main challenges in skeleton-based action recognition systems are redundant and noisy pose transformations. Earlier works in skeleton-based action recognition explored different approaches for ... [more ▼]

Some of the main challenges in skeleton-based action recognition systems are redundant and noisy pose transformations. Earlier works in skeleton-based action recognition explored different approaches for filtering linear noise transformations, but neglect to address potential nonlinear transformations. In this paper, we present an unsupervised learning approach for estimating nonlinear noise transformations in pose estimates. Our approach starts by decoupling linear and nonlinear noise transformations. While the linear transformations are modelled explicitly the nonlinear transformations are learned from data. Subsequently, we use an autoencoder with L2-norm reconstruction error and show that it indeed does capture nonlinear noise transformations, and recover a denoised pose estimate which in turn improves performance significantly. We validate our approach on a publicly available dataset, NW-UCLA. [less ▲]

Detailed reference viewed: 48 (16 UL)
Full Text
Peer Reviewed
See detailThrough a century of change: portrait of a pragmatic visionary
Danescu, Elena UL

in Journal of European Integration History = Zeitschrift für Geschichte der Europäischen Integration = Revue d'Histoire de l'Intégration Européenne (2018)

As Prime Minister and Finance Minister of Luxembourg over several decades, Pierre Werner shaped the future of his country and was one of the rare statesmen to play a part in the progress of European ... [more ▼]

As Prime Minister and Finance Minister of Luxembourg over several decades, Pierre Werner shaped the future of his country and was one of the rare statesmen to play a part in the progress of European integration until the mid-1980s. He played a major role in regional integration (BLEU, Benelux) and in EEC policy-making and gained a strong reputation for forging a political consensus between larger powers (Germany and France)and between diametrically opposed positions (‘economists’ vs ‘monetarists’). In this way he succeeded in defending Luxembourg’s vital interests, from the financial centre to the seats of the European institutions. Werner was involved in the major ideological debates of the time. Although initially in favour of a monetary approach, Werner was one of the first to develop arguments for a symmetrical economic and monetary union. [less ▲]

Detailed reference viewed: 7 (1 UL)
Full Text
Peer Reviewed
See detail« La double démocratie. Une Europe politique pour la croissance » (Michel Aglietta et Nicolas Leron, 2017)
Danescu, Elena UL

in Journal of European Integration History = Zeitschrift für Geschichte der Europäischen Integration = Revue d'Histoire de l'Intégration Européenne (2018)

Ce texte receille des notes de lecture critiques relatives à l'analyse interdisciplinaire réalisée par Michel Aglietta et Nicolas Lerron dans leur ouvrage « La double démocratie. Une Europe politique pour ... [more ▼]

Ce texte receille des notes de lecture critiques relatives à l'analyse interdisciplinaire réalisée par Michel Aglietta et Nicolas Lerron dans leur ouvrage « La double démocratie. Une Europe politique pour la croissance », récemment publié aux Éditions du Seuil. Les auteurs placent leur analyse dans une perspective historique, avec l’objectif d’expliquer pourquoi l’Europe est plus vulnérable que les autres région du monde et d’identifier les moyens de donner de nouvelles impulsions au projet européen. Le constat des auteurs est sans appel : l’Union européenne et la zone euro sont aujourd’hui en impasse. Parmi les principales causes, ils identifient l’impuissance publique, les interdépendances négatives entre les États membres et le caractère incomplet de l’UEM. Ils mettent également en lumière une crise de la méthode de l’intégration européenne, vu que le postulat de l’engrenage, ou encore celui des petits pas prôné par Jean Monnet semblent avoir épuisé toutes leurs potentialités. [less ▲]

Detailed reference viewed: 27 (1 UL)
Full Text
Peer Reviewed
See detailORBIT - Overcoming Breakdowns in Teams with Interactive Tabletops
Sunnen, Patrick UL; Arend, Béatrice UL; Maquil, Valérie

in Kay, Judy; Luckin, Rose (Eds.) Rethinking learning in the digital age: Making the Learning Sciences count (2018, June)

ORBIT implements and studies a joint problem-solving activity at an interactive tabletop providing participants with the opportunity to develop their collaboration methods by jointly overcoming breakdowns ... [more ▼]

ORBIT implements and studies a joint problem-solving activity at an interactive tabletop providing participants with the opportunity to develop their collaboration methods by jointly overcoming breakdowns. The design and the research process relies on user-centered design methods and on an ethnomethodological conversation analytic framework. The project will generate scientific knowledge on participants’ collaboration methods and create a powerful collaborative learning tool. [less ▲]

Detailed reference viewed: 64 (9 UL)