| Publication | Date of Publication | Type |
|---|
| Computation of the Distance-Based Bound on Strong Structural Controllability in Networks | 2023-09-28 | Paper |
| Strong structural controllability of networks: comparison of bounds using distances and zero forcing | 2022-11-14 | Paper |
| Adversarial Gaussian Process Regression in Sensor Networks | 2022-05-16 | Paper |
| Resilient distributed vector consensus using centerpoint | 2022-01-03 | Paper |
| Design of Load Forecast Systems Resilient Against Cyber-Attacks | 2020-07-20 | Paper |
| Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems | 2020-03-06 | Paper |
| Improving Network Connectivity and Robustness Using Trusted Nodes With Application to Resilient Consensus | 2019-03-29 | Paper |
| Resilient First-Order Consensus and Weakly Stable, Higher Order Synchronization of Continuous-Time Networked Multiagent Systems | 2019-03-29 | Paper |
| Online model learning of buildings using stochastic hybrid systems based on Gaussian processes | 2018-10-15 | Paper |
| An Integrated Planning and Adaptive Resource Management Architecture for Distributed Real-Time Embedded Systems | 2017-08-08 | Paper |
| Towards Controllable Distributed Real-Time Systems with Feasible Utilization Control | 2017-08-08 | Paper |
| Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems | 2017-05-19 | Paper |
| Consensus in networked multi-agent systems with adversaries | 2017-05-16 | Paper |
| Low complexity resilient consensus in networked multi-agent systems with adversaries | 2017-05-16 | Paper |
| Resilient synchronization in robust networked multi-agent systems | 2017-05-16 | Paper |
| Optimal Thresholds for Anomaly-Based Intrusion Detection in Dynamical Environments | 2016-12-21 | Paper |
| Sensor placement for fault location identification in water networks: a minimum test cover approach | 2016-09-13 | Paper |
| An event-based distributed diagnosis framework using structural model decomposition | 2015-08-27 | Paper |
| Optimal and efficient adaptation in distributed real-time systems with discrete rates | 2014-12-17 | Paper |
| Probabilistic verification of a biodiesel production system using statistical model checking | 2014-11-17 | Paper |
| Discussion on: ``Safety verification for probabilistic hybrid systems | 2014-01-21 | Paper |
| Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study | 2013-06-10 | Paper |
| Local causal and Markov blanket induction for causal discovery and feature selection for classification. Part I: Algorithms and empirical evaluation | 2012-07-13 | Paper |
| Local causal and Markov blanket induction for causal discovery and feature selection for classification. Part II: Analysis and extensions | 2012-07-13 | Paper |
| Reachability analysis of stochastic hybrid systems: a biodiesel production system | 2011-03-09 | Paper |
| Reachability analysis of uncertain systems using bounded-parameter Markov decision processes | 2009-07-17 | Paper |
| Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting | 2009-04-30 | Paper |
| Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes | 2009-04-07 | Paper |
| Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process | 2008-09-02 | Paper |
| Hierarchical control of multiple resources in distributed real-time and embedded systems | 2008-04-09 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Design of piecewise linear hybrid dynamical systems using a control regulator approach | 2005-11-15 | Paper |
| Design of stabilizing switching control laws for discrete- and continuous-time linear systems using piecewise-linear Lyapunov functions | 2003-08-21 | Paper |
| Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions | 2003-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417999 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552478 | 2002-09-03 | Paper |
| An invariant-based approach to the design of hybrid control systems | 2002-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246817 | 2001-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953392 | 2001-01-11 | Paper |
| Timed Petri nets in hybrid systems: Stability and supervisory control | 1999-03-07 | Paper |
