Combinatorial Abstractions of Dynamical Systems

by Rafael Wisniewski
Published 2013-08-01

Abstraction of Dynamical Systems by Timed Automata

by Rafael Wisniewski, Christoffer Sloth
Published 2011-04-01

Completeness of Lyapunov Abstraction

by Rafael Wisniewski, Christoffer Sloth
Published 2013-08-01

Switched Systems Reduction Framework Based on Convex Combination of Generalized Gramians

by Hamid Reza Shaker, Rafael Wisniewski
Published 2009-01-01

Modeling Populations of Thermostatic Loads with Switching Rate Actuation

by Luminita Cristiana Totu, Rafael Wisniewski, John Leth
Published 2015-01-01

Stochastic Analysis of Synchronization in a Supermarket Refrigeration System

by John Leth, Rafael Wisniewski, Jakob Rasmussen, Henrik Schioler
Published 2015-01-01