193 citations · 390 across the 9 of their papers we have counts for
9 papers
Over-approximating reachable tubes of linear time-varying systems
Mohamed Serry, Gunther Reissig
We present a method to over-approximate reachable tubes over compact time-intervals, for linear continuous-time, time-varying control systems whose initial states and inputs are su…
Optimized State Space Grids for Abstractions
Alexander Weber, Matthias Rungger, Gunther Reissig
The practical impact of abstraction-based controller synthesis methods is currently limited by the immense computational effort for obtaining abstractions. In this note we focus on…
Symbolic Optimal Control
Gunther Reissig, Matthias Rungger
We present novel results on the solution of a class of leavable, undiscounted optimal control problems in the minimax sense for nonlinear, continuous-state, discrete-time plants. T…
Feedback Refinement Relations for the Synthesis of Symbolic Controllers
Gunther Reissig, Alexander Weber, Matthias Rungger
We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require quantized…
A linear time algorithm to verify strong structural controllability
Alexander Weber, Gunther Reissig, Ferdinand Svaricek
We prove that strong structural controllability of a pair of structural matrices can be verified in time linear in , where is s…
Classical and strong convexity of sublevel sets and application to attainable sets of nonlinear systems
Alexander Weber, Gunther Reissig
Necessary and sufficient conditions for convexity and strong convexity, respectively, of sublevel sets that are defined by finitely many real-valued -maps are presented. A…
Strong Structural Controllability and Observability of Linear Time-Varying Systems
Gunther Reissig, Christoph Hartung, Ferdinand Svaricek
In this note we consider continuous-time systems x'(t) = A(t) x(t) + B(t) u(t), y(t) = C(t) x(t) + D(t) u(t), as well as discrete-time systems x(t+1) = A(t) x(t) + B(t) u(t), y(t)…
Convexity of reachable sets of nonlinear ordinary differential equations
Gunther Reißig
We present a necessary and sufficient condition for the reachable set, i.e., the set of states reachable from a ball of initial states at some time, of an ordinary differential equ…
Local characterization of strongly convex sets
Alexander Weber, Gunther Reißig
Strongly convex sets in Hilbert spaces are characterized by local properties. One quantity which is used for this purpose is a generalization of the modulus of convexity δ_Ωof a se…