39 citations · 94 across the 21 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
eess.SY2014
Constructing (Bi)Similar Finite State Abstractions using Asynchronous -Complete Approximations
Anne-Kathrin Schmuck, Jörg Raisch
This paper constructs a finite state abstraction of a possibly continuous-time and infinite state model in two steps. First, a finite external signal space is added, generating a s…
eess.SY2014
Asynchronous -Complete Approximations
Anne-Kathrin Schmuck, Jörg Raisch
This paper extends the -complete approximation method developed for time invariant systems to a larger system class, ensuring that the resulting approximation can be realized by…