| Publication | Date of Publication | Type |
|---|
| Verification and runtime assurance for dynamical systems with uncertainty | 2024-02-21 | Paper |
| An ILP approach for tactical flight rescheduling during airport access mode disruptions | 2024-01-31 | Paper |
| Algebraic Lyapunov Functions for Homogeneous Dynamic Systems | 2023-03-03 | Paper |
| A priority-driven optimal guidance approach to moving target tracking for safe navigation in a narrow space | 2022-02-11 | Paper |
| Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm | 2019-07-04 | Paper |
| Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise | 2019-05-21 | Paper |
| On the Dubins Traveling Salesman Problem | 2017-09-08 | Paper |
| Optimization of Lyapunov Invariants in Verification of Software Systems | 2017-09-08 | Paper |
| Scheduling Continuous-Time Kalman Filters | 2017-08-25 | Paper |
| Credible autocoding of convex optimization algorithms | 2017-06-21 | Paper |
| Formal Analysis of Robustness at Model and Code Level | 2017-05-19 | Paper |
| Resource constrained LQR control under fast sampling | 2017-05-16 | Paper |
| A generic ellipsoid abstract domain for linear time invariant systems | 2017-05-16 | Paper |
| Gain Scheduling Control of Gas Turbine Engines: Absolute Stability by Finding a Common Lyapunov Matrix | 2012-06-22 | Paper |
| Stability of Spatially Distributed, Intersecting Aircraft Flows Under Sequential Conflict Resolution Schemes | 2010-10-03 | Paper |
| Distributed Lyapunov Functions in Analysis of Graph Models of Software | 2008-09-02 | Paper |
| A Linear Programming Relaxation and a Heuristic for the Restless Bandit Problem with General Switching Costs | 2008-05-11 | Paper |
| Performance Evaluation of a Multi-Agent Risk-Sensitive Tracking System | 2007-07-25 | Paper |
| NATURAL LANGUAGE PROCESSING IN CONTROL OF UNMANNED AERIAL VEHICLES | 2007-01-19 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418003 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722588 | 2002-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2724374 | 2001-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945436 | 2001-01-21 | Paper |
| A computationally efficient Lyapunov-based scheduling procedure for control of nonlinear systems with stability guarantees | 2000-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945437 | 2000-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4269575 | 1999-01-01 | Paper |
| Computational Complexity of Lyapunov Stability Analysis Problems for a Class of Nonlinear Systems | 1998-09-21 | Paper |
| Polytopic control Lyapunov functions for robust stabilization of a class of nonlinear systems | 1998-08-13 | Paper |
| Estimating the conservatism of Popov's criterion for real parametric uncertainties | 1998-07-22 | Paper |
| A more reliable robust stability indicator for linear systems subject to parametric uncertainties | 1998-04-06 | Paper |
| Analysis of Robust H2 Performance Using Multiplier Theory | 1997-09-29 | Paper |
| Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions | 1997-03-12 | Paper |
| Linear Matrix Inequalities in System and Control Theory | 1995-03-21 | Paper |
