| Publication | Date of Publication | Type |
|---|
| Data-driven control of unknown switched linear systems using scenario optimization | 2025-01-21 | Paper |
| Zonotope-based symbolic controller synthesis for linear temporal logic specifications | 2025-01-21 | Paper |
| Multiple Lyapunov functions and memory: a symbolic dynamics approach to systems and control | 2024-10-22 | Paper |
| Optimal intermittent particle filter | 2024-09-12 | Paper |
| On objective function value performance of the scenario approach under regularity conditions | 2024-08-19 | Paper |
| Learning stability of partially observed switched linear systems | 2024-06-05 | Paper |
| Learning stability guarantees for constrained switching linear systems from noisy observations | 2024-03-01 | Paper |
| Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods | 2024-02-21 | Paper |
| Characterization of the ordering of path-complete stability certificates with addition-closed templates | 2024-02-21 | Paper |
| Poster Abstract: Towards Seamless Reactivity of Hybrid Control | 2024-02-21 | Paper |
| Graph-based conditions for feedback stabilization of switched and LPV systems | 2024-02-13 | Paper |
| Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions | 2023-12-13 | Paper |
| Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control | 2023-07-25 | Paper |
| A categorical view on the converse Lyapunov theorem | 2023-06-01 | Paper |
| PAC-learning gains of Turing machines over circuits and neural networks | 2023-01-17 | Paper |
| Geometric control of hybrid systems | 2023-01-13 | Paper |
| Comparison of path-complete Lyapunov functions via template-dependent lifts | 2022-10-14 | Paper |
| Interpretability of Path-Complete Techniques and Memory-based Lyapunov functions | 2022-09-18 | Paper |
| Almost sure Stability of Stochastic Switched Systems: Graph lifts-based Approach | 2022-08-25 | Paper |
| An improved finiteness test and a systematic procedure to compute the strong \(\mathscr{H}_2\) norm of differential algebraic systems with multiple delays | 2022-08-23 | Paper |
| Stabilization of rank-deficient continuous-time switched affine systems | 2022-07-26 | Paper |
| Probabilistic guarantees on the objective value for the scenario approach via sensitivity analysis | 2022-04-19 | Paper |
| On the Strong $\mathcal {H}_2$ Norm of Differential Algebraic Systems With Multiple Delays: Finiteness Criteria, Regularization, and Computation | 2022-02-24 | Paper |
| Equivalent polyadic decompositions of matrix multiplication tensors | 2022-02-11 | Paper |
| \(p\)-dominant switched linear systems | 2021-11-19 | Paper |
| Characterization of flat outputs of switched linear discrete-time systems: algebraic condition and algorithm | 2021-11-10 | Paper |
| A Linear Bound on the k-rendezvous Time for Primitive Sets of NZ Matrices | 2021-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5005150 | 2021-08-04 | Paper |
| Data-driven stability analysis of switched linear systems with Sum of Squares guarantees | 2021-04-30 | Paper |
| The Synchronizing Probability Function for Primitive Sets of Matrices | 2021-04-19 | Paper |
| A Scalable Engineering Combination Therapies for Evolutionary Dynamic of Macrophages | 2021-03-22 | Paper |
| Data-driven control of switched linear systems with probabilistic stability guarantees | 2021-03-19 | Paper |
| Worst-case topological entropy and minimal data rate for state observation of switched linear systems | 2021-01-25 | Paper |
| Geometric control of algebraic systems | 2021-01-18 | Paper |
| Abstraction-based branch and bound approach to Q-learning for hybrid optimal control | 2020-11-22 | Paper |
| Certifying Unstability of Switched Systems Using Sum of Squares Programming | 2020-10-30 | Paper |
| Lower bounds and dense discontinuity phenomena for the stabilizability radius of linear switched systems | 2020-10-07 | Paper |
| Finite Data-Rate Feedback Stabilization of Continuous-Time Switched Linear Systems with Unknown Switching Signal | 2020-09-10 | Paper |
| Stability of Planar Switched Systems under Delayed Event Detection | 2020-09-09 | Paper |
| Piecewise semi-ellipsoidal control invariant sets | 2020-07-06 | Paper |
| Sum-of-squares methods for controlled invariant sets with applications to model-predictive control | 2020-05-07 | Paper |
| On the \(m\)-dimensional Cayley-Hamilton theorem and its application to an algebraic decision problem inferred from the \(\mathcal{H}_2\) norm analysis of delay systems | 2020-04-17 | Paper |
| On the quality of first-order approximation of functions with Hölder continuous gradient | 2020-04-07 | Paper |
| An Entropy-Based Bound for the Computational Complexity of a Switched System | 2020-01-28 | Paper |
| On random primitive sets, directable NDFAs and the generation of slowly synchronizing DFAs | 2020-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208375 | 2020-01-15 | Paper |
| Data driven stability analysis of black-box switched linear systems | 2019-12-19 | Paper |
| A complete characterization of the ordering of path-complete methods | 2019-10-22 | Paper |
| Formal methods for computing hyperbolic invariant sets for nonlinear systems | 2019-10-22 | Paper |
| A Linear Bound on the k-rendezvous time for primitive sets of NZ matrices | 2019-10-15 | Paper |
| On Path-Complete Lyapunov Functions: Geometry and Comparison | 2019-07-18 | Paper |
| On the Interplay Between Černý and Babai’s Conjectures | 2019-06-24 | Paper |
| Non-local Linearization of Nonlinear Differential Equations via Polyflows | 2019-02-12 | Paper |
| Combinatorial methods for invariance and safety of hybrid systems | 2019-02-05 | Paper |
| Observability and Controllability Analysis of Linear Systems Subject to Data Losses | 2018-12-04 | Paper |
| The synchronizing probability function for primitive sets of matrices | 2018-11-22 | Paper |
| On completely reachable automata and subset reachability | 2018-11-22 | Paper |
| Dynamics of the independence number and automata synchronization | 2018-11-22 | Paper |
| Improved bound on the worst case complexity of policy iteration | 2018-10-01 | Paper |
| Path-complete $p$-dominant switching linear systems | 2018-08-29 | Paper |
| Computing controlled invariant sets for hybrid systems with applications to model-predictive control | 2018-02-13 | Paper |
| Primitive Sets of Nonnegative Matrices and Synchronizing Automata | 2018-01-22 | Paper |
| Generalized primitivity of labeled digraphs | 2018-01-18 | Paper |
| Sets of Stochastic Matrices with Converging Products: Bounds and Complexity | 2017-12-07 | Paper |
| Tight bound for deciding convergence of consensus systems | 2017-10-18 | Paper |
| On the interplay between Babai and Černý's conjectures | 2017-10-13 | Paper |
| A Characterization of Lyapunov Inequalities for Stability of Switched Systems | 2017-09-08 | Paper |
| A complexity analysis of policy iteration through combinatorial matrices arising from unique sink orientations | 2017-07-13 | Paper |
| Path-Complete Graphs and Common Lyapunov Functions | 2017-07-11 | Paper |
| On discrete algebraic Riccati equations: a rank characterization of solutions | 2017-06-22 | Paper |
| Graph diameter, eigenvalues, and minimum-time consensus | 2017-06-02 | Paper |
| On Feedback Stabilization of Linear Switched Systems via Switching Signal Control | 2017-05-24 | Paper |
| A sufficient condition for the boundedness of matrix products accepted by an automaton | 2017-05-19 | Paper |
| Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints | 2017-05-19 | Paper |
| Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques | 2017-05-19 | Paper |
| Efficient Computations of a Security Index for False Data Attacks in Power Networks | 2017-05-16 | Paper |
| Analysis of the joint spectral radius via lyapunov functions on path-complete graphs | 2017-05-16 | Paper |
| JSR | 2017-05-16 | Paper |
| Controllability of Linear Systems With Switching Delays | 2017-05-03 | Paper |
| Analysing the Stability of Linear Systems via Exponential Chebyshev Polynomials | 2017-05-03 | Paper |
| Deciding the boundedness and dead-beat stability of constrained switching systems | 2016-12-15 | Paper |
| The four bars problem | 2016-09-26 | Paper |
| Extremal storage functions and minimal realizations of discrete-time linear switching systems | 2016-09-19 | Paper |
| Stability of discrete-time switching systems with constrained switching sequences | 2016-09-13 | Paper |
| Efficient method for computing lower bounds on the \(p\)-radius of switched linear systems | 2016-09-09 | Paper |
| On the Synchronizing Probability Function and the Triple Rendezvous Time for Synchronizing Automata | 2016-05-26 | Paper |
| Lower bounds on complexity of Lyapunov functions for switched linear systems | 2016-05-19 | Paper |
| On the Synchronizing Probability Function and the Triple Rendezvous Time | 2016-04-08 | Paper |
| Tight Bounds for Consensus Systems Convergence | 2016-01-19 | Paper |
| On primitivity of sets of matrices | 2015-12-22 | Paper |
| Resonance and marginal instability of switching systems | 2015-11-30 | Paper |
| Efficient Algorithms for the Consensus Decision Problem | 2015-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5249242 | 2015-04-30 | Paper |
| An efficient algorithm for partial order production | 2015-02-04 | Paper |
| Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences | 2014-10-27 | Paper |
| Lifted Polytope Methods for Computing the Joint Spectral Radius | 2014-10-15 | Paper |
| Sorting under partial information (without the ellipsoid algorithm). | 2014-08-13 | Paper |
| Joint Spectral Radius and Path-Complete Graph Lyapunov Functions | 2014-07-30 | Paper |
| Stability of linear switching systems and Markov-Bernstein inequalities for exponents | 2014-07-15 | Paper |
| Polytopic uncertainty for linear systems: new and old complexity results | 2014-06-13 | Paper |
| PageRank optimization by edge selection | 2014-05-06 | Paper |
| Sorting under partial information (without the ellipsoid algorithm). | 2014-03-17 | Paper |
| Lower and upper bounds for the largest Lyapunov exponent of matrices | 2014-01-21 | Paper |
| Modeling, analysis and design of linear systems with switching delays | 2014-01-08 | Paper |
| The Synchronizing Probability Function of an Automaton | 2012-08-22 | Paper |
| On asymptotic properties of matrix semigroups with an invariant cone | 2012-08-03 | Paper |
| Fast computation of minimal elementary decompositions of metabolic flux vectors | 2012-03-05 | Paper |
| Fast Methods for Computing thep-Radius of Matrices | 2011-12-07 | Paper |
| Observable graphs | 2011-06-28 | Paper |
| Long products of matrices | 2011-04-18 | Paper |
| An Efficient Algorithm for Partial Order Production | 2011-04-04 | Paper |
| Joint Spectral Characteristics of Matrices: A Conic Programming Approach | 2010-11-04 | Paper |
| The continuous Skolem-Pisot problem | 2010-10-11 | Paper |
| PageRank Optimization in Polynomial Time by Stochastic Shortest Path Reformulation | 2010-10-01 | Paper |
| Counterexamples to the Complex Polytope Extremality Conjecture | 2010-05-25 | Paper |
| Overlap-free words and spectra of matrices | 2009-09-10 | Paper |
| On the number of \(\alpha \)-power-free binary words for \(2<\alpha \leq 7/3\) | 2009-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3629025 | 2009-05-26 | Paper |
| Testing avoidability on sets of partial words is hard | 2009-03-17 | Paper |
| On the Complexity of Computing the Capacity of Codes That Avoid Forbidden Difference Patterns | 2008-12-21 | Paper |
| The Continuous Skolem-Pisot Problem: On the Complexity of Reachability for Linear Ordinary Differential Equations | 2008-09-12 | Paper |
| On the finiteness property for rational matrices | 2008-04-28 | Paper |
| Efficient algorithms for deciding the type of growth of products of integer matrices | 2008-04-28 | Paper |
| Computing the Growth of the Number of Overlap-Free Words with Spectra of Matrices | 2008-04-15 | Paper |
| Smart abstraction based on iterative cover and non-uniform cells | N/A | Paper |
| Memoryless concretization relation | N/A | Paper |
