#### Filter Results:

- Full text PDF available (21)

#### Publication Year

1961

2017

- This year (4)
- Last 5 years (20)
- Last 10 years (31)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Gunther Reissig, Alexander Weber, Matthias Rungger
- IEEE Transactions on Automatic Control
- 2017

We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require quantized (or symbolic)â€¦ (More)

- Hao Ding, Gunther Reissig, Kurniawan Wijaya, Dino Bortot, Klaus Bengler, Olaf Stursberg
- 2011 IEEE International Conference on Roboticsâ€¦
- 2011

Modeling and predicting human behavior is indispensable when industrial robots interacting with human operators are to be manipulated safely and efficiently. One challenge is that human operatorsâ€¦ (More)

- Gunther Reissig, Matthias Rungger
- 53rd IEEE Conference on Decision and Control
- 2014

A common issue with existing approaches to symbolic controller synthesis lies in the huge complexity of the resulting controllers. In particular, the controllers usually need full plant stateâ€¦ (More)

- Gunther Reissig, Holger Boche, Paul I. Barton
- ISCAS
- 2002

Given an arbitrary initial value for the differential-algebraic equation _ ( ) + ( ) = ( ), an initial value can be selected from among all consistent initial values by means of the Laplaceâ€¦ (More)

- Gunther Reissig, Christoph Hartung, Ferdinand Svaricek
- IEEE Transactions on Automatic Control
- 2014

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)= C(t)x(t)+D(t)u(t) whose coefficientâ€¦ (More)

- Gunther Reissig
- 49th IEEE Conference on Decision and Control (CDCâ€¦
- 2010

The focus of the present paper is systems of nonlinear continuous sub-plants that share a common input but are otherwise coupled only through the specification of a control problem, possiblyâ€¦ (More)

Implicit ordinary differential equations ( ) _ = ( ) with ( ) being an matrix depending on are investigated about their singular points, i.e., inconsistent points in the closure of the set ofâ€¦ (More)

- Gunther Reissig, Wade S. Martinson, Paul I. Barton
- SIAM J. Scientific Computing
- 2000

It is shown that the structural index of a linear differentialâ€“algebraic equation (DAE) with constant coefficients and with index 1 may be arbitrarily high, contrary to a previous result from theâ€¦ (More)

- Christoph Hartung, Gunther Reissig, Ferdinand Svaricek
- 2012 IEEE 51st IEEE Conference on Decision andâ€¦
- 2012

We extend earlier characterizations of strong structural controllability of linear systems depending on parameters to the time-varying case x(t+1) = AtÂ·x(t)+BtÂ·u(t). Our main result is that theâ€¦ (More)

- Christoph Hartung, Gunther Reissig, Ferdinand Svaricek
- 2013 American Control Conference
- 2013

In this paper, we extend the notion of strong structural controllability of linear time-invariant systems, a property that requires the controllability of each system in a specific class given by theâ€¦ (More)