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