Seiler, Peter
- Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers
2020/06/13 by He Yin, Yin, He, Peter Seiler +3 · 9 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
- 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
- Capabilities of Large Language Models in Control Engineering: A Benchmark Study on GPT-4, Claude 3 Opus, and Gemini 1.0 Ultra
2024/04/04 by Kevian, Darioush, Syed, Usman, Guo, Xingang +5 · 8 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC)
- Imitation Learning with Stability and Safety Guarantees
2020/12/16 by Yin, He, Seiler, Peter, Jin, Ming +1 · 3 citations
#FOS: Electrical engineering #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, Guo, Xingang, Darioush Keivan +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, Venkataraman, Harish, Derya Aksaray +3 · 3 citations
Computer Science · #Formal Methods in Verification #Constraint Satisfaction and Optimization #Evolutionary Algorithms and Applications
- Backward Reachability for Polynomial Systems on A Finite Horizon
2019/07/07 by Yin, He, Arcak, Murat, Packard, Andrew +1 · 2 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- An Introduction to Disk Margins
2020/03/10 by Peter Seiler, Andrew Packard, Seiler, Peter +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
- Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
2021/09/08 by Gu, Fangda, Yin, He, Ghaoui, Laurent El +3 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- On the Necessity and Sufficiency of Discrete-Time O'Shea-Zames-Falb Multipliers
2021/12/14 by Lanlan Su, Su, Lanlan, Peter Seiler +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
- A Unified Analysis of Stochastic Optimization Methods Using Jump System Theory and Quadratic Constraints
2017/06/25 by Hu, Bin, Seiler, Peter, Rantzer, Anders · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (stat.ML) #Optimization and Control (math.OC)
- Reachability Analysis Using Dissipation Inequalities For Uncertain Nonlinear Systems
2018/08/07 by Yin, He, Packard, Andrew, Arcak, Murat +1 · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Estimating Regions of Attraction for Transitional Flows using Quadratic Constraints
2021/03/09 by Kalur, Aniketh, Mushtaq, Talha, Seiler, Peter +1 · 1 citation
#FOS: Physical sciences #Fluid Dynamics (physics.flu-dyn)
- Robustness against Adversarial Attacks in Neural Networks using Incremental Dissipativity
2021/11/25 by Aquino, Bernardo, Rahnama, Arash, Seiler, Peter +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #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, Noori, Sahel Vahedi, Bin Hu +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
- Robust Regret Optimal Control
2023/07/26 by Liu, Jietian, Seiler, Peter · 2 citations
#FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #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, Bhattacharjee, Diganta, Talha Mushtaq +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
- Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
2024/04/10 by Junnarkar, Neelay, Arcak, Murat, Seiler, Peter · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #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, Yaxin Li, Guo, Xingang +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)
- Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
2024/05/08 by Noori, Sahel Vahedi, Hu, Bin, Dullerud, Geir +1 · 2 citations
#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
- Integral Quadratic Constraints with Infinite-Dimensional Channels
2023/09/01 by Talitckii, Aleksandr, Seiler, Peter, Peet, Matthew M. · 1 citation
#Analysis of PDEs (math.AP) #Dynamical Systems (math.DS) #FOS: Mathematics #Optimization and Control (math.OC)
- 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