| Publication | Date of Publication | Type |
|---|
| Flexible computational pipelines for robust abstraction-based control synthesis | 2024-02-16 | Paper |
| Characterization, verification and computation of robust controlled invariants for monotone dynamical systems | 2024-02-07 | Paper |
| Time-Variation in Online Nonconvex Optimization Enables Escaping From Spurious Local Minima | 2023-09-04 | Paper |
| Interval Reachability Analysis | 2023-02-28 | Paper |
| Dissipativity Tools for Convergence to Nash Equilibria in Population Games | 2022-09-20 | Paper |
| Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers | 2022-07-28 | Paper |
| Backward Reachability for Polynomial Systems on a Finite Horizon | 2022-02-24 | Paper |
| Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models | 2022-01-10 | Paper |
| Approximate abstractions of control systems with an application to aggregation | 2020-10-22 | Paper |
| Reachability analysis using dissipation inequalities for uncertain nonlinear systems | 2020-10-07 | Paper |
| A Spatial Filtering Approach to Biological Patterning | 2019-12-19 | Paper |
| TIRA | 2019-10-22 | Paper |
| Finite horizon robustness analysis of LTV systems using integral quadratic constraints | 2019-04-24 | Paper |
| Balancing Safety and Traffic Throughput in Cooperative Vehicle Platooning | 2019-04-17 | Paper |
| Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach | 2019-03-29 | Paper |
| Control and Optimization Problems in Hyperpolarized Carbon-13 MRI | 2019-02-25 | Paper |
| Symmetry reduction for dynamic programming | 2019-02-05 | Paper |
| Transformation of Optimal Centralized Controllers Into Near-Globally Optimal Static Distributed Controllers | 2019-01-28 | Paper |
| Symmetry Reduction for Performance Certification of Interconnected Systems | 2018-12-19 | Paper |
| Constructing Control System Abstractions from Modular Components | 2018-12-06 | Paper |
| Approximate abstractions of control systems with an application to aggregation | 2018-09-10 | Paper |
| An Input–Output Framework for Submanifold Stabilization | 2018-06-27 | Paper |
| Symbolic control design for monotone systems with directed specifications | 2017-11-08 | Paper |
| Adaptive Synchronization of Diffusively Coupled Systems | 2017-09-21 | Paper |
| Traffic Network Control From Temporal Logic Specifications | 2017-09-21 | Paper |
| Quaternion-Based Hybrid Feedback for Robust Global Attitude Synchronization | 2017-09-08 | Paper |
| Delay Robustness of Interconnected Passive Systems: An Integral Quadratic Constraint Approach | 2017-09-08 | Paper |
| Pattern Formation by Lateral Inhibition in Large-Scale Networks of Cells | 2017-09-08 | Paper |
| Instability Mechanisms in Cooperative Control | 2017-08-25 | Paper |
| Synchronization of Interconnected Systems With Applications to Biochemical Networks: An Input-Output Approach | 2017-08-25 | Paper |
| Diagonal Stability on Cactus Graphs and Application to Network Stability Analysis | 2017-08-25 | Paper |
| Robust Stabilization and Performance Recovery of Nonlinear Systems With Unmodeled Dynamics | 2017-08-08 | Paper |
| Delay Robustness of a Class of Nonlinear Systems and Applications to Communication Networks | 2017-07-27 | Paper |
| Passivity as a Design Tool for Group Coordination | 2017-07-27 | Paper |
| A Passivity-Based Approach to Stability of Spatially Distributed Systems With a Cyclic Interconnection Structure | 2017-07-27 | Paper |
| A Unifying Passivity Framework for Network Flow Control | 2017-07-12 | Paper |
| Certainty-equivalence output-feedback design with circle-criterion observers | 2017-07-12 | Paper |
| A Small Gain Theorem for Parametric Assume-Guarantee Contracts | 2017-07-11 | Paper |
| Trading the stability of finite zeros for global stabilization of nonlinear cascade systems | 2017-06-20 | Paper |
| Efficient finite abstraction of mixed monotone systems | 2017-05-19 | Paper |
| Directed Specifications and Assumption Mining for Monotone Dynamical Systems | 2017-05-19 | Paper |
| A Compartmental Model for Traffic Networks and Its Dynamical Behavior | 2017-05-16 | Paper |
| A Dissipativity Approach to Safety Verification for Interconnected Systems | 2017-05-16 | Paper |
| Reachability Analysis of Nonlinear Systems Using Matrix Measures | 2017-05-16 | Paper |
| Finite abstraction of mixed monotone systems with discrete and continuous inputs | 2016-12-15 | Paper |
| Compositional abstraction for networks of control systems: A dissipativity approach | 2016-08-04 | Paper |
| Networks of Dissipative Systems | 2016-04-11 | Paper |
| Stability of traffic flow networks with a polytree topology | 2016-03-08 | Paper |
| Stability of an analog optimization circuit for quadratic programming | 2016-03-04 | Paper |
| Compositional performance certification of interconnected systems using ADMM | 2015-12-22 | Paper |
| Synchronization of diffusively-coupled limit cycle oscillators | 2015-06-25 | Paper |
| A computational approach to synthesizing guards for hybrid systems | 2014-10-27 | Paper |
| Boundedness without absolute stability in systems with stiffening nonlinearities | 2014-08-07 | Paper |
| Pattern Formation with a Compartmental Lateral Inhibition System | 2014-07-23 | Paper |
| A Graph Partitioning Approach to Predicting Patterns in Lateral Inhibition Systems | 2014-01-22 | Paper |
| Scaling the size of a formation using relative position feedback | 2013-08-28 | Paper |
| Stability certification of large scale stochastic systems using dissipativity | 2012-12-13 | Paper |
| Certifying spatially uniform behavior in reaction-diffusion PDE and compartmental ODE systems | 2012-03-05 | Paper |
| A Broad Dynamical Model for Pattern Formation by Lateral Inhibition | 2012-01-06 | Paper |
| Equilibrium-independent passivity: a new definition and numerical certification | 2011-11-03 | Paper |
| Passivity-Based Agreement Protocols: Continuous-Time and Sampled-Data Designs | 2011-07-15 | Paper |
| Cooperative control design. A systematic, passivity-based approach | 2011-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3070596 | 2011-02-03 | Paper |
| Passivity-based Stability of Interconnection Structures | 2010-11-05 | Paper |
| A sufficient condition for additive \(D\)-stability and application to reaction-diffusion models | 2010-02-12 | Paper |
| Adaptive motion coordination: using relative velocity feedback to track a reference velocity | 2009-06-11 | Paper |
| Time-scale separation redesigns for stabilization and performance recovery of uncertain nonlinear systems | 2009-02-10 | Paper |
| Rigid body attitude coordination without inertial frame information | 2009-01-21 | Paper |
| A passivity-based stability criterion for a class of biochemical reaction networks | 2008-07-11 | Paper |
| Adaptive design for reference velocity recovery in motion coordination | 2008-07-10 | Paper |
| Area aggregation and time-scale modeling for sparse nonlinear networks | 2008-03-06 | Paper |
| Passivity-based designs for synchronized path-following | 2008-01-16 | Paper |
| Diagonal stability of a class of cyclic systems and its connection with the secant criterion | 2008-01-11 | Paper |
| A passivity approach to game-theoretic CDMA power control | 2007-05-15 | Paper |
| A hybrid redesign of Newton observers in the absence of an exact discrete-time model | 2006-09-25 | Paper |
| Feedback tuning of bifurcations | 2006-09-21 | Paper |
| Observer design for systems with multivariable monotone nonlinearities | 2006-09-21 | Paper |
| Robustness of network flow control against disturbances and time-delay | 2006-09-21 | Paper |
| A relaxed condition for stability of nonlinear observer-based controllers | 2006-09-21 | Paper |
| Diagonal Stability for a Class of Interconnected Passive Systems | 2005-04-13 | Paper |
| A framework for nonlinear sampled-data observer design via approximate discrete-time models and emulation | 2005-02-23 | Paper |
| Circle and Popov criteria as tools for nonlinear feedback design. | 2003-04-27 | Paper |
| Input-to-state stability for a class of Lur'e systems | 2003-02-17 | Paper |
| Nonlinear observers: A circle criterion design and robustness analysis | 2002-10-31 | Paper |
| Global output tracking control of a class of Euler-Lagrange systems with monotonic non-linearities in the velocities | 2002-10-16 | Paper |
| Observer-based control of systems with slope-restricted nonlinearities | 2002-07-21 | Paper |
| Robust global stabilization with ignored input dynamics: an input-to-state stability (ISS) small-gain approach | 2002-07-21 | Paper |
| A Unifying Integral ISS Framework for Stability of Nonlinear Cascades | 2002-06-23 | Paper |
| Redesign of backstepping for robustness against unmodelled dynamics | 2001-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2724376 | 2001-09-19 | Paper |
| Feasibility conditions for circle criterion designs | 2001-08-20 | Paper |
| Robustification of backstepping against input unmodeled dynamics | 2001-08-05 | Paper |
| Constructive nonlinear control: a historical perspective | 2001-07-02 | Paper |
| Robust nonlinear control of feedforward systems with unmodeled dynamics | 2001-05-07 | Paper |
| Robust nonlinear control of systems with input unmodeled dynamics | 2000-10-26 | Paper |
