SearcharxivSearch

arXiv subjects

Tiago Carvalho

Publications and source records attributed to Tiago Carvalho.

14 recordsLinked to original sources

Limit Sets and Global Bifurcation Structure in Planar Control Models with Large Hysteresis

The present paper addresses a problem that may be of considerable interest to a broad audience since the systems considered here operate according to a switching protocol involving two distinct dynamical regimes. Starting from an initial condition, the evolution follows a first vector field until a selected state variable $y$ reaches a lower threshold $C_1$. At this moment, the dynamics switches to a second vector field. The second regime remains active until the same variable attains an upper threshold $C_2>C_1$, when the first vector field is restored. This alternating procedure is then repeated indefinitely giving rise to a piecewise smooth vector field. A complete characterization of the $\omega$-limit sets is obtained for every admissible combination of parameters and all initial condition. The analysis is carried out by combining explicit solutions of the vector fields with geometric arguments and the first return map. Beyond the classification of limit sets, the paper describes the global bifurcation structure of the family. As the parameters vary, the system undergoes qualitative transitions between distinct asymptotic regimes, including the birth and disappearance of periodic orbits, changes in their stability, the occurrence of continuum of periodic trajectories in degenerate situations, and the replacement of bounded dynamics by monotone zig-zag motions or unbounded trajectories. The corresponding bifurcation diagrams provide a complete qualitative description of the asymptotic dynamics of the model.

math.DS

Planar constant piecewise smooth vector fields with large hysteresis

Throughout this work, we will carry out a rigorous mathematical analysis of a class of control systems that is widely used in applications but still lacks a consistent theoretical foundation for describing the types of limit sets that may arise from its dynamics. There are applications in which, for example, a treatment for a given disease is administered until the level of diseased cells falls below a prescribed threshold C1. At that point, the treatment is suspended in order to allow the patient's organism to recover from its side effects. Subsequently, when the level of diseased cells reaches a second threshold C2 bigger than C1, the treatment is resumed, and the protocol is repeated. To the best of our knowledge, there is not a mathematical classification of such models. In this paper, we initiate what is intended to become a consistent body of literature aimed at determining the limit sets of such models. We begin with the planar case, in which two linear vector fields are active and two switching boundaries are considered. Naturally, in future developments, control systems in higher dimensions, featuring additional vector fields and more general switching manifolds, should also be considered.

math.DS

About the Shadowing Theorem for piecewise smooth vector fields with sliding motion

Since every modeling process in real-world situations is subject to errors, the study of the so-called shadowing property becomes highly relevant. This property allows for the identification of true orbits that closely follow a chain of trajectories in which some degree of approximation is introduced at each step. The objective of this paper is to establish a version of the Shadowing Theorem for vector fields governed by ordinary differential equations in the piecewise-smooth setting, where the dynamics alternate between distinct regimes, or on-off stages. First, we present an example showing that such a result can not be obtained under the same hypotheses commonly assumed in the C2 scenario. Consequently, under appropriate assumptions, we prove a Shadowing-like Theorem specifically tailored to this framework. Furthermore, we propose several extensions of the main result aimed at capturing characteristic phenomena intrinsic to piecewise-smooth vector fields - features that do not arise in the C2 setting.

math.DS

VEDLIoT -- Next generation accelerated AIoT systems and applications

The VEDLIoT project aims to develop energy-efficient Deep Learning methodologies for distributed Artificial Intelligence of Things (AIoT) applications. During our project, we propose a holistic approach that focuses on optimizing algorithms while addressing safety and security challenges inherent to AIoT systems. The foundation of this approach lies in a modular and scalable cognitive IoT hardware platform, which leverages microserver technology to enable users to configure the hardware to meet the requirements of a diverse array of applications. Heterogeneous computing is used to boost performance and energy efficiency. In addition, the full spectrum of hardware accelerators is integrated, providing specialized ASICs as well as FPGAs for reconfigurable computing. The project's contributions span across trusted computing, remote attestation, and secure execution environments, with the ultimate goal of facilitating the design and deployment of robust and efficient AIoT systems. The overall architecture is validated on use-cases ranging from Smart Home to Automotive and Industrial IoT appliances. Ten additional use cases are integrated via an open call, broadening the range of application areas.

