scispace - formally typeset
Search or ask a question
Author

Sofiène Tahar

Bio: Sofiène Tahar is an academic researcher from Concordia University. The author has contributed to research in topics: Formal verification & Automated theorem proving. The author has an hindex of 27, co-authored 376 publications receiving 3896 citations. Previous affiliations of Sofiène Tahar include Karlsruhe Institute of Technology & Université de Montréal.


Papers
More filters
Journal ArticleDOI
TL;DR: This paper presents an adaptive state of charge (SOC) and state of health (SOH) estimation technique for lithium-ion batteries that estimates online parameters of the battery model using a Lyapunov-based adaptation law.
Abstract: This paper presents an adaptive state of charge (SOC) and state of health (SOH) estimation technique for lithium-ion batteries. The adaptive strategy estimates online parameters of the battery model using a Lyapunov-based adaptation law. Therefore, the adaptive observer stability is guaranteed by Lyapunov's direct method. Since no a priori knowledge of battery parameters is required, accurate estimation is still achieved, although parameters change due to aging or other factors. Unlike other estimation strategies, only battery terminal voltage and current measurements are required. Simulation and experimental results highlight the high SOC and SOH accuracy estimation of the proposed technique.

140 citations

Journal ArticleDOI
TL;DR: An adaptive multistage structure based on the partial interference cancellation approach, which can outperform some of the existing interference cancellation methods in both the additive white Gaussian noise (AWGN) and the multipath fading channels.
Abstract: Although the multistage interference cancellation detector is simple in structure, its performance degrades when the number of active users becomes large. In some cases, the performance is even worse than that without cancellation, due to the lack of the exact knowledge of the interfering signal in cancellation. Partial interference cancellation suggested by Divsalar and Simon (see IEEE Trans. Commun., vol.46, p.258-68, 1998) tries to remedy this weakness by reducing the cost of a wrong interference estimation through a weight in each stage. This paper presents an adaptive multistage structure based on the partial interference cancellation approach. In this structure, the weights are obtained by minimizing the mean-square error between the received signal and its estimate through a least mean square (LMS) algorithm. The resulting weights contain reliability information for the hard decisions made in the previous stage. Neither a training sequence nor a pilot signal is needed in the proposed scheme, and its complexity is much lower than that of linear multiuser detectors. Simulation results show that the proposed scheme can outperform some of the existing interference cancellation methods in both the additive white Gaussian noise (AWGN) and the multipath fading channels.

129 citations

Journal ArticleDOI
TL;DR: This paper surveys research activities in the formal verification of AMS designs as well as compares the different proposed approaches, and studies the applicability of formal methods for the verification ofAMS systems.

106 citations

Journal ArticleDOI
TL;DR: This paper survey and classify different techniques used for watermarking IP designs, and defined several evaluation criteria, which can be used as a benchmark for new IPWatermarking developments.
Abstract: Intellectual property (IP) block reuse is essential for facilitating the design process of system-on-a-chip. Sharing IP designs poses significant high security risks. Recently, digital watermarking emerged as a candidate solution for copyright protection of IP blocks. In this paper, we survey and classify different techniques used for watermarking IP designs. To this end, we defined several evaluation criteria, which can also be used as a benchmark for new IP watermarking developments. Furthermore, we established a comprehensive set of requirements for future IP watermarking techniques.

88 citations

Journal ArticleDOI
TL;DR: In this paper, a new FSM watermarking scheme is proposed by making the authorship information a non-redundant property of the FSM to overcome the vulnerability to state removal attack and minimize the design overhead.
Abstract: Finite state machines (FSMs) are the backbone of sequential circuit design. In this paper, a new FSM watermarking scheme is proposed by making the authorship information a non-redundant property of the FSM. To overcome the vulnerability to state removal attack and minimize the design overhead, the watermark bits are seamlessly interwoven into the outputs of the existing and free transitions of state transition graph (STG). Unlike other transition-based STG watermarking, pseudo input variables have been reduced and made functionally indiscernible by the notion of reserved free literal. The assignment of reserved literals is exploited to minimize the overhead of watermarking and make the watermarked FSM fallible upon removal of any pseudo input variable. A direct and convenient detection scheme is also proposed to allow the watermark on the FSM to be publicly detectable. Experimental results on the watermarked circuits from the ISCAS'89 and IWLS'93 benchmark sets show lower or acceptably low overheads with higher tamper resilience and stronger authorship proof in comparison with related watermarking schemes for sequential functions.

80 citations


Cited by
More filters
Christopher M. Bishop1
01 Jan 2006
TL;DR: Probability distributions of linear models for regression and classification are given in this article, along with a discussion of combining models and combining models in the context of machine learning and classification.
Abstract: Probability Distributions.- Linear Models for Regression.- Linear Models for Classification.- Neural Networks.- Kernel Methods.- Sparse Kernel Machines.- Graphical Models.- Mixture Models and EM.- Approximate Inference.- Sampling Methods.- Continuous Latent Variables.- Sequential Data.- Combining Models.

10,141 citations

Journal ArticleDOI
01 Apr 1988-Nature
TL;DR: In this paper, a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) is presented.
Abstract: Deposits of clastic carbonate-dominated (calciclastic) sedimentary slope systems in the rock record have been identified mostly as linearly-consistent carbonate apron deposits, even though most ancient clastic carbonate slope deposits fit the submarine fan systems better. Calciclastic submarine fans are consequently rarely described and are poorly understood. Subsequently, very little is known especially in mud-dominated calciclastic submarine fan systems. Presented in this study are a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) that reveals a >250 m thick calciturbidite complex deposited in a calciclastic submarine fan setting. Seven facies are recognised from core and thin section characterisation and are grouped into three carbonate turbidite sequences. They include: 1) Calciturbidites, comprising mostly of highto low-density, wavy-laminated bioclast-rich facies; 2) low-density densite mudstones which are characterised by planar laminated and unlaminated muddominated facies; and 3) Calcidebrites which are muddy or hyper-concentrated debrisflow deposits occurring as poorly-sorted, chaotic, mud-supported floatstones. These

9,929 citations

Book ChapterDOI
01 Jan 2015

3,828 citations

01 Jan 1990
TL;DR: An overview of the self-organizing map algorithm, on which the papers in this issue are based, is presented in this article, where the authors present an overview of their work.
Abstract: An overview of the self-organizing map algorithm, on which the papers in this issue are based, is presented in this article.

2,933 citations

Book ChapterDOI
01 Jan 1998
TL;DR: In this paper, the authors explore questions of existence and uniqueness for solutions to stochastic differential equations and offer a study of their properties, using diffusion processes as a model of a Markov process with continuous sample paths.
Abstract: We explore in this chapter questions of existence and uniqueness for solutions to stochastic differential equations and offer a study of their properties. This endeavor is really a study of diffusion processes. Loosely speaking, the term diffusion is attributed to a Markov process which has continuous sample paths and can be characterized in terms of its infinitesimal generator.

2,446 citations