| Publication | Date of Publication | Type |
|---|
| Stability of discrete-time switched linear systems with ω-regular switching sequences | 2024-02-21 | Paper |
| Safe learning-based model predictive control using the compatible models approach | 2023-11-23 | Paper |
| Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis | 2023-10-09 | Paper |
| Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity | 2023-10-06 | Paper |
| Event-triggered neural network control using quadratic constraints for perturbed systems | 2023-09-15 | Paper |
| Data-driven modeling of the temporal evolution of breakers' states in the French electrical transmission grid | 2022-10-14 | Paper |
| Stability of shuffled switched linear systems: A joint spectral radius approach | 2022-07-26 | Paper |
| Formal controller synthesis from specifications given by discrete-time hybrid automata | 2021-11-19 | Paper |
| Assume-guarantee contracts for continuous-time systems | 2021-11-19 | Paper |
| Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems | 2021-05-28 | Paper |
| Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications | 2021-04-20 | Paper |
| Singular Perturbation Approach for Linear Coupled ODE-PDE Systems | 2020-07-03 | Paper |
| Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions | 2020-03-06 | Paper |
| Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems | 2019-04-24 | Paper |
| Optimal multirate sampling in symbolic models for incrementally stable switched systems | 2019-02-05 | Paper |
| Formal Controller Synthesis from Hybrid Programs | 2018-12-06 | Paper |
| Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems | 2018-10-17 | Paper |
| Event-Based Boundary Control of a Linear <inline-formula> <tex-math notation="LaTeX">$2\times 2$ </tex-math> </inline-formula> Hyperbolic System via Backstepping Approach | 2018-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5375276 | 2018-09-14 | Paper |
| Stability analysis of a general class of singularly perturbed linear hybrid systems | 2018-06-14 | Paper |
| Symbolic models for stochastic switched systems: A discretization and a discretization-free approach | 2018-01-12 | Paper |
| Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis | 2017-10-04 | Paper |
| Multiagent Flocking Under General Communication Rule | 2017-09-21 | Paper |
| Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices | 2017-09-08 | Paper |
| Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems | 2017-08-25 | Paper |
| Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs | 2017-08-25 | Paper |
| Towards a Multiresolution Approach to Linear Control | 2017-07-27 | Paper |
| Approximation Metrics for Discrete and Continuous Systems | 2017-07-27 | Paper |
| Scheduling of Embedded Controllers Under Timing Contracts | 2017-07-11 | Paper |
| Verification and Synthesis of Timing Contracts for Embedded Controllers | 2017-05-19 | Paper |
| Dynamic Triggering Mechanisms for Event-Triggered Control | 2017-05-16 | Paper |
| Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques | 2017-05-16 | Paper |
| Synthesis of switching controllers using approximately bisimilar multiscale abstractions | 2017-05-16 | Paper |
| Compositionality results for cardiac cell dynamics | 2017-05-16 | Paper |
| Synthesis using approximately bisimilar abstractions | 2017-05-10 | Paper |
| Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws | 2017-05-03 | Paper |
| Coordination in Networks of Linear Impulsive Agents | 2017-05-03 | Paper |
| Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models | 2017-05-03 | Paper |
| On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons | 2017-05-03 | Paper |
| An optimisation approach for stability analysis and controller synthesis of linear hyperbolic systems | 2016-12-02 | Paper |
| Robust controlled invariance for monotone systems: application to ventilation regulation in buildings | 2016-06-03 | Paper |
| Event-based control of linear hyperbolic systems of conservation laws | 2016-06-03 | Paper |
| Singular perturbation approximation by means of a \(H^2\) Lyapunov function for linear hyperbolic systems | 2016-03-04 | Paper |
| Clustered model reduction of positive directed networks | 2015-11-30 | Paper |
| Tikhonov theorem for linear hyperbolic systems | 2015-11-26 | Paper |
| Switching Rules for Stabilization of Linear Systems of Conservation Laws | 2015-06-24 | Paper |
| Consensus with Constrained Convergence Rate and Time-Delays | 2014-10-24 | Paper |
| Low-complexity quantized switching controllers using approximate bisimulation | 2014-07-24 | Paper |
| Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights | 2013-09-26 | Paper |
| Stability of switched linear hyperbolic systems by Lyapunov techniques (full version) | 2013-07-18 | Paper |
| Computation of polytopic invariants for polynomial dynamical systems using linear programming | 2013-01-21 | Paper |
| Approximate bisimulation: a bridge between computer science and control theory | 2012-12-08 | Paper |
| Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations | 2012-11-21 | Paper |
| Controller synthesis for robust invariance of polynomial dynamical systems using linear programming | 2012-09-14 | Paper |
| Controller synthesis for safety and reachability via approximate bisimulation | 2012-08-27 | Paper |
| Reachability analysis of linear systems using support functions | 2010-08-19 | Paper |
| Reachability Analysis of Hybrid Systems Using Support Functions | 2009-06-30 | Paper |
| Bounded and Unbounded Safety Verification Using Bisimulation Metrics | 2009-04-30 | Paper |
| Hierarchical control system design using approximate simulation | 2009-04-23 | Paper |
| Temporal logic motion planning for dynamic robots | 2009-04-22 | Paper |
| Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications | 2009-03-11 | Paper |
| Approximately Bisimilar Finite Abstractions of Stable Linear Systems | 2009-03-11 | Paper |
| Approximately bisimilar symbolic models for nonlinear control systems | 2009-03-02 | Paper |
| Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems | 2008-09-02 | Paper |
| Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis | 2008-09-02 | Paper |
| Approximate simulation relations for hybrid systems | 2008-08-20 | Paper |
| Temporal Logic Verification Using Simulation | 2008-07-08 | Paper |
| Approximate bisimulation relations for constrained linear systems | 2008-01-21 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Hybridization methods for the analysis of nonlinear systems | 2007-03-05 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417974 | 2003-07-30 | Paper |
