17 citations · 22 across the 5 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2013★ 1 cited
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…
eess.SY2010★ 2 cited
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…
eess.SY2010★ 2 cited
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…