19 citations · 51 across the 21 of their papers we have counts for
10 papers · 1 filter
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…
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…