Search results for " Theoretical Computer Science"
showing 8 items of 28 documents
Input-to-state stability for discrete-time nonlinear switched singular systems
2016
Discrete-time nonlinear switched singular systems (SSSs) are investigated.The input-to-state stability (ISS) problems for discrete-time nonlinear SSSs are concerned.The ISS criteria are obtained via average dwell time approach and iterative algorithm of discrete-time systems.The switching rules are optimized and designed. This paper investigates the input-to-state stability (ISS) problems for a class of discrete-time nonlinear switched singular systems (SSSs). Two novel ISS criteria are proposed based on average dwell time (ADT) approach and iterative algorithm of discrete-time systems (IADS). In particular, the following two cases are considered for the underlying systems: the first case i…
On integral input-to-state stability for a feedback interconnection of parameterised discrete-time systems
2014
This paper addresses integral input-to-state stability iISS for a feedback interconnection of parameterised discrete-time systems involving two subsystems. Particularly, we give a construction for a smooth iISS Lyapunov function for the whole system from the sum of nonlinearly weighted Lyapunov functions of individual subsystems. Motivations for such a construction are given. We consider two main cases. The first one investigates iISS for the whole system when both subsystems are iISS. The second one gives iISS for the interconnected system when one of subsystems is allowed to be input-to-state stable. The approach is also valid for both discrete-time cascades and a feedback interconnection…
model reduction for continuous-time Markovian jump systems with incomplete statistics of mode information
2013
This paper investigates the problem of model reduction for a class of continuous-time Markovian jump linear systems with incomplete statistics of mode information, which simultaneously considers the exactly known, partially unknown and uncertain transition rates. By fully utilising the properties of transition rate matrices, together with the convexification of uncertain domains, a new sufficient condition for performance analysis is first derived, and then two approaches, namely, the convex linearisation approach and the iterative approach, are developed to solve the model reduction problem. It is shown that the desired reduced-order models can be obtained by solving a set of strict linear…
Words with the Maximum Number of Abelian Squares
2015
An abelian square is the concatenation of two words that are anagrams of one another. A word of length n can contain \(\varTheta (n^2)\) distinct factors that are abelian squares. We study infinite words such that the number of abelian square factors of length n grows quadratically with n.
A tool to support the creation of datasets of tampered videos
2015
Digital Video Forensics is getting a growing interest from the Multimedia research community, as the need for methods to validate the authenticity of a video content is increasing with the number of videos freely available to the digital users. Unlike Digital Image Forensics, to our knowledge, there are not standard datasets to test video forgery detection techniques. In this paper we present a new tool to support the users in creating datasets of tampered videos. We furthermore present our own dataset and we discuss some remarks about how to create forgeries difficult to be detected by an observer, to the naked eye.
Some reflections on Fuzzy Set Theory as an Experimental Science
2014
The aim of this paper is to open a critical discussion on the claim, recently presented in the community and especially heralded by Enric Trillas, that fuzzy logic should be seen as an “experimental science”. The first interesting aspect of such remark is whether and in which way such position has consequences on the real development of the research, or if it is simply a (different) way of looking at the same phenomenon. As a consequence, we investigate the possible connection to Zadeh’s distiction between Fuzzy logic in a restricted sense and in a general sense. We shall argue that Trillas’s claim not only strongly supports the necessity for such a distinction, but provides a path of inves…
An Innovative Similarity Measure for Sentence Plagiarism Detection
2016
We propose and experimentally assess Semantic Word Error Rate (SWER), an innovative similarity measure for sentence plagiarism detection. SWER introduces a complex approach based on latent semantic analysis, which is capable of outperforming the accuracy of competitor methods in plagiarism detection. We provide principles and functionalities of SWER, and we complement our analytical contribution by means of a significant preliminary experimental analysis. Derived results are promising, and confirm to use the goodness of our proposal.
MUV: A Game to Encourage Sustainable Mobility Habits
2019
This working paper investigates the question of changing people mobility towards more sustainable habits involving them in an engaging gameplay. The work is performed within MUV H2020 research and innovation action. The game design, definition and features have been co-created through the involvement of different citizens and stakeholders in six European neighbourhoods. The paper discusses the game design as resulting from co-creation and co-design experiences with each neighbourhood communities involved in initial phases. The paper argues that the local co-design activities have influenced the game definition, together with the community engagement approach. The MUV gameplay approach resul…