Publication | Date of Publication | Type |
---|
Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence | 2023-11-25 | Paper |
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 |