| Publication | Date of Publication | Type |
|---|
| Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts | 2024-09-16 | Paper |
| Adaptive and learning-based control of safety-critical systems | 2024-09-03 | Paper |
| Safe autonomy with control barrier functions. Theory and applications | 2024-09-03 | Paper |
| Model-based reinforcement learning for approximate optimal control with temporal logic specifications | 2024-02-21 | Paper |
| Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics | 2023-10-02 | Paper |
| Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges | 2023-06-26 | Paper |
| Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach | 2023-01-13 | Paper |
| Safe exploration in model-based reinforcement learning using control barrier functions | 2022-12-09 | Paper |
| Adaptive Control Barrier Functions | 2022-07-28 | Paper |
| High-Order Control Barrier Functions | 2022-07-28 | Paper |
| Safety-critical optimal control for autonomous systems | 2022-01-21 | Paper |
| Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models | 2022-01-10 | Paper |
| Sufficient conditions for feasibility of optimal control problems using control barrier functions | 2021-12-14 | Paper |
| Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles | 2021-11-18 | Paper |
| Compositional synthesis via a convex parameterization of assume-guarantee contracts | 2021-01-25 | Paper |
| Translational and Rotational Invariance in Networked Dynamical Systems | 2019-03-29 | Paper |
| Formal Synthesis of Control Strategies for Positive Monotone Systems | 2019-03-28 | Paper |
| A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks | 2018-12-19 | Paper |
| Formal Guarantees in Data-Driven Model Identification and Control Synthesis | 2018-12-06 | Paper |
| An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints | 2018-06-27 | Paper |
| Traffic Network Control From Temporal Logic Specifications | 2017-09-21 | Paper |
| Temporal Logic Control of Discrete-Time Piecewise Affine Systems | 2017-09-08 | Paper |
| Time window temporal logic | 2017-09-07 | Paper |
| Formal Analysis of Discrete-Time Piecewise Affine Systems | 2017-08-25 | Paper |
| A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications | 2017-08-08 | Paper |
| Formal methods for discrete-time dynamical systems | 2017-07-31 | Paper |
| Controlling a Class of Nonlinear Systems on Rectangles | 2017-07-27 | Paper |
| Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty | 2017-07-27 | Paper |
| Temporal Logics for Learning and Detection of Anomalous Behavior | 2017-07-27 | Paper |
| LTL receding horizon control for finite deterministic systems | 2017-06-02 | Paper |
| Temporal logic motion planning using POMDPs with parity objectives | 2017-05-19 | Paper |
| Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games | 2017-05-19 | Paper |
| SpaTeL | 2017-05-19 | Paper |
| A Decision Tree Approach to Data Classification using Signal Temporal Logic | 2017-05-19 | Paper |
| Formal Verification and Synthesis for Discrete-Time Stochastic Systems | 2017-05-16 | Paper |
| Finite Bisimulations for Switched Linear Systems | 2017-05-16 | Paper |
| Language-guided controller synthesis for discrete-time linear systems | 2017-05-16 | Paper |
| Language-Guided Controller Synthesis for Linear Systems | 2017-05-16 | Paper |
| Temporal logic inference for classification and prediction from data | 2017-05-16 | Paper |
| Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints | 2017-05-16 | Paper |
| Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties | 2017-05-16 | Paper |
| Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications | 2017-05-16 | Paper |
| Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games | 2016-12-15 | Paper |
| Temporal logic model predictive control | 2015-11-05 | Paper |
| Time-constrained temporal logic control of multi-affine systems | 2014-07-24 | Paper |
| Formal analysis of piecewise affine systems through formula-guided refinement | 2013-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3174310 | 2011-10-12 | Paper |
| Model Checking Genetic Regulatory Networks with Parameter Uncertainty | 2009-03-11 | Paper |
| Dealing with Nondeterminism in Symbolic Control | 2008-09-02 | Paper |
| Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications | 2008-09-02 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Model Checking Liveness Properties of Genetic Regulatory Networks | 2007-09-03 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460314 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417540 | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552454 | 2002-09-03 | Paper |
| Stability analysis for rotating stall dynamics in axial flow compressors | 2001-04-09 | Paper |
| Rotating stall control for axial flow compressors | 2001-01-01 | Paper |
| Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications | N/A | Paper |
