| Publication | Date of Publication | Type |
|---|
| Probabilistic Safety Guarantees for Markov Decision Processes | 2024-02-29 | Paper |
| Explicit construction of the minimum error variance estimator for stochastic LTI-ss systems | 2023-07-05 | Paper |
| Safety of stochastic systems: an analytic and computational approach | 2022-01-07 | Paper |
| Algebraic Test for Asymptotic Stability of Periodic Orbits for Polynomial Systems | 2021-12-11 | Paper |
| Almost global stability of nonlinear switched systems with mode-dependent and edge-dependent average dwell time | 2021-11-19 | Paper |
| Safe Dynamic Programming | 2021-09-07 | Paper |
| $p$-Safe Analysis of Stochastic Hybrid Processes | 2021-03-12 | Paper |
| Almost Global Stability of Nonlinear Switched Systems With Time-Dependent Switching | 2020-10-07 | Paper |
| Model predictive control with fatigue-damage minimization through the dissipativity property of hysteresis operators | 2020-09-15 | Paper |
| Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method | 2020-05-07 | Paper |
| Model reduction of linear hybrid systems | 2020-03-17 | Paper |
| Optimization and Positivity Certificates of Rational Functions using Bernstein Form | 2019-06-16 | Paper |
| On robust stability of switched systems in the context of Filippov solutions | 2018-01-12 | Paper |
| Rotational motion control of a spacecraft | 2017-06-20 | Paper |
| Safety Verification of Piecewise-Deterministic Markov Processes | 2017-05-19 | Paper |
| Compositional safety analysis using barrier certificates | 2017-05-16 | Paper |
| Control to facet for polynomial systems | 2017-05-16 | Paper |
| Model Reduction by Nice Selections for Linear Switched Systems | 2017-05-03 | Paper |
| Converse Barrier Certificate Theorems | 2017-05-03 | Paper |
| Toward model-based control of non-linear hydraulic networks | 2017-04-05 | Paper |
| Reachability and observability reduction for linear switched systems with constrained switching | 2016-11-14 | Paper |
| Moment matching for bilinear systems with nice selections | 2016-05-14 | Paper |
| Fatigue Estimation Methods Comparison for Wind Turbine Control | 2014-11-14 | Paper |
| Discussion on: `Optimal magnetic momentum control for inertially pointing spacecraft' | 2014-08-07 | Paper |
| Local analysis of hybrid systems on polyhedral sets with state-dependent switching | 2014-08-06 | Paper |
| Balanced truncation for linear switched systems | 2014-07-24 | Paper |
| Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets | 2014-07-24 | Paper |
| Fault tolerant distributed portfolio optimization in smart grids | 2014-06-26 | Paper |
| Profit maximization of a power plant | 2013-12-13 | Paper |
| Complete abstractions of dynamical systems by timed automata | 2013-08-27 | Paper |
| Verification of continuous dynamical systems by timed automata | 2012-03-09 | Paper |
| Generalised gramian framework for model/controller order reduction of switched systems | 2011-11-25 | Paper |
| Switched systems reduction framework based on convex combination of generalized gramians | 2010-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5323115 | 2009-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5323133 | 2009-07-23 | Paper |
| Hybrid Control and Verification of a Pulsed Welding Process | 2009-03-11 | Paper |
| Geometric analysis of nondeterminacy in dynamical systems | 2007-03-05 | Paper |
| Fuzzy controller for a system with uncertain load | 2003-04-02 | Paper |
| Fully magnetic attitude control for spacecraft subject to gravity gradient | 1999-01-01 | Paper |
| Lyapunov Densities For Markov Processes: An Application To Quantum Systems With Non-Demolition Measurements | N/A | Paper |
