Peter Seiler
- Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers
2020/06/13 by He Yin, Peter Seiler, Yin, He +3 · 10 citations
Engineering · Computer Science · #Fault Detection and Control Systems #Stability and Control of Uncertain Systems #Adversarial Robustness in Machine Learning
- Robust Control Barrier Functions with Sector-Bounded Uncertainties
2021/09/06 by Jyot Buch, Buch, Jyot, Shih‐Chi Liao +3 · 7 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Optimization and Control (math.OC) #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB
2013/10/17 by Antonis Papachristodoulou, James Anderson, Papachristodoulou, Antonis +11 · 6 citations
Mathematics · Computer Science · Decision Sciences · #Advanced Optimization Algorithms Research #Matrix Theory and Algorithms #Probabilistic and Robust Engineering Design
- Control Barrier Functions With Unmodeled Dynamics Using Integral Quadratic Constraints
2021/08/24 by Peter Seiler, Seiler, Peter, Mrdjan Janković +3 · 5 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
- ControlAgent: Automating Control System Design via Novel Integration of LLM Agents and Domain Expertise
2024/10/17 by Xingang Guo, Darioush Keivan, Guo, Xingang +13 · 6 citations
Business, Management and Accounting · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Tractable Reinforcement Learning of Signal Temporal Logic Objectives
2020/01/26 by Harish K. Venkataraman, Derya Aksaray, Venkataraman, Harish +3 · 3 citations
Computer Science · #Formal Methods in Verification #Constraint Satisfaction and Optimization #Evolutionary Algorithms and Applications
- An Introduction to Disk Margins
2020/03/10 by Peter Seiler, Seiler, Peter, Andrew Packard +3 · 2 citations
Earth and Planetary Sciences · Engineering · #Aquatic and Environmental Studies #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #Traffic control and management #Vehicle Dynamics and Control Systems #electronic engineering #information engineering
- On the Necessity and Sufficiency of Discrete-Time O'Shea-Zames-Falb Multipliers
2021/12/14 by Lanlan Su, Peter Seiler, Su, Lanlan +5 · 2 citations
Engineering · #Stability and Control of Uncertain Systems #Advanced Control Systems Optimization #Stability and Controllability of Differential Equations
- SOSOPT: A Toolbox for Polynomial Optimization
2013/08/08 by Peter Seiler, Seiler, Peter · 1 citation
Computer Science · Decision Sciences · Mathematics · #Advanced Optimization Algorithms Research #FOS: Electrical engineering #FOS: Mathematics #Numerical Methods and Algorithms #Optimization and Control (math.OC) #Probabilistic and Robust Engineering Design #Systems and Control (eess.SY) #electronic engineering #information engineering
- Robustness against Adversarial Attacks in Neural Networks using Incremental Dissipativity
2021/11/25 by Bernardo Aquino, Aquino, Bernardo, Arash Rahnama +7 · 1 citation
Computer Science · Engineering · Materials Science · #Advanced Memory and Neural Computing #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Machine Learning in Materials Science #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations
2024/07/09 by Sahel Vahedi Noori, Bin Hu, Noori, Sahel Vahedi +5 · 3 citations
Computer Science · Engineering · #Constraint Satisfaction and Optimization #Advanced Manufacturing and Logistics Optimization #Manufacturing Process and Optimization
- Frequency Domain Gaussian Process Models for H^∞ Uncertainties
2022/11/29 by Alex Devonport, Devonport, Alex, Peter Seiler +3 · 1 citation
Computer Science · Engineering · #Control Systems and Identification #FOS: Electrical engineering #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Systems and Control (eess.SY) #electronic engineering #information engineering
- Structured Input-Output Modeling and Robust Stability Analysis of Compressible Flows
2024/07/20 by Diganta Bhattacharjee, Talha Mushtaq, Bhattacharjee, Diganta +5 · 1 citation
Engineering · #Advanced Control Systems Optimization #Computational Fluid Dynamics and Aerodynamics #FOS: Electrical engineering #FOS: Physical sciences #Fluid Dynamics (physics.flu-dyn) #Mathematical Physics (math-ph) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Toward Engineering AGI: Benchmarking the Engineering Design Capabilities of LLMs
2025/07/01 by Xingang Guo, Guo, Xingang, Yaxin Li +113 · 3 citations
Computer Science · #Computational Engineering #FOS: Computer and information sciences #Finance #Human-Computer Interaction (cs.HC) #Robotics (cs.RO) #Semantic Web and Ontologies #and Science (cs.CE)
- An Exact, Finite Dimensional Representation for Full-Block, Circle Criterion Multipliers
2025/11/26 by Felix Biertümpfel, Biertümpfel, Felix, Bin Hu +5 · 1 citation
Engineering · #Advanced Control Systems Optimization #Control and Stability of Dynamical Systems #FOS: Electrical engineering #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Analysis of biased stochastic gradient descent using sequential semidefinite programs
2020/03/23 by Bin Hu, Peter Seiler, Laurent Lessard · 2 citations
Computer Science · Engineering · #Stochastic Gradient Optimization Techniques #Sparse and Compressive Sensing Techniques #Complexity and Algorithms in Graphs
- Synthesizing neural network controllers with closed-loop dissipativity guarantees
2026/07/24 by Neelay Junnarkar, Murat Arcak, Peter Seiler
Computer Science · Engineering · #Neural Networks and Applications #Adaptive Control of Nonlinear Systems #Control Systems and Identification
- Data-Driven Stability and Performance Analysis of Lurye Systems
2026/07/28 by Sahel Vahedi Noori, Peter Seiler
Computer Science · Engineering · Mathematics · #cs.SY #eess.SY #math.OC