cs.AR

Some apects of thermodinamic formalism of piecewise of smooth vector fields

In this paper we study some aspects of thermodynamic formalism, more specifically topological pressure and, as a consequence, topological entropy for piecewise smooth vector fields, using topological conjugation with shift maps and the Perron- Frobenius Operator. Some relationships between entropy and Hausdorff dimensions are also investigated.

math.DS

Canonical forms of 3d cusp-fold singularities and its unfoldings

In this paper we obtain 32 canonical forms for 3D piecewise smooth vector fields presenting the so called cusp-fold singularity. All these canonical forms are topologically distinct and collect the main topological aspects of the singularities described as kind of the tangencies involved and positions of the sliding, escaping and crossing regions. Also, one-parameter bifurcations of these canonical forms are presented and the topologically equivalent piecewise smooth vector fields are obtained.

math.DS

Symbolic dynamics of planar piecewise smooth vector fields

Recently, the theory concerning piecewise smooth vector fields (PSVFs for short) have been undergoing important improvements. In fact, many results obtained do not have an analogous for smooth vector fields. For example, the chaoticity of planar PSVFs, which is impossible for the smooth ones. These differences are generated by the non-uniqueness of trajectory passing through a point. Inspired by the classical fact that one-dimensional discrete dynamic systems can produce chaotic behavior, we construct a conjugation between the shift map and PSVFs. By means of the results obtained and the techniques employed, a new perspective on the study of PSVFs is brought to light and, through already established results for discrete dynamic systems, we will be able to obtain results regarding PSVFs.

math.DS

On Topological Entropy of Piecewise Smooth Vector Fields 2

Non-smooth vector fields does not have necessarily the property of uniqueness of solution passing through a point and this is responsible to enrich the behavior of the system. Even on the plane non-smooth vector fields can be chaotic, a feature impossible for the smooth or continuous case. We propose a new approach towards a better understanding of chaos for non-smooth vector fields and this is done by studying the entropy of the system. In this work we set the ground for one to begin the study of entropy for non-smooth vector fields. We construct a metric space of all possible trajectories of a non-smooth vector field, where we define a flow inherited by the vector field and then define the topological entropy in this scenario. As a consequence, we are able to obtain some general results of this theory and give some examples of planar non-smooth vector fields with positive (finite and infinite) entropy.

math.DS

Sliding mode on tangential sets of Filippov systems

We consider piecewise smooth vector fields $Z=(Z_+, Z_-)$ defined in $\mathbb{R}^n$ where both vector fields are tangent to the switching manifold $\Sigma$ along a submanifold $M\subset \Sigma$. We shall see that, under suitable assumptions, Filippov convention gives rise to a unique sliding mode on $M$, governed by what we call the {\it tangential sliding vector field}. Here, we will provide the necessary and sufficient conditions for characterizing such a vector field. Additionally, we prove that the tangential sliding vector field is conjugated to the reduced dynamics of a singular perturbation problem arising from the Sotomayor-Teixeira regularization of $Z$ around $M$. Finally, we analyze several examples where tangential sliding vector fields can be observed, including a model for intermittent treatment of HIV.

math.DS

FaceSpoof Buster: a Presentation Attack Detector Based on Intrinsic Image Properties and Deep Learning

Nowadays, the adoption of face recognition for biometric authentication systems is usual, mainly because this is one of the most accessible biometric modalities. Techniques that rely on trespassing these kind of systems by using a forged biometric sample, such as a printed paper or a recorded video of a genuine access, are known as presentation attacks, but may be also referred in the literature as face spoofing. Presentation attack detection is a crucial step for preventing this kind of unauthorized accesses into restricted areas and/or devices. In this paper, we propose a novel approach which relies in a combination between intrinsic image properties and deep neural networks to detect presentation attack attempts. Our method explores depth, salience and illumination maps, associated with a pre-trained Convolutional Neural Network in order to produce robust and discriminant features. Each one of these properties are individually classified and, in the end of the process, they are combined by a meta learning classifier, which achieves outstanding results on the most popular datasets for PAD. Results show that proposed method is able to overpass state-of-the-art results in an inter-dataset protocol, which is defined as the most challenging in the literature.

