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