| Publication | Date of Publication | Type |
|---|
| A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems | 2023-09-26 | Paper |
| Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems | 2023-07-18 | Paper |
| Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems | 2023-03-07 | Paper |
| Formal Methods for Control of Nonlinear Systems | 2023-02-13 | Paper |
| Robustly complete finite-state abstractions for verification of stochastic systems | 2023-01-18 | Paper |
| Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications | 2022-08-23 | Paper |
| A note on the equivalence of a strongly convex function and its induced contractive differential equation | 2022-07-05 | Paper |
| Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems | 2022-05-03 | Paper |
| Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives | 2022-04-08 | Paper |
| A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees | 2022-04-05 | Paper |
| Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability | 2022-03-24 | Paper |
| Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions | 2022-03-23 | Paper |
| Converse Barrier Functions via Lyapunov Functions | 2022-02-24 | Paper |
| Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control | 2022-02-23 | Paper |
| A Matrosov Theorem for Hybrid Systems With Memory | 2022-02-23 | Paper |
| Stability analysis for networked control systems with sampling, transmission protocols and input delays | 2021-12-13 | Paper |
| On the convergence of reinforcement learning with Monte Carlo exploring starts | 2021-11-18 | Paper |
| Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay | 2021-09-28 | Paper |
| Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications | 2021-05-28 | Paper |
| Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays | 2021-03-18 | Paper |
| Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications | 2021-03-12 | Paper |
| Structured Online Learning-based Control of Continuous-time Nonlinear Systems | 2020-10-20 | Paper |
| A Necessary Condition on Chain Reachable Robustness of Dynamical Systems | 2020-05-04 | Paper |
| ROCS | 2018-12-06 | Paper |
| Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems | 2018-10-02 | Paper |
| Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach | 2018-09-18 | Paper |
| Hybrid Dynamical Systems with Finite Memory | 2018-04-18 | Paper |
| Hybrid Systems with Memory: Existence and Well-posedness of Generalized Solutions | 2018-03-16 | Paper |
| Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems with Reach-and-Stay Specifications | 2018-02-25 | Paper |
| Augmented finite transition systems as abstractions for control synthesis | 2018-01-31 | Paper |
| Synthesis of Reactive Switching Protocols From Temporal Logic Specifications | 2017-09-08 | Paper |
| Robust Abstractions for Control Synthesis | 2017-07-11 | Paper |
| On synthesizing robust discrete controllers under modeling uncertainty | 2017-05-16 | Paper |
| Abstraction, discretization, and robustness in temporal logic control of dynamical systems | 2017-05-16 | Paper |
| Stability Theorems for Delay Differential Inclusions | 2017-05-03 | Paper |
| Lyapunov-Based Sufficient Conditions for Stability of Hybrid Systems With Memory | 2017-05-03 | Paper |
| Finite abstractions with robustness margins for temporal logic-based control synthesis | 2016-09-09 | Paper |
| Invariance principles for hybrid systems with memory | 2016-05-19 | Paper |
| STABILITY AND STABILIZATION OF IMPULSIVE AND SWITCHED HYBRID STOCHASTIC DELAY SYSTEMS | 2015-12-03 | Paper |
| Exponential stability of switched stochastic delay systems with non-linear uncertainties | 2014-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5407419 | 2014-04-07 | Paper |
| Intermittent Impulsive Synchronization of Hyperchaos with Application to Secure Communication | 2014-02-25 | Paper |
| CHAOS ENTANGLEMENT: A NEW APPROACH TO GENERATE CHAOS | 2013-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4923490 | 2013-05-24 | Paper |
| On asymptotic convergence and boundedness of stochastic systems with time-delay | 2013-01-21 | Paper |
| Class-\(\mathcal K \mathcal L\) estimates and input-to-state stability analysis of impulsive switched systems | 2012-09-14 | Paper |
| Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations | 2012-06-04 | Paper |
| Stochastic consensus seeking with communication delays | 2012-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3010545 | 2011-07-04 | Paper |
| Input-to-state stability of impulsive and switching hybrid systems with time-delay | 2011-06-01 | Paper |
| Generalized invariance principles for switched delay systems | 2011-05-06 | Paper |
| Impulsive stabilization of stochastic functional differential equations | 2011-01-18 | Paper |
| On the \((h_0,h)\)-stabilization of switched nonlinear systems via state-dependent switching rule | 2010-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3653186 | 2009-12-21 | Paper |
| Uniform stability of switched nonlinear systems | 2009-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396117 | 2009-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3635293 | 2009-07-06 | Paper |
| Delay-dependent robust control for uncertain switched systems with time-delay | 2009-03-09 | Paper |
