YALMIP : a toolbox for modeling and optimization in MATLAB

• Optimal Stochastic Injection Attack Strategy Against Discrete Time-Varying System via Moment Matrices

  2025 IEEE Transactions on Automation Science and Engineering article Engineering Smart Grid Security and Resilience

  2

  citations
• Modelling the heat transition

  2024 preprint Engineering Integrated Energy Systems Optimization Open access

  1

  citations
• Trajectory generation for the unicycle model using semidefinite relaxations

  2024 European Journal of Control article Mathematics Advanced Optimization Algorithms Research Open access

  1

  citations
• Functional Control of Network Dynamical Systems: An Information Theoretic Approach

  2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Neuroscience Neural dynamics and brain function

  0

  citations
• Weighted programming: a programming paradigm for specifying mathematical models

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  18

  citations
• Robust Linear Parameter-Varying Control for Multi-Megawatt Wind Turbine Testing

  2021 Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes conference-paper Engineering Wind Turbine Control Systems

  2

  citations
• Unbounded-Time Safety Verification of Stochastic Differential Dynamics

  2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

  1

  citations
• Performance Comparison of Real-Time Solver Implementations for Powertrain Nonlinear Energy Management Optimization with MPC

  2020 European Control Conference (ECC) conference-paper Engineering Advanced Control Systems Optimization

  11

  citations
• Unbounded-Time Safety Verification of Stochastic Differential Dynamics

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  11

  citations

9 results