cs.CV

A Preliminary Study on Hyperparameter Configuration for Human Activity Recognition

Human activity recognition (HAR) is a classification task that aims to classify human activities or predict human behavior by means of features extracted from sensors data. Typical HAR systems use wearable sensors and/or handheld and mobile devices with built-in sensing capabilities. Due to the widespread use of smartphones and to the inclusion of various sensors in all contemporary smartphones (e.g., accelerometers and gyroscopes), they are commonly used for extracting and collecting data from sensors and even for implementing HAR systems. When using mobile devices, e.g., smartphones, HAR systems need to deal with several constraints regarding battery, computation and memory. These constraints enforce the need of a system capable of managing its resources and maintain acceptable levels of classification accuracy. Moreover, several factors can influence activity recognition, such as classification models, sensors availability and size of data window for feature extraction, making stable accuracy a difficult task. In this paper, we present a semi-supervised classifier and a study regarding the influence of hyperparameter configuration in classification accuracy, depending on the user and the activities performed by each user. This study focuses on sensing data provided by the PAMAP2 dataset. Experimental results show that it is possible to maintain classification accuracy by adjusting hyperparameters, like window size and windows overlap factor, depending on user and activity performed. These experiments motivate the development of a system able to automatically adapt hyperparameter settings for the activity performed by each user.

cs.LG

Exposing Computer Generated Images by Using Deep Convolutional Neural Networks

The recent computer graphics developments have upraised the quality of the generated digital content, astonishing the most skeptical viewer. Games and movies have taken advantage of this fact but, at the same time, these advances have brought serious negative impacts like the ones yielded by fakeimages produced with malicious intents. Digital artists can compose artificial images capable of deceiving the great majority of people, turning this into a very dangerous weapon in a timespan currently know as Fake News/Post-Truth" Era. In this work, we propose a new approach for dealing with the problem of detecting computer generated images, through the application of deep convolutional networks and transfer learning techniques. We start from Residual Networks and develop different models adapted to the binary problem of identifying if an image was or not computer generated. Differently from the current state-of-the-art approaches, we don't rely on hand-crafted features, but provide to the model the raw pixel information, achieving the same 0.97 of state-of-the-art methods with two main advantages: our methods show more stable results (depicted by lower variance) and eliminate the laborious and manual step of specialized features extraction and selection.

cs.CV

Birth of isolated nested cylinders and limit cycles in 3D piecewise smooth vector fields with symmetry

Our start point is a 3D piecewise smooth vector field defined in two zones and presenting a shared fold curve for the two smooth vector fields considered. Moreover, these smooth vector fields are symmetric relative to the fold curve, giving raise to a continuum of nested topological cylinders such that each orthogonal section of these cylinders is filled by centers. First we prove that the normal form considered represents a whole class of piecewise smooth vector fields. After we perturb the initial model in order to obtain exactly $\mathcal{L}$ invariant planes containing centers. A second perturbation of the initial model also is considered in order to obtain exactly $k$ isolated cylinders filled by periodic orbits. Finally, joining the two previous bifurcations we are able to exhibit a model, preserving the symmetry relative to the fold curve, and having exactly $k.\mathcal{L}$ limit cycles.

math.DS

Hopf and Homoclinic Loop Bifurcations on a DC-DC Boost Converter under a SMC Strategy

In this paper, a dc-dc boost converter with sliding mode control and washout filter is analysed. This device is modelled as a three-dimensional Filippov system, characterized by the existence of sliding movement and restricted to the switching manifold. The operating point of the boost converter is a pseudo-equilibrium, and it, undergoes a subcritical Hopf bifurcation. Such a bifurcation occurs in the sliding vector field and creates, in this field, an unstable limit cycle. The limit cycle is confined to the switching manifold and disappears when it touches the visible-invisible two-fold point, resulting in a homoclinic loop which itself closes in this two-fold point.

math.DS