Related papers: Input Classes for Identification of Bilinear Syste…
Recent work has shown that some common machine learning classifiers can be compiled into Boolean circuits that have the same input-output behavior. We present a theory for unveiling the reasons behind the decisions made by Boolean…
The paper studies identification of linear systems with multiplicative noise from multiple-trajectory data. An algorithm based on the least-squares method and multiple-trajectory data is proposed for joint estimation of the nominal system…
Multi-class classification methods that produce sets of probabilistic classifiers, such as ensemble learning methods, are able to model aleatoric and epistemic uncertainty. Aleatoric uncertainty is then typically quantified via the Bayes…
In an ultra wideband (UWB) impulse radio (IR) system, a number of pulses, each transmitted in an interval called a "frame", is employed to represent one information symbol. Conventionally, a single type of UWB pulse is used in all frames of…
We prove the existence of nonlinear normal modes for general systems of two coupled nonlinear oscillators. Facilitating the comparison principle for ordinary differential equations it is shown that there exist exact solutions representing a…
In the framework of bidifferential graded algebras, we present universal solution generating techniques for a wide class of integrable systems.
We prove the existence and uniqueness of solutions for a family of nonlinear parabolic systems related to phase field models taking in account variations of temperature and the possibility of a general class of nonlinearities. The present…
The (non-initialized, non-deterministic) asynchronous systems (in the input-output sense) are multi-valued functions from m-dimensional signals to sets of n-dimensional signals, the concept being inspired by the modeling of the asynchronous…
Verification is one of the central tasks during circuit design. While most of the approaches have exponential worst-case behaviour, in the following techniques are discussed for proving polynomial circuit verification based on Binary…
We present two designs for an analog circuit that can learn to detect a temporal sequence of two inputs. The training phase is done by feeding the circuit with the desired sequence and, after the training is completed, each time the trained…
Learning the unknown causal parameters of a linear structural causal model is a fundamental task in causal analysis. The task, known as the problem of identification, asks to estimate the parameters of the model from a combination of…
We present three classes of symmetric broadband composite pulse sequences. The composite phases are given by analytic formulas (rational fractions of $\pi$) valid for any number of constituent pulses. The transition probability is expressed…
It is a common practice in the machine learning community to assume that the observed data are noise-free in the input attributes. Nevertheless, scenarios with input noise are common in real problems, as measurements are never perfectly…
Consider the problem of interference mitigation in the identification of the dynamics of multidimensional control systems in the class of linear stationary models for single realizations of the observed signals. A concepts uncorrelated…
We analyse the relationship between irrationality and quasiperiodicity in nonlinear driven systems. To that purpose we consider a nonlinear system whose steady-state response is very sensitive to the periodic or quasiperiodic character of…
We consider the general bilinear control systems in three-dimensional Euclidean space which satisfy the LARC and have an open control set U; and give sufficient controllability conditions for corresponding projected systems on…
In this paper the existence of a quadratic control Lyapunov function for bilinear systems is considered. The existence of a control Lyapunov function ensures the existence of a control law which ensures the global asymptotic stability of…
In this paper we derive stability conditions for a switched system where switching occurs between linear descriptor systems of different indices. In particular, our results can be used to analyse the stability of the important case when…
This paper is concerned with the convergence rate of the solutions of nonlinear switched systems. We first consider a switched system which is asymptotically stable for a class of inputs but not for all inputs. We show that solutions…
We give a necessary and sufficient condition for two circles, each with finitely many points added inside, to be betweenness isomorphic. We fully characterize the betweenness isomorphism classes in the family consisting of all circles with…