15 citations · 61 across the 32 of their papers we have counts for
Showing 2014Show all
3 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…
eess.SY2014
Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting
Anne-Kathrin Schmuck, Jörg Raisch
This paper introduces a new behavioral system model with distinct external and internal signals possibly evolving on different time scales. This allows to capture abstraction proce…