Gunther Reissig

IEEE Trans. Autom. Control., 2023

2022

Overapproximating Reachable Tubes of Linear Time-Varying Systems.

[BibT_eX]

[DOI]

Mohamed Serry

IEEE Trans. Autom. Control., 2022

ABS: A formally correct software tool for space-efficient symbolic synthesis.

[BibT_eX]

[DOI]

Elisei Macoveiciuc

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Over-approximating reachable tubes of linear time-varying systems.

[BibT_eX]

[DOI]

Mohamed Serry

CoRR, 2021

2019

Symbolic Optimal Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Memory efficient symbolic solution of quantitative reach-avoid problems.

[BibT_eX]

[DOI]

Elisei Macoveiciuc

Proceedings of the 2019 American Control Conference, 2019

2018

Hyper-Rectangular Over-Approximations of Reachable Sets for Linear Uncertain Systems.

[BibT_eX]

[DOI]

Mohamed Serry

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Optimized State Space Grids for Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Feedback Refinement Relations for the Synthesis of Symbolic Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Arbitrarily precise abstractions for optimal controller synthesis.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Symbolic synthesis with average performance guarantees.

[BibT_eX]

[DOI]

Majid Zamani

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Approximate value iteration for a class of deterministic optimal control problems with infinite state and input alphabets.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

State space grids for low complexity abstractions.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Strong Structural Controllability and Observability of Linear Time-Varying Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2014

A linear time algorithm to verify strong structural controllability.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Feedback refinement relations for symbolic controller synthesis.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

On the maximum rank of Toeplitz block matrices of blocks of a given pattern

[BibT_eX]

[DOI]

CoRR, 2013

Strong Structural Controllability of Linear Time-Varying Systems.

[BibT_eX]

[DOI]

CoRR, 2013

Necessary conditions for structural and strong structural controllability of linear time-varying systems.

[BibT_eX]

[DOI]

Proceedings of the 12th European Control Conference, 2013

Abstraction-based solution of optimal stopping problems under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Strongly convex attainable sets and low complexity finite-state controllers.

[BibT_eX]

[DOI]

Proceedings of the 2013 Australian Control Conference, Fremantle, WA, 2013

Characterization of sign controllability for linear systems with real eigenvalues.

[BibT_eX]

[DOI]

Proceedings of the 2013 Australian Control Conference, Fremantle, WA, 2013

Sufficient conditions for strong structural controllability of uncertain linear time-varying systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Convexity of reachable sets of nonlinear ordinary differential equations

[BibT_eX]

[DOI]

CoRR, 2012

Characterization of strong structural controllability of uncertain linear time-varying discrete-time systems.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Computing Abstractions of Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Human arm motion modeling and long-term prediction for safe and efficient Human-Robot-Interaction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Optimizing Motion of Robotic Manipulators in Interaction with Human Operators.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Robotics and Applications - 4th International Conference, 2011

Increasing efficiency of optimization-based path planning for robotic manipulators.

[BibT_eX]

[DOI]

Hao Ding

Olaf Stursberg

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Mixed-integer programming for optimal path planning of robotic manipulators.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Stabilization of linear dynamical systems with scalar quantizers under communication constraints.

[BibT_eX]

[DOI]

Jingge Zhu

Slawomir Stanczak

Proceedings of the 44th Annual Conference on Information Sciences and Systems, 2010

Abstraction based solution of complex attainability problems for decomposable continuous plants.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2002

On inconsistent initial conditions for linear time-invariant differential-algebraic equations.

[BibT_eX]

[DOI]

Holger Boche

Paul I. Barton

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

2001

On methods for ordering sparse matrices in circuit simulation.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

2000

Differential-Algebraic Equations of Index 1 May Have an Arbitrarily High Structural Index.

[BibT_eX]

[DOI]

Wade S. Martinson

Paul I. Barton

SIAM J. Sci. Comput., 2000

1999

Extension of the normal tree method.

[BibT_eX]

[DOI]