Geir E. Dullerud
- Uniform stabilization of discrete-time switched and Markovian jump linear systems
2005/11/09 by Ji-Woong Lee, Geir E. Dullerud · 9 citations
Engineering · Computer Science · #Stability and Control of Uncertain Systems #Control and Stability of Dynamical Systems #Matrix Theory and Algorithms
- 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 · 10 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
- Differentially Private Iterative Synchronous Consensus
2012/07/18 by Zhenqi Huang, Huang, Zhenqi, Sayan Mitra +3 · 3 citations
Computer Science · #Cryptography and Data Security #Cryptography and Security (cs.CR) #Distributed #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Parallel #Security in Wireless Sensor Networks #Systems and Control (eess.SY) #and Cluster Computing (cs.DC) #electronic engineering #information engineering
- Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
2020/04/01 by Yu Wang, Wang, Yu, Nima Roohi +7 · 3 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- Stability of discrete-time switching systems with constrained switching sequences
2015/03/24 by Matthew Philippe, Ray Essick, Philippe, Matthew +5 · 1 citation
Engineering · #Advanced Control Systems Optimization #Control Systems and Identification #Dynamical Systems (math.DS) #FOS: Mathematics #Stability and Control of Uncertain Systems
- A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations
2024/07/09 by Sahel Vahedi Noori, Bin Hu, Noori, Sahel Vahedi +5 · 4 citations
Computer Science · Engineering · #Constraint Satisfaction and Optimization #Advanced Manufacturing and Logistics Optimization #Manufacturing Process and Optimization
- Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
2020/04/01 by Yu Wang, Wang, Yu, Hussein Sibai +7 · 1 citation
Engineering · #Cryptography and Security (cs.CR) #Electrostatic Discharge in Electronics #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Radiation Effects in Electronics #Vehicular Ad Hoc Networks (VANETs)
- Convergence of Gradient-based MAML in LQR
2023/09/12 by Negin Musavi, Geir E. Dullerud, Musavi, Negin +1 · 1 citation
Engineering · Physics and Astronomy · #Advanced Control Systems Optimization #Control Systems and Identification #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Model Reduction and Neural Networks #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, Bin Hu, Biertümpfel, Felix +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