| Publication | Date of Publication | Type |
|---|
| From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers | 2024-09-25 | Paper |
| Formal analysis of the sampling behavior of stochastic event-triggered control | 2024-08-19 | Paper |
| Computing the sampling performance of event-triggered control | 2024-02-21 | Paper |
| A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence | 2024-02-21 | Paper |
| ETCetera: beyond Event-Triggered Control | 2024-02-21 | Paper |
| Distributionally Robust Strategy Synthesis for Switched Stochastic Systems | 2024-02-21 | Paper |
| Interval Markov Decision Processes with Continuous Action-Spaces | 2024-02-21 | Paper |
| Poster: Convex Scenario Optimisation for ReLU Networks | 2024-02-21 | Paper |
| Chaos and Order in Event-Triggered Control | 2024-01-26 | Paper |
| Abstracting the Traffic of Nonlinear Event-Triggered Control Systems | 2023-10-02 | Paper |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers | 2023-04-21 | Paper |
| Robust event-driven interactions in cooperative multi-agent learning | 2023-01-18 | Paper |
| Computing the average inter-sample time of event-triggered control using quantitative automata | 2023-01-13 | Paper |
| Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications | 2022-03-18 | Paper |
| The isowarp: the template-based visual geometry of isometric surfaces | 2021-12-02 | Paper |
| Isochronous Partitions for Region-Based Self-Triggered Control | 2021-05-28 | Paper |
| Convergence of ant colony multi-agent swarms | 2021-01-25 | Paper |
| Lyapunov Event-Triggered Stabilization With a Known Convergence Rate | 2020-10-07 | Paper |
| Self-triggered output-feedback control of LTI systems subject to disturbances and noise | 2020-10-01 | Paper |
| Traffic Models of Periodic Event-Triggered Control Systems | 2019-08-12 | Paper |
| Equiareal shape-from-template | 2019-06-27 | Paper |
| Symbolic Abstractions of Networked Control Systems | 2019-03-29 | Paper |
| Formal Traffic Characterization of LTI Event-Triggered Control Systems | 2018-12-19 | Paper |
| Lyapunov Design for Event-Triggered Exponential Stabilization | 2018-12-06 | Paper |
| Decentralized periodic event-triggered control with quantization and asynchronous communication | 2018-10-17 | Paper |
| Modular Architecture for Efficient Generation and Correlation of Complementary Set of Sequences | 2018-06-12 | Paper |
| Lyapunov Event-triggered Stabilization with a Known Convergence Rate | 2018-03-23 | Paper |
| Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization | 2018-02-16 | Paper |
| Symbolic Models for Nonlinear Control Systems Without Stability Assumptions | 2017-09-08 | Paper |
| Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks | 2017-08-25 | Paper |
| Specification-guided controller synthesis for linear systems and safe linear-time temporal logic | 2017-05-16 | Paper |
| Optimality of robust disturbance-feedback strategies | 2016-04-15 | Paper |
| Asynchronous decentralized event-triggered control | 2015-04-28 | Paper |
| Symbolic approximate time-optimal control | 2011-05-06 | Paper |
| An ISS self-triggered implementation of linear controllers | 2010-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3526773 | 2008-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448533 | 2004-02-18 | Paper |
| Wheelchair guidance strategies using EOG | 2003-02-19 | Paper |
| Using a new model of recurrent neural network for control | 2003-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2783193 | 2002-04-15 | Paper |
| Integral system for assisted mobility | 2001-10-14 | Paper |
| Neural control of the movements of a wheelchair | 2001-06-25 | Paper |
| Solutions of Quadratic First-Order ODEs applied to Computer Vision Problems | N/A | Paper |
