19 citations · 51 across the 21 of their papers we have counts for
23 papers
Out of Context: Reliability in Multimodal Anomaly Detection Requires Contextual Inference
Kevin Wilkinghoff, Neelu Madan, Juan Miguel Valverde +6
Anomaly detection aims to identify observations that deviate from expected behavior. Because anomalous events are inherently sparse, most frameworks are trained exclusively on norm…
Measurement-Based Control for Minimizing Energy Functions in Quantum Systems
Henrik Glavind Clausen, Salahuddin Abdul Rahman, Özkan Karabacak +1
In variational quantum algorithms (VQAs), the most common objective is to find the minimum energy eigenstate of a given energy Hamiltonian. In this paper, we consider the general p…
PAC-Bayesian bounds for learning LTI-ss systems with input from empirical loss
Deividas Eringis, John Leth, Zheng-Hua Tan +2
In this paper we derive a Probably Approxilmately Correct(PAC)-Bayesian error bound for linear time-invariant (LTI) stochastic dynamical systems with inputs. Such bounds are widesp…
Privacy-Preserving Distributed Expectation Maximization for Gaussian Mixture Model using Subspace Perturbation
Qiongxiu Li, Jaron Skovsted Gundersen, Katrine Tjell +2
Privacy has become a major concern in machine learning. In fact, the federated learning is motivated by the privacy concern as it does not allow to transmit the private data but on…
Secure PAC Bayesian Regression via Real Shamir Secret Sharing
Jaron Skovsted Gundersen, Bulut Kuskonmaz, Rafael Wisniewski
A common approach of system identification and machine learning is to generate a model by using training data to predict the test data instances as accurate as possible. Nonetheles…
Privacy in Distributed Computations based on Real Number Secret Sharing
Katrine Tjell, Rafael Wisniewski
Privacy preservation in distributed computations is an important subject as digitization and new technologies enable collection and storage of vast amounts of data, including priva…
Privacy Preservation in Epidemic Data Collection
Katrine Tjell, Jaron Skovsted Gundersen, Rafael Wisniewski
This work is inspired by the outbreak of COVID-19, and some of the challenges we have observed with gathering data about the disease. To this end, we aim to help collect data about…
Model reduction of linear hybrid systems
Ion Victor Gosea, Mihaly Petreczky, John Leth +2
The paper proposes a model reduction algorithm for linear hybrid systems, i.e., hybrid systems with externally induced discrete events, with linear continuous subsystems, and linea…
Optimization and Positivity Certificates of Rational Functions using Bernstein Form
Tareq Hamadneh, Hassan Al-Zoubi, Hamza Alzaareer +1
Rational functions of total degree in n variables have a representation in the Bernstein form defined over dimensional simplex. The range of a rational function is bounded…
On Robust Stability of Switched Systems in the Context of Filippov Solutions
Mohamadreza Ahmadi, Hamed Mojallali, Rafael Wisniewski
The stability problem of a class of nonlinear switched systems defined on compact sets with state-dependent switching is considered. Instead of the Caratheodory solutions, the gene…
On the Almost Everywhere Stability of Discrete-Time Dynamical Systems
Ozkan Karabacak, Rafael Wisniewski, John-Josef Leth
For a dynamical system, it is known that the existence of a Lyapunov-type density function, called Lyapunov density or Rantzer's density function, implies convergence of Lebesgue a…
Moment matching for bilinear systems with nice selections
Mihály Petreczky, Rafael Wisniewski, John Leth
The paper develops a method for model reduction of bilinear control systems. It leans upon the observation that the input-output map of a bilinear system has a particularly simple…
Moment Matching Based Model Reduction for LPV State-Space Models
Mert Bastug, Mihaly Petreczky, Roland Toth +3
We present a novel algorithm for reducing the state dimension, i.e. order, of linear parameter varying (LPV) discrete-time state-space (SS) models with affine dependence on the sch…
Stochastic Analysis of Synchronization in a Supermarket Refrigeration System
John Leth, Rafael Wisniewski, Jakob Rasmussen +1
Display cases in supermarket systems often exhibit synchronization, in which the expansion valves in the display cases turn on and off at exactly the same time. The study of the in…
Proceedings 4th Workshop on Hybrid Autonomous Systems
Manuela Bujorianu, Rafael Wisniewski
The interest in autonomous systems is increasing both in industry and academia. Such systems must operate with limited human intervention in a changing environment and must be able…
Fatigue Estimation Methods Comparison for Wind Turbine Control
J. J. Barradas Berglind, Rafael Wisniewski
Fatigue is a critical factor in structures as wind turbines exposed to harsh operating conditions, both in the design stage and control during their operation. In the present paper…
Modeling Populations of Thermostatic Loads with Switching Rate Actuation
Luminita Cristiana Totu, Rafael Wisniewski, John Leth
We model thermostatic devices using a stochastic hybrid description, and introduce an external actuation mechanism that creates random switch events in the discrete dynamics. We th…
Model Reduction of Linear Switched Systems by Restricting Discrete Dynamics
Mert Bastug, Mihaly Petreczky, Rafael Wisniewski +1
We present a procedure for reducing the number of continuous states of discrete-time linear switched systems, such that the reduced system has the same behavior as the original sys…
Model Reduction by Moment Matching for Linear Switched Systems
Mert Bastug, Mihaly Petreczky, Rafael Wisniewski +1
Two moment-matching methods for model reduction of linear switched systems (LSSs) are presented. The methods are similar to the Krylov subspace methods used for moment matching for…
Completeness of Lyapunov Abstraction
Rafael Wisniewski, Christoffer Sloth
In this work, we continue our study on discrete abstractions of dynamical systems. To this end, we use a family of partitioning functions to generate an abstraction. The intersecti…
Combinatorial Abstractions of Dynamical Systems
Rafael Wisniewski
Formal verification has been successfully developed in computer science for verifying combinatorial classes of models and specifications. In like manner, formal verification method…
Timed Game Abstraction of Control Systems
Christoffer Sloth, Rafael Wisniewski
This paper proposes a method for abstracting control systems by timed game automata, and is aimed at obtaining automatic controller synthesis. The proposed abstraction is based on…
Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions
Christoffer Sloth, Rafael Wisniewski
In this report proofs are presented for a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical sy…