| Publication | Date of Publication | Type |
|---|
| Temporal Robustness of Stochastic Signals | 2024-02-21 | Paper |
| Learning lyapunov functions for hybrid systems | 2024-02-21 | Paper |
| Online Learning of the Kalman Filter With Logarithmic Regret | 2023-09-29 | Paper |
| Reactive and Risk-Aware Control for Signal Temporal Logic | 2023-09-24 | Paper |
| Risk verification of stochastic systems with neural network controllers | 2022-11-08 | Paper |
| Model-Free Learning of Optimal Ergodic Policies in Wireless Systems | 2022-09-23 | Paper |
| Verisig 2.0: verification of neural network controllers using Taylor model preconditioning | 2022-03-25 | Paper |
| Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming | 2022-02-24 | Paper |
| Robust and Adaptive Sequential Submodular Optimization | 2022-02-24 | Paper |
| On the Structural Target Controllability of Undirected Networks | 2022-02-23 | Paper |
| Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators | 2022-01-10 | Paper |
| Encrypted Control for Networked Systems: An Illustrative Introduction and Current Challenges | 2022-01-10 | Paper |
| Analysis and Control of Epidemics: A Survey of Spreading Processes on Complex Networks | 2021-12-15 | Paper |
| LQG Control and Sensing Co-Design | 2021-05-28 | Paper |
| Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption | 2021-05-28 | Paper |
| Latency-Reliability Tradeoffs for State Estimation | 2021-05-28 | Paper |
| Statistical learning for analysis of networked control systems over unknown channels | 2021-04-20 | Paper |
| STL Robustness Risk over Discrete-Time Stochastic Processes | 2021-04-03 | Paper |
| Approximate Supermodularity of Kalman Filter Sensor Selection | 2021-03-12 | Paper |
| Case study | 2021-01-25 | Paper |
| State-Secrecy Codes for Networked Linear Systems | 2020-10-07 | Paper |
| Robust Economic Model Predictive Control of Continuous-Time Epidemic Processes | 2020-10-07 | Paper |
| Network Design for Controllability Metrics | 2020-10-05 | Paper |
| Consensus of Multiagent Systems Via Asynchronous Cloud Communication | 2020-10-05 | Paper |
| A Temporal Logic-Based Hierarchical Network Connectivity Controller | 2020-09-01 | Paper |
| Learning Lyapunov Functions for Piecewise Affine Systems with Neural Network Controllers | 2020-08-14 | Paper |
| Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications | 2020-04-05 | Paper |
| Finite-dimensional control of linear discrete-time fractional-order systems | 2020-03-24 | Paper |
| Verisig | 2019-10-22 | Paper |
| Minimal Edge Addition for Network Controllability | 2019-08-14 | Paper |
| Analysis and Design of Actuation–Sensing–Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems | 2019-08-14 | Paper |
| Diffusing Private Data Over Networks | 2019-03-29 | Paper |
| Minimal Reachability is Hard To Approximate | 2019-03-28 | Paper |
| A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting | 2019-03-27 | Paper |
| Learning in Wireless Control Systems Over Nonstationary Channels | 2019-03-06 | Paper |
| Continuous Estimation Using Context-Dependent Discrete Measurements | 2019-01-28 | Paper |
| Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks | 2018-12-19 | Paper |
| Selecting Sensors in Biological Fractional-Order Systems | 2018-12-04 | Paper |
| A hybrid stochastic game for secure control of cyber-physical systems | 2018-10-17 | Paper |
| A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization | 2018-10-15 | Paper |
| Cloud-based Quadratic Optimization with Partially Homomorphic Encryption | 2018-09-06 | Paper |
| Control of Generalized Discrete-time SIS Epidemics via Submodular Function Minimization | 2018-08-15 | Paper |
| Verification of Hybrid Systems | 2018-07-20 | Paper |
| Random access design for wireless control systems | 2018-06-14 | Paper |
| Stability of Control Systems with Feedback from Energy Harvesting Sensors | 2017-12-07 | Paper |
| Optimal Resource Allocation for Network Protection Against Spreading Processes | 2017-09-21 | Paper |
| Minimal Actuator Placement With Bounds on Control Effort | 2017-09-21 | Paper |
| Optimal Resource Allocation for Control of Networked Epidemic Models | 2017-09-21 | Paper |
| Attack-Resilient State Estimation for Noisy Dynamical Systems | 2017-09-21 | Paper |
| Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks | 2017-09-21 | Paper |
| Adaptive Deployment of Mobile Robotic Networks | 2017-09-08 | Paper |
| Stochastic Source Seeking by Mobile Robots | 2017-09-08 | Paper |
| Network Integrity in Mobile Robotic Networks | 2017-09-08 | Paper |
| The Wireless Control Network: A New Approach for Control Over Networks | 2017-08-25 | Paper |
| Compositional Modeling and Analysis of Multi-Hop Control Networks | 2017-08-25 | Paper |
| Approximations of Stochastic Hybrid Systems | 2017-08-08 | Paper |
| Hybrid Control for Connectivity Preserving Flocking | 2017-08-08 | Paper |
| Flocking in Fixed and Switching Networks | 2017-07-27 | Paper |
| Approximation Metrics for Discrete and Continuous Systems | 2017-07-27 | Paper |
| A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates | 2017-07-27 | Paper |
| Linear Time Logic Control of Discrete-Time Linear Systems | 2017-07-27 | Paper |
| Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System ofEscherichia Coli | 2017-07-27 | Paper |
| SMC | 2017-07-11 | Paper |
| Robust Economic Model Predictive Control of Continuous-time Epidemic Processes | 2017-07-03 | Paper |
| Consistent abstractions of affine control systems | 2017-06-20 | Paper |
| From nonlinear to hamiltonian via feedback | 2017-06-20 | Paper |
| Optimal Power Management in Wireless Control Systems | 2017-05-16 | Paper |
| Differentially Private Filtering | 2017-05-16 | Paper |
| Compositional safety analysis using barrier certificates | 2017-05-16 | Paper |
| Reputation-based networked control with data-corrupting channels | 2017-05-16 | Paper |
| Opportunistic Control Over Shared Wireless Channels | 2017-05-16 | Paper |
| Resource constrained LQR control under fast sampling | 2017-05-16 | Paper |
| Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems | 2017-05-10 | Paper |
| Differentially Private Distributed Constrained Optimization | 2017-05-03 | Paper |
| Structural minimum controllability problem for switched linear continuous-time systems | 2017-03-28 | Paper |
| Inference, Prediction, and Control of Networked Epidemics | 2017-03-21 | Paper |
| Event-Triggered Communication and Control for Multi-Agent Average Consensus | 2016-09-22 | Paper |
| Self-Triggered Time-Varying Convex Optimization | 2016-03-28 | Paper |
| Optimal resource allocation for competitive spreading processes on bilayer networks | 2015-12-16 | Paper |
| Analysis and Design of Actuation-Sensing-Communication Interconnection Structures towards Secured/Resilient Closed-loop Systems | 2015-11-09 | Paper |
| Minimum Number of Probes for Brain Dynamics Observability | 2015-08-27 | Paper |
| Deterministic Bounding Systems for Stochastic Compartmental Spreading Processes | 2015-07-18 | Paper |
| Value of forecasts in planning under uncertainty: Extended version | 2015-03-13 | Paper |
| Minimum Cost Constrained Input-Output and Control Configuration Co-Design Problem: A Structural Systems Approach | 2015-03-09 | Paper |
| Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control | 2014-10-16 | Paper |
| Bisimulation relations for dynamical and control systems | 2013-08-16 | Paper |
| A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks | 2012-12-13 | Paper |
| Approximate bisimulation: a bridge between computer science and control theory | 2012-12-08 | Paper |
| Inferring stable genetic networks from steady-state data | 2012-03-05 | Paper |
| Robustness of temporal logic specifications for continuous-time signals | 2009-10-09 | Paper |
| Trajectory Based Verification Using Local Finite-Time Invariance | 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 |
| Robust Test Generation and Coverage for Hybrid Systems | 2009-03-11 | Paper |
| Approximate equivalence and synchronization of metric transition systems | 2009-03-02 | Paper |
| A dynamical systems approach to weighted graph matching | 2009-01-20 | Paper |
| Approximate simulation relations for hybrid systems | 2008-08-20 | Paper |
| Approximate reduction of dynamic systems | 2008-07-10 | Paper |
| Temporal Logic Verification Using Simulation | 2008-07-08 | Paper |
| Robust Sampling for MITL Specifications | 2008-07-03 | 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 |
| 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 |
| Hierarchical trajectory refinement for a class of nonlinear systems | 2005-05-12 | Paper |
| Optimal paths in weighted timed automata | 2004-08-10 | Paper |
| Bisimilar linear systems. | 2004-01-26 | 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/Q4553265 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552456 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552468 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552490 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552491 | 2002-09-03 | Paper |
| Symbolic reachability computation for families of linear vector fields | 2002-01-27 | Paper |
| Hierarchically consistent control systems | 2000-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246819 | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953410 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246868 | 2000-02-28 | Paper |
| O-minimal hybrid systems. | 2000-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249569 | 1999-11-22 | Paper |
| Conflict resolution for air traffic management: a study in multiagent hybrid systems | 1999-01-19 | Paper |
| Straightening out rectangular differential inclusions | 1999-01-12 | Paper |
| Stabilization of non-holonomic vehicles under kinematic constraints | 1995-11-28 | Paper |
