| Publication | Date of Publication | Type |
|---|
| Decentralized Secure State-Tracking in Multi-Agent Systems | 2023-10-02 | Paper |
| Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control | 2023-09-29 | Paper |
| From LTL to rLTL monitoring: improved monitorability through robust semantics | 2023-06-29 | Paper |
| Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic | 2022-02-24 | Paper |
| On the computational complexity of the secure state-reconstruction problem | 2022-01-03 | Paper |
| Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption | 2021-05-28 | Paper |
| Distortion-Based Lightweight Security for Cyber-Physical Systems | 2021-05-28 | Paper |
| Symmetries and Isomorphisms for Privacy in Control Over the Cloud | 2021-03-12 | Paper |
| From LTL to rLTL monitoring | 2021-01-25 | Paper |
| A simple hierarchy for computing controlled invariant sets | 2021-01-25 | Paper |
| Distortion based Light-weight Security for Cyber-Physical Systems | 2020-06-25 | Paper |
| Sum-of-squares methods for controlled invariant sets with applications to model-predictive control | 2020-05-07 | Paper |
| Securing state reconstruction under sensor and actuator attacks: theory and design | 2020-04-14 | Paper |
| Supervisory control of discrete-event systems under attacks | 2020-02-03 | Paper |
| Data driven stability analysis of black-box switched linear systems | 2019-12-19 | Paper |
| Evrostos | 2019-10-22 | Paper |
| Symmetries and isomorphisms for privacy in control over the cloud | 2019-06-18 | Paper |
| Non-local Linearization of Nonlinear Differential Equations via Polyflows | 2019-02-12 | Paper |
| Periodic event-triggered control of nonlinear systems using overapproximation techniques | 2018-10-17 | Paper |
| Cloud-based Quadratic Optimization with Partially Homomorphic Encryption | 2018-09-06 | Paper |
| Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach | 2018-06-27 | Paper |
| Mode-Target Games: Reactive Synthesis for Control Applications | 2018-06-27 | Paper |
| Computing controlled invariant sets for hybrid systems with applications to model-predictive control | 2018-02-13 | Paper |
| Control Barrier Function Based Quadratic Programs for Safety Critical Systems | 2017-11-10 | Paper |
| First steps toward formal controller synthesis for bipedal robots with experimental implementation | 2017-10-04 | Paper |
| Compositional Transient Stability Analysis of Multimachine Power Networks | 2017-09-21 | Paper |
| Secure State Estimation Against Sensor Attacks in the Presence of Noise | 2017-09-21 | Paper |
| Computing Robust Controlled Invariant Sets of Linear Systems | 2017-09-21 | Paper |
| Exploiting Isochrony in Self-Triggered Control | 2017-09-08 | Paper |
| Symbolic Models for Nonlinear Control Systems Without Stability Assumptions | 2017-09-08 | Paper |
| Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems | 2017-08-25 | Paper |
| To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems | 2017-08-25 | Paper |
| Backstepping Design for Incremental Stability | 2017-08-25 | Paper |
| Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks | 2017-08-25 | Paper |
| An Approximate Simulation Approach to Symbolic Control | 2017-08-08 | Paper |
| Symbolic Control of Linear Systems Based on Symbolic Subsystems | 2017-07-27 | Paper |
| Linear Time Logic Control of Discrete-Time Linear Systems | 2017-07-27 | Paper |
| Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks | 2017-07-27 | Paper |
| Robust Linear Temporal Logic | 2017-07-19 | Paper |
| SMC | 2017-07-11 | Paper |
| From nonlinear to hamiltonian via feedback | 2017-06-20 | Paper |
| First steps toward formal controller synthesis for bipedal robots | 2017-05-19 | Paper |
| A Framework for the Event-Triggered Stabilization of Nonlinear Systems | 2017-05-16 | Paper |
| Towards Robustness for Cyber-Physical Systems | 2017-05-16 | Paper |
| Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks | 2017-05-16 | Paper |
| Robust discrete synthesis against unspecified disturbances | 2017-05-16 | Paper |
| Specification-guided controller synthesis for linear systems and safe linear-time temporal logic | 2017-05-16 | Paper |
| Abstracting and refining robustness for cyber-physical systems | 2017-05-16 | Paper |
| Event-Triggered State Observers for Sparse Sensor Noise/Attacks | 2017-05-03 | Paper |
| A Notion of Robustness for Cyber-Physical Systems | 2017-05-03 | Paper |
| Towards Kron reduction of generalized electrical networks | 2014-11-19 | Paper |
| Self-triggered linear quadratic control | 2014-10-17 | Paper |
| Minimum attention control for linear systems | 2014-10-10 | Paper |
| Bisimulation Relations for Dynamical and Control Systems | 2013-08-16 | Paper |
| A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems | 2011-08-28 | Paper |
| Symbolic approximate time-optimal control | 2011-05-06 | Paper |
| An ISS self-triggered implementation of linear controllers | 2010-11-25 | Paper |
| Symbolic models for nonlinear time-delay systems using approximate bisimulations | 2010-10-07 | Paper |
| Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations | 2010-04-28 | Paper |
| Verification and Control of Hybrid Systems | 2009-05-27 | Paper |
| On Simulations and Bisimulations of General Flow Systems | 2009-03-11 | Paper |
| Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems | 2009-03-11 | Paper |
| Approximately bisimilar symbolic models for nonlinear control systems | 2009-03-02 | Paper |
| Controller synthesis for bisimulation equivalence | 2009-01-27 | Paper |
| Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems | 2008-09-02 | Paper |
| Approximate reduction of dynamic systems | 2008-07-10 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Symbolic models for control systems | 2007-03-05 | Paper |
| Local factorization of trajectory lifting morphisms for single-input affine control systems | 2006-10-27 | Paper |
| Bisimilar control affine systems | 2006-09-21 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| Bisimulation relations for dynamical, control, and hybrid systems | 2005-09-22 | Paper |
| Quotients of Fully Nonlinear Control Systems | 2005-09-15 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Hierarchical trajectory refinement for a class of nonlinear systems | 2005-05-12 | Paper |
| Abstractions of Hamiltonian control systems. | 2004-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418864 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552491 | 2002-09-03 | Paper |
