- home
- Advanced Search
- EDIH Adria
- 2017-2021
- Publications
- Research data
- Article
- FR
- INRIA a CCSD electronic archive ser...
- EDIH Adria
- 2017-2021
- Publications
- Research data
- Article
- FR
- INRIA a CCSD electronic archive ser...
Loading
description Publicationkeyboard_double_arrow_right Article 2021 Spain, France, FrancePublisher:Elsevier BV Authors: Mathilde Boltenhagen; Thomas Chatain; Josep Carmona;Mathilde Boltenhagen; Thomas Chatain; Josep Carmona;handle: 2117/336364
The comparison of trace variants of business processes opens the door for a fine-grained analysis of the distinctive features inherent in the executions of a process in an organization. The current approaches for trace variant analysis do not consider the situation where a process model is present, and therefore, it can guide the derivation of the trace variants by considering high-level structures present in the process model. In this paper we propose a fresh alternative to trace variant analysis, which proposes a generalized notion of trace variant that incorporates concurrency and iteration. This way, the analyst may be relieved from analyzing trace variants that are essentially the same, if these aspects are disregarded. We propose a general algorithm for model based trace variant analysis which is grounded in encoding the problem into SAT, and a family of heuristic alternatives including a very light sampling technique that represents a good trade-off between quality of the trace variants identified, and the complexity of the analysis. All the techniques of the paper are implemented in two open-source tools, and experiments with publicly available benchmarks are reported. This work has been supported by Farman institute at ENS Paris-Saclay, Spain and by MINECO, Spain and FEDER, Spain funds under grant TIN2017-86727-C2-1-R. Peer Reviewed
Recolector de Cienci... arrow_drop_down Recolector de Ciencia Abierta, RECOLECTAArticle . 2021 . Peer-reviewedLicense: CC BY NC NDData sources: Recolector de Ciencia Abierta, RECOLECTAInformation Systems; UPCommons. Portal del coneixement obert de la UPCOther literature type . Article . 2021 . Peer-reviewedLicense: Elsevier TDMUPCommons. Portal del coneixement obert de la UPCArticle . 2021License: CC BY NC NDData sources: UPCommons. Portal del coneixement obert de la UPCHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-03132606/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.is.2020.101675&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 4 citations 4 popularity Top 10% influence Average impulse Average Powered by BIP!visibility 89visibility views 89 download downloads 37 Powered bymore_vert Recolector de Cienci... arrow_drop_down Recolector de Ciencia Abierta, RECOLECTAArticle . 2021 . Peer-reviewedLicense: CC BY NC NDData sources: Recolector de Ciencia Abierta, RECOLECTAInformation Systems; UPCommons. Portal del coneixement obert de la UPCOther literature type . Article . 2021 . Peer-reviewedLicense: Elsevier TDMUPCommons. Portal del coneixement obert de la UPCArticle . 2021License: CC BY NC NDData sources: UPCommons. Portal del coneixement obert de la UPCHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-03132606/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.is.2020.101675&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 FrancePublisher:Elsevier BV Tournier, Jonathan; Lesueur, François; Le Mouël, Frédéric; Guyon, Laurent; Ben-Hassine, Hicham;International audience; The Internet of things (IoT) is rapidly growing, and many security issues relate to its wireless technology. These security issues are challenging because IoT protocols are heterogeneous, suit different needs, and are used in different application domains. From this assessment, we identify the need to provide a homogeneous formalism applying to every IoT protocols. In this survey, we describe a generic approach with twofold challenges. The first challenge we tackle is the identification of common principles to define a generic approach to compare IoT protocol stack. We base the comparison on five different criteria: the range, the openness of the protocol, the interoperability, the topology and the security practices of these IoT protocols. The second challenge we consider is to find a generic way to describe fundamental IoT attacks regardless of the protocol used. This approach exposes similar attacks amongst different IoT protocols and is divided into three parts: attacks focusing on packets (passive and active cryptographic attacks), attacks focusing on the protocol (MITM, Flooding, Sybil, Spoofing, Wormhole attacks) and attacks focusing on the whole system (Sinkhole, Selective forwarding attacks). It also highlights which mechanisms are different between two protocols to make both of them vulnerable to an attack. Finally, we draw some lessons and perspectives from this transversal study.
Internet of Things arrow_drop_down INRIA a CCSD electronic archive serverArticle . 2020Data sources: INRIA a CCSD electronic archive serveradd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.iot.2020.100264&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 53 citations 53 popularity Top 1% influence Top 10% impulse Top 1% Powered by BIP!more_vert Internet of Things arrow_drop_down INRIA a CCSD electronic archive serverArticle . 2020Data sources: INRIA a CCSD electronic archive serveradd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.iot.2020.100264&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint 2021 FrancePublisher:Elsevier BV Authors: Florent Capelli; Yann Strozecki;Florent Capelli; Yann Strozecki;International audience; In this article, we study the problem of enumerating the models of DNF formulas. The aim is to provide enumeration algorithms with a delay that depends polynomially on the size of each model and not on the size of the formula. We succeed for two subclasses of DNF formulas: we provide a constant delay algorithm for k-DNF with fixed k by an appropriate amortization method and we give a polynomial delay algorithm for monotone formulas. We then focus on the average delay of enumeration algorithms and show that we can bring down the dependency of the average delay to the square root of the formula size and even to a logarithmic dependency for monotone formulas.
arXiv.org e-Print Ar... arrow_drop_down Discrete Applied MathematicsArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefINRIA a CCSD electronic archive serverArticle . 2020Data sources: INRIA a CCSD electronic archive serverHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-01891483/documentData sources: Hal-Diderothttps://doi.org/10.48550/arxiv...Article . 2018License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.dam.2020.02.014&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 2 citations 2 popularity Average influence Average impulse Average Powered by BIP!more_vert arXiv.org e-Print Ar... arrow_drop_down Discrete Applied MathematicsArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefINRIA a CCSD electronic archive serverArticle . 2020Data sources: INRIA a CCSD electronic archive serverHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-01891483/documentData sources: Hal-Diderothttps://doi.org/10.48550/arxiv...Article . 2018License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.dam.2020.02.014&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 FrancePublisher:Elsevier BV Authors: Auriol, Jean; Kazemi, Nasser; Niculescu, Silviu-Iulian;Auriol, Jean; Kazemi, Nasser; Niculescu, Silviu-Iulian;International audience; In this paper, we consider the axial motion of a directional multi-sectional drill-string. The drillstring dynamics are represented by a distributed dynamical model (wave equations) coupled with an ordinary differential equation at the downhole boundary (bit-rock interaction). The interaction between the drill-bit and rock can introduce severe vibrations in the drill-string and result in safety and performance issues. Consequently, the performance of drilling is interwoven with our knowledge of the subsurface. To address these problems, we propose a sensing and computational framework for estimating the drill-string dynamics and the specific intrinsic energy of the rocks while drilling. By exploiting the derived models' particular structure, we combine the drill-string dynamics modeling with top-drive hook-load (force) and hook-speed (velocity) measurements to estimate the force-on-bit without requiring the knowledge of the sub-surface. Then, we record and model the seismic radiation patterns of drill-bit rock interactions near the surface (i.e., seismic while drilling). Such an idea allows deriving an appropriate estimation of the rocks' intrinsic energy while drilling. We introduce two alternative rock property estimation algorithms based on direct parameter estimation and machine learning concepts to complete the analysis. The different approaches are tested and validated in simulations. We discuss their respective advantages and drawbacks. Finally, we show how to extend our methodologies in the presence of non-linear Coulomb friction terms and of coupled axial-torsional oscillations.
Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal Processing; Hal-DiderotArticle . 2021Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107836&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 7 citations 7 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal Processing; Hal-DiderotArticle . 2021Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107836&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint 2021 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Funded by:NSERCNSERCThong Hoang; Julia Lawall; Yuan Tian; Richard J. Oentaryo; David Lo;International audience; Linux kernel stable versions serve the needs of users who value stability of the kernel over new features. The quality of such stable versions depends on the initiative of kernel developers and maintainers to propagate bug fixing patches to the stable versions. Thus, it is desirable to consider to what extent this process can be automated. A previous approach relies on words from commit messages and a small set of manually constructed code features. This approach, however, shows only moderate accuracy. In this paper, we investigate whether deep learning can provide a more accurate solution. We propose PatchNet, a hierarchical deep learning-based approach capable of automatically extracting features from commit messages and commit code and using them to identify stable patches. PatchNet contains a deep hierarchical structure that mirrors the hierarchical and sequential structure of commit code, making it distinctive from the existing deep learning models on source code. Experiments on 82,403 recent Linux patches confirm the superiority of PatchNet against various state-of-the-art baselines, including the one recently-adopted by Linux kernel maintainers.
IEEE Transactions on... arrow_drop_down IEEE Transactions on Software EngineeringArticle . 2021 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2019Full-Text: https://hal.inria.fr/hal-02373994/documentData sources: Hal-Diderothttps://doi.org/10.48550/arxiv...Article . 2019License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tse.2019.2952614&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen hybrid 8 citations 8 popularity Top 10% influence Average impulse Top 10% Powered by BIP!visibility 138visibility views 138 download downloads 83 Powered bymore_vert IEEE Transactions on... arrow_drop_down IEEE Transactions on Software EngineeringArticle . 2021 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2019Full-Text: https://hal.inria.fr/hal-02373994/documentData sources: Hal-Diderothttps://doi.org/10.48550/arxiv...Article . 2019License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tse.2019.2952614&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 FrancePublisher:Elsevier BV Authors: Gres, Szymon; Döhler, Michael; Mevel, Laurent;Gres, Szymon; Döhler, Michael; Mevel, Laurent;International audience; Damage localization and quantification constitute different aspects of structural damage diagnosis, which are of particular interest in the Structural Health Monitoring field. Therein, a classical solution is model updating, where the parameters of a finite element model of the possibly damaged structure are optimized to match with the corresponding parameters estimated from its vibration responses. To avoid ill-posedness of the classical finite element updating problem, damage localization and quantification can be treated separately. First, the information about regions or clusters of possibly damaged elements in the structure is obtained by a damage localization method. Then, this information is used to reduce the number of parameters for damage quantification. A framework combining the advantages of methods for damage localization with model optimization is proposed in this paper. For the exploration of the clustered physical model space, a stochastic optimization algorithm is coupled with the evaluation of the statistical properties of the MAC and frequency differences between the numerical model and the estimated modes for an adequate treatment of the data-based uncertainties. Herein, the development of the statistical properties of the MAC estimate is an important step, which is based on a recent quadratic framework that is adapted to the context of the inner product between an estimated mode shape and a numerical mode shape. This statistical information is used in the formulation of the objective function as well as in a data-driven stopping criterion for the optimization search. The proposed framework is validated on numerical simulations of a beam model, where damage at multiple locations is quantified up to the clustering precision.
Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03468260/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107894&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routeshybrid 5 citations 5 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03468260/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107894&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 FrancePublisher:Elsevier BV Authors: Aswal, Neha; Sen, Subhamoy; Mevel, Laurent;Aswal, Neha; Sen, Subhamoy; Mevel, Laurent;International audience; Tensegrities form a special case of truss, wherein compression members (struts/bars) float within a network of tension members (cables). Tensegrities are characterized by the presence of at least one infinitesimal mechanism stabilized with member pre-stress to ensure equilibrium. Over prolonged usage, the cables may lose their pre-stress while the bars may buckle, get damaged, or corrode, affecting the structural stiffness leading to change in the measured dynamic properties. Upon loading, a tensegrity structure may change its form through altering its member pre-stress affecting its global stiffness, even in the absence of damage. This can potentially mask the effect of damage leading to a false impression of tensegrity health. This poses the major challenge in tensegrity health monitoring especially when the load is stochastic and unknown. Present study proposes an output-only time-domain method that makes use of tensegrity vibrational responses within a Bayesian filtering-based approach to monitor the tensegrity health in the presence of uncertainties due to ambient force, model inaccuracy, and measurement noise. For this, an interacting strategy combining Particle Filter (PF) and Ensemble Kalman Filter (EnKF) has been adopted (Interacting particle-Ensemble Kalman Filter, IP-EnKF) in which the EnKF estimates the response states as ensembles while running within a PF envelop that estimates a set of location-based health parameters as particles. Furthermore, for a cheaper damage detection procedure, strain responses are used as measurements. The efficiency of the proposed methodology in terms of accuracy, computational cost, and robustness against noise contamination has been demonstrated using numerical experiments performed on two tensegrity modules: a simplex tensegrity and an extended-octahedron tensegrity.
Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03468255/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107824&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 7 citations 7 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03468255/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107824&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 Denmark, France, France, FrancePublisher:IOS Press Authors: Pelgrin, Olivier; Galárraga, Luis; Hose, Katja;Pelgrin, Olivier; Galárraga, Luis; Hose, Katja;doi: 10.3233/sw-210434
International audience; The dynamicity of RDF data has motivated the development of solutions for archiving, i.e., the task of storing and querying previous versions of an RDF dataset. Querying the history of a dataset finds applications in data maintenance and analytics. Notwithstanding the value of RDF archiving, the state of the art in this field is underdeveloped: (i) most existing systems are neither scalable nor easy to use, (ii) there is no standard way to query RDF archives, and (iii) solutions do not exploit the evolution patterns of real RDF data. On these grounds, this paper surveys the existing works in RDF archiving in order to characterize the gap between the state of the art and a fully-fledged solution. It also provides RDFev, a framework to study the dynamicity of RDF data. We use RDFev to study the evolution of YAGO, DBpedia, and Wikidata, three dynamic and prominent datasets on the Semantic Web. These insights set the ground for the sketch of a fully-fledged archiving solution for RDF data.
Semantic Web arrow_drop_down VBN; Aalborg University Research PortalArticle . 2021add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.3233/sw-210434&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routeshybrid 3 citations 3 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert Semantic Web arrow_drop_down VBN; Aalborg University Research PortalArticle . 2021add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.3233/sw-210434&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Other literature type 2021 France, France, France, CanadaPublisher:Elsevier BV Authors: Afsar, Sezin; Brotcorne, Luce; Marcotte, Patrice; Savard, Gilles;Afsar, Sezin; Brotcorne, Luce; Marcotte, Patrice; Savard, Gilles;Abstract In this paper, we address a day-ahead pricing and load balancing problem, within an environment involving self-scheduled users whose utilities are optimized via a smart grid. The model is formulated as a mixed integer bilevel program for which we propose a single level reformulation. Next, we design two heuristic algorithms which, by relying on the structure of the problem, provide high quality solutions in moderate computation time.
PolyPublie arrow_drop_down Computers & Operations ResearchArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.cor.2021.105366&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu4 citations 4 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert PolyPublie arrow_drop_down Computers & Operations ResearchArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.cor.2021.105366&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint 2021 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Funded by:NSF | TWC: Small: Intrusion Det..., NSF | CPS: Small: Energy-Aware ..., NSF | CPS: Breakthrough: Develo...NSF| TWC: Small: Intrusion Detection and Resilience Against Attacks in Cyber and Cyber-Physical Control Systems ,NSF| CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems ,NSF| CPS: Breakthrough: Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical SystemsAuthors: Rômulo Meira-Góes; Stéphane Lafortune; Hervé Marchand;Rômulo Meira-Góes; Stéphane Lafortune; Hervé Marchand;We consider feedback control systems where sensor readings may be compromised by a malicious attacker intending on causing damage to the system. We study this problem at the supervisory layer of the control system, using discrete event systems techniques. We assume that the attacker can edit the outputs from the sensors of the system before they reach the supervisory controller. In this context, we formulate the problem of synthesizing a supervisor that is robust against the class of edit attacks on the sensor readings and present a solution methodology for this problem. This methodology blends techniques from games on automata with imperfect information with results from supervisory control theory of partially-observed discrete event systems. Necessary and sufficient conditions are provided for the investigated problem. Comment: Full version of preprint accepted at IEEE Transactions on Automatic Control
arXiv.org e-Print Ar... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2021 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03153391/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2021.3051459&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 15 citations 15 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert arXiv.org e-Print Ar... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2021 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03153391/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2021.3051459&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu
Loading
description Publicationkeyboard_double_arrow_right Article 2021 Spain, France, FrancePublisher:Elsevier BV Authors: Mathilde Boltenhagen; Thomas Chatain; Josep Carmona;Mathilde Boltenhagen; Thomas Chatain; Josep Carmona;handle: 2117/336364
The comparison of trace variants of business processes opens the door for a fine-grained analysis of the distinctive features inherent in the executions of a process in an organization. The current approaches for trace variant analysis do not consider the situation where a process model is present, and therefore, it can guide the derivation of the trace variants by considering high-level structures present in the process model. In this paper we propose a fresh alternative to trace variant analysis, which proposes a generalized notion of trace variant that incorporates concurrency and iteration. This way, the analyst may be relieved from analyzing trace variants that are essentially the same, if these aspects are disregarded. We propose a general algorithm for model based trace variant analysis which is grounded in encoding the problem into SAT, and a family of heuristic alternatives including a very light sampling technique that represents a good trade-off between quality of the trace variants identified, and the complexity of the analysis. All the techniques of the paper are implemented in two open-source tools, and experiments with publicly available benchmarks are reported. This work has been supported by Farman institute at ENS Paris-Saclay, Spain and by MINECO, Spain and FEDER, Spain funds under grant TIN2017-86727-C2-1-R. Peer Reviewed
Recolector de Cienci... arrow_drop_down Recolector de Ciencia Abierta, RECOLECTAArticle . 2021 . Peer-reviewedLicense: CC BY NC NDData sources: Recolector de Ciencia Abierta, RECOLECTAInformation Systems; UPCommons. Portal del coneixement obert de la UPCOther literature type . Article . 2021 . Peer-reviewedLicense: Elsevier TDMUPCommons. Portal del coneixement obert de la UPCArticle . 2021License: CC BY NC NDData sources: UPCommons. Portal del coneixement obert de la UPCHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-03132606/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.is.2020.101675&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 4 citations 4 popularity Top 10% influence Average impulse Average Powered by BIP!visibility 89visibility views 89 download downloads 37 Powered bymore_vert Recolector de Cienci... arrow_drop_down Recolector de Ciencia Abierta, RECOLECTAArticle . 2021 . Peer-reviewedLicense: CC BY NC NDData sources: Recolector de Ciencia Abierta, RECOLECTAInformation Systems; UPCommons. Portal del coneixement obert de la UPCOther literature type . Article . 2021 . Peer-reviewedLicense: Elsevier TDMUPCommons. Portal del coneixement obert de la UPCArticle . 2021License: CC BY NC NDData sources: UPCommons. Portal del coneixement obert de la UPCHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-03132606/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.is.2020.101675&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 FrancePublisher:Elsevier BV Tournier, Jonathan; Lesueur, François; Le Mouël, Frédéric; Guyon, Laurent; Ben-Hassine, Hicham;International audience; The Internet of things (IoT) is rapidly growing, and many security issues relate to its wireless technology. These security issues are challenging because IoT protocols are heterogeneous, suit different needs, and are used in different application domains. From this assessment, we identify the need to provide a homogeneous formalism applying to every IoT protocols. In this survey, we describe a generic approach with twofold challenges. The first challenge we tackle is the identification of common principles to define a generic approach to compare IoT protocol stack. We base the comparison on five different criteria: the range, the openness of the protocol, the interoperability, the topology and the security practices of these IoT protocols. The second challenge we consider is to find a generic way to describe fundamental IoT attacks regardless of the protocol used. This approach exposes similar attacks amongst different IoT protocols and is divided into three parts: attacks focusing on packets (passive and active cryptographic attacks), attacks focusing on the protocol (MITM, Flooding, Sybil, Spoofing, Wormhole attacks) and attacks focusing on the whole system (Sinkhole, Selective forwarding attacks). It also highlights which mechanisms are different between two protocols to make both of them vulnerable to an attack. Finally, we draw some lessons and perspectives from this transversal study.
Internet of Things arrow_drop_down INRIA a CCSD electronic archive serverArticle . 2020Data sources: INRIA a CCSD electronic archive serveradd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.iot.2020.100264&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 53 citations 53 popularity Top 1% influence Top 10% impulse Top 1% Powered by BIP!more_vert Internet of Things arrow_drop_down INRIA a CCSD electronic archive serverArticle . 2020Data sources: INRIA a CCSD electronic archive serveradd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.iot.2020.100264&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint 2021 FrancePublisher:Elsevier BV Authors: Florent Capelli; Yann Strozecki;Florent Capelli; Yann Strozecki;International audience; In this article, we study the problem of enumerating the models of DNF formulas. The aim is to provide enumeration algorithms with a delay that depends polynomially on the size of each model and not on the size of the formula. We succeed for two subclasses of DNF formulas: we provide a constant delay algorithm for k-DNF with fixed k by an appropriate amortization method and we give a polynomial delay algorithm for monotone formulas. We then focus on the average delay of enumeration algorithms and show that we can bring down the dependency of the average delay to the square root of the formula size and even to a logarithmic dependency for monotone formulas.
arXiv.org e-Print Ar... arrow_drop_down Discrete Applied MathematicsArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefINRIA a CCSD electronic archive serverArticle . 2020Data sources: INRIA a CCSD electronic archive serverHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-01891483/documentData sources: Hal-Diderothttps://doi.org/10.48550/arxiv...Article . 2018License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.dam.2020.02.014&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 2 citations 2 popularity Average influence Average impulse Average Powered by BIP!more_vert arXiv.org e-Print Ar... arrow_drop_down Discrete Applied MathematicsArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefINRIA a CCSD electronic archive serverArticle . 2020Data sources: INRIA a CCSD electronic archive serverHal-DiderotArticle . 2020Full-Text: https://hal.inria.fr/hal-01891483/documentData sources: Hal-Diderothttps://doi.org/10.48550/arxiv...Article . 2018License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.dam.2020.02.014&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 FrancePublisher:Elsevier BV Authors: Auriol, Jean; Kazemi, Nasser; Niculescu, Silviu-Iulian;Auriol, Jean; Kazemi, Nasser; Niculescu, Silviu-Iulian;International audience; In this paper, we consider the axial motion of a directional multi-sectional drill-string. The drillstring dynamics are represented by a distributed dynamical model (wave equations) coupled with an ordinary differential equation at the downhole boundary (bit-rock interaction). The interaction between the drill-bit and rock can introduce severe vibrations in the drill-string and result in safety and performance issues. Consequently, the performance of drilling is interwoven with our knowledge of the subsurface. To address these problems, we propose a sensing and computational framework for estimating the drill-string dynamics and the specific intrinsic energy of the rocks while drilling. By exploiting the derived models' particular structure, we combine the drill-string dynamics modeling with top-drive hook-load (force) and hook-speed (velocity) measurements to estimate the force-on-bit without requiring the knowledge of the sub-surface. Then, we record and model the seismic radiation patterns of drill-bit rock interactions near the surface (i.e., seismic while drilling). Such an idea allows deriving an appropriate estimation of the rocks' intrinsic energy while drilling. We introduce two alternative rock property estimation algorithms based on direct parameter estimation and machine learning concepts to complete the analysis. The different approaches are tested and validated in simulations. We discuss their respective advantages and drawbacks. Finally, we show how to extend our methodologies in the presence of non-linear Coulomb friction terms and of coupled axial-torsional oscillations.
Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal Processing; Hal-DiderotArticle . 2021Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107836&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 7 citations 7 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal Processing; Hal-DiderotArticle . 2021Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107836&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint 2021 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Funded by:NSERCNSERCThong Hoang; Julia Lawall; Yuan Tian; Richard J. Oentaryo; David Lo;International audience; Linux kernel stable versions serve the needs of users who value stability of the kernel over new features. The quality of such stable versions depends on the initiative of kernel developers and maintainers to propagate bug fixing patches to the stable versions. Thus, it is desirable to consider to what extent this process can be automated. A previous approach relies on words from commit messages and a small set of manually constructed code features. This approach, however, shows only moderate accuracy. In this paper, we investigate whether deep learning can provide a more accurate solution. We propose PatchNet, a hierarchical deep learning-based approach capable of automatically extracting features from commit messages and commit code and using them to identify stable patches. PatchNet contains a deep hierarchical structure that mirrors the hierarchical and sequential structure of commit code, making it distinctive from the existing deep learning models on source code. Experiments on 82,403 recent Linux patches confirm the superiority of PatchNet against various state-of-the-art baselines, including the one recently-adopted by Linux kernel maintainers.
IEEE Transactions on... arrow_drop_down IEEE Transactions on Software EngineeringArticle . 2021 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2019Full-Text: https://hal.inria.fr/hal-02373994/documentData sources: Hal-Diderothttps://doi.org/10.48550/arxiv...Article . 2019License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tse.2019.2952614&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen hybrid 8 citations 8 popularity Top 10% influence Average impulse Top 10% Powered by BIP!visibility 138visibility views 138 download downloads 83 Powered bymore_vert IEEE Transactions on... arrow_drop_down IEEE Transactions on Software EngineeringArticle . 2021 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2019Full-Text: https://hal.inria.fr/hal-02373994/documentData sources: Hal-Diderothttps://doi.org/10.48550/arxiv...Article . 2019License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tse.2019.2952614&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 FrancePublisher:Elsevier BV Authors: Gres, Szymon; Döhler, Michael; Mevel, Laurent;Gres, Szymon; Döhler, Michael; Mevel, Laurent;International audience; Damage localization and quantification constitute different aspects of structural damage diagnosis, which are of particular interest in the Structural Health Monitoring field. Therein, a classical solution is model updating, where the parameters of a finite element model of the possibly damaged structure are optimized to match with the corresponding parameters estimated from its vibration responses. To avoid ill-posedness of the classical finite element updating problem, damage localization and quantification can be treated separately. First, the information about regions or clusters of possibly damaged elements in the structure is obtained by a damage localization method. Then, this information is used to reduce the number of parameters for damage quantification. A framework combining the advantages of methods for damage localization with model optimization is proposed in this paper. For the exploration of the clustered physical model space, a stochastic optimization algorithm is coupled with the evaluation of the statistical properties of the MAC and frequency differences between the numerical model and the estimated modes for an adequate treatment of the data-based uncertainties. Herein, the development of the statistical properties of the MAC estimate is an important step, which is based on a recent quadratic framework that is adapted to the context of the inner product between an estimated mode shape and a numerical mode shape. This statistical information is used in the formulation of the objective function as well as in a data-driven stopping criterion for the optimization search. The proposed framework is validated on numerical simulations of a beam model, where damage at multiple locations is quantified up to the clustering precision.
Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03468260/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107894&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routeshybrid 5 citations 5 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03468260/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107894&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 FrancePublisher:Elsevier BV Authors: Aswal, Neha; Sen, Subhamoy; Mevel, Laurent;Aswal, Neha; Sen, Subhamoy; Mevel, Laurent;International audience; Tensegrities form a special case of truss, wherein compression members (struts/bars) float within a network of tension members (cables). Tensegrities are characterized by the presence of at least one infinitesimal mechanism stabilized with member pre-stress to ensure equilibrium. Over prolonged usage, the cables may lose their pre-stress while the bars may buckle, get damaged, or corrode, affecting the structural stiffness leading to change in the measured dynamic properties. Upon loading, a tensegrity structure may change its form through altering its member pre-stress affecting its global stiffness, even in the absence of damage. This can potentially mask the effect of damage leading to a false impression of tensegrity health. This poses the major challenge in tensegrity health monitoring especially when the load is stochastic and unknown. Present study proposes an output-only time-domain method that makes use of tensegrity vibrational responses within a Bayesian filtering-based approach to monitor the tensegrity health in the presence of uncertainties due to ambient force, model inaccuracy, and measurement noise. For this, an interacting strategy combining Particle Filter (PF) and Ensemble Kalman Filter (EnKF) has been adopted (Interacting particle-Ensemble Kalman Filter, IP-EnKF) in which the EnKF estimates the response states as ensembles while running within a PF envelop that estimates a set of location-based health parameters as particles. Furthermore, for a cheaper damage detection procedure, strain responses are used as measurements. The efficiency of the proposed methodology in terms of accuracy, computational cost, and robustness against noise contamination has been demonstrated using numerical experiments performed on two tensegrity modules: a simplex tensegrity and an extended-octahedron tensegrity.
Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03468255/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107824&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 7 citations 7 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert Mechanical Systems a... arrow_drop_down Mechanical Systems and Signal ProcessingArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03468255/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.ymssp.2021.107824&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2021 Denmark, France, France, FrancePublisher:IOS Press Authors: Pelgrin, Olivier; Galárraga, Luis; Hose, Katja;Pelgrin, Olivier; Galárraga, Luis; Hose, Katja;doi: 10.3233/sw-210434
International audience; The dynamicity of RDF data has motivated the development of solutions for archiving, i.e., the task of storing and querying previous versions of an RDF dataset. Querying the history of a dataset finds applications in data maintenance and analytics. Notwithstanding the value of RDF archiving, the state of the art in this field is underdeveloped: (i) most existing systems are neither scalable nor easy to use, (ii) there is no standard way to query RDF archives, and (iii) solutions do not exploit the evolution patterns of real RDF data. On these grounds, this paper surveys the existing works in RDF archiving in order to characterize the gap between the state of the art and a fully-fledged solution. It also provides RDFev, a framework to study the dynamicity of RDF data. We use RDFev to study the evolution of YAGO, DBpedia, and Wikidata, three dynamic and prominent datasets on the Semantic Web. These insights set the ground for the sketch of a fully-fledged archiving solution for RDF data.
Semantic Web arrow_drop_down VBN; Aalborg University Research PortalArticle . 2021add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.3233/sw-210434&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routeshybrid 3 citations 3 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert Semantic Web arrow_drop_down VBN; Aalborg University Research PortalArticle . 2021add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.3233/sw-210434&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Other literature type 2021 France, France, France, CanadaPublisher:Elsevier BV Authors: Afsar, Sezin; Brotcorne, Luce; Marcotte, Patrice; Savard, Gilles;Afsar, Sezin; Brotcorne, Luce; Marcotte, Patrice; Savard, Gilles;Abstract In this paper, we address a day-ahead pricing and load balancing problem, within an environment involving self-scheduled users whose utilities are optimized via a smart grid. The model is formulated as a mixed integer bilevel program for which we propose a single level reformulation. Next, we design two heuristic algorithms which, by relying on the structure of the problem, provide high quality solutions in moderate computation time.
PolyPublie arrow_drop_down Computers & Operations ResearchArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.cor.2021.105366&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu4 citations 4 popularity Top 10% influence Average impulse Average Powered by BIP!more_vert PolyPublie arrow_drop_down Computers & Operations ResearchArticle . 2021 . Peer-reviewedLicense: Elsevier TDMData sources: Crossrefadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1016/j.cor.2021.105366&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article , Preprint 2021 FrancePublisher:Institute of Electrical and Electronics Engineers (IEEE) Funded by:NSF | TWC: Small: Intrusion Det..., NSF | CPS: Small: Energy-Aware ..., NSF | CPS: Breakthrough: Develo...NSF| TWC: Small: Intrusion Detection and Resilience Against Attacks in Cyber and Cyber-Physical Control Systems ,NSF| CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems ,NSF| CPS: Breakthrough: Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical SystemsAuthors: Rômulo Meira-Góes; Stéphane Lafortune; Hervé Marchand;Rômulo Meira-Góes; Stéphane Lafortune; Hervé Marchand;We consider feedback control systems where sensor readings may be compromised by a malicious attacker intending on causing damage to the system. We study this problem at the supervisory layer of the control system, using discrete event systems techniques. We assume that the attacker can edit the outputs from the sensors of the system before they reach the supervisory controller. In this context, we formulate the problem of synthesizing a supervisor that is robust against the class of edit attacks on the sensor readings and present a solution methodology for this problem. This methodology blends techniques from games on automata with imperfect information with results from supervisory control theory of partially-observed discrete event systems. Necessary and sufficient conditions are provided for the investigated problem. Comment: Full version of preprint accepted at IEEE Transactions on Automatic Control
arXiv.org e-Print Ar... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2021 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03153391/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2021.3051459&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen bronze 15 citations 15 popularity Top 10% influence Average impulse Top 10% Powered by BIP!more_vert arXiv.org e-Print Ar... arrow_drop_down IEEE Transactions on Automatic ControlArticle . 2021 . Peer-reviewedLicense: IEEE CopyrightData sources: CrossrefHal-DiderotArticle . 2021Full-Text: https://hal.inria.fr/hal-03153391/documentData sources: Hal-Diderotadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1109/tac.2021.3051459&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu