Geir E. Dullerud

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 63

Top Venues

CoRR

CDC

ACC

IEEE Trans. Autom. Control.

Publications

Sahel Vahedi Noori, Bin Hu, Geir E. Dullerud, Peter Seiler
A Complete Set of Quadratic Constraints For Repeated ReLU. CoRR (2024)
Sahel Vahedi Noori, Bin Hu, Geir E. Dullerud, Peter Seiler
Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks. CoRR (2024)
Darioush Kevian, Usman Syed, Xingang Guo, Aaron J. Havens, Geir E. Dullerud, Peter J. Seiler, Lianhui Qin, Bin Hu
Capabilities of Large Language Models in Control Engineering: A Benchmark Study on GPT-4, Claude 3 Opus, and Gemini 1.0 Ultra. CoRR (2024)
Darioush Keivan, Xingang Guo, Peter J. Seiler, Geir E. Dullerud, Bin Hu
Model-Free μ-Synthesis: A Nonsmooth Optimization Perspective. CoRR (2024)
Negin Musavi, Geir E. Dullerud
Convergence of Gradient-based MAML in LQR. CoRR (2023)
Jin Zhu, Jinglong Zhang, Qiang Ling, Geir E. Dullerud
Low Resource-Reallocation Defense Strategies for Repeated Security Games With No Prior Knowledge and Limited Observability. IEEE Trans. Cogn. Dev. Syst. 15 (4) (2023)
Mark Yen, Geir E. Dullerud, Yu Wang
Statistical Verification of Traffic Systems with Expected Differential Privacy. CoRR (2023)
Negin Musavi, Geir E. Dullerud
Finite-time Sample Complexity Analysis of Least Square Identifying Stochastic Switched Linear System. SICE (2023)
Negin Musavi, Geir E. Dullerud
Convergence of Gradient-based MAML in LQR. CDC (2023)
Xingang Guo, Darioush Keivan, Geir E. Dullerud, Peter J. Seiler, Bin Hu
Control. NeurIPS (2023)
Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
Policy Optimization for Markovian Jump Linear Quadratic Control: Gradient Method and Global Convergence. IEEE Trans. Autom. Control. 68 (4) (2023)
Aaron Havens, Darioush Keivan, Peter J. Seiler, Geir E. Dullerud, Bin Hu
Revisiting PGD Attacks for Stability Analysis of High-Dimensional Nonlinear Systems and Perception-Based Control. IEEE Control. Syst. Lett. 7 (2023)
Mark Yen, Geir E. Dullerud, Yu Wang
Statistical Verification of Traffic Systems with Expected Differential Privacy. ACC (2023)
Hussein Darir, Geir E. Dullerud, Nikita Borisov
ProbFlow : Using Probabilistic Programming in Anonymous Communication Networks. NDSS (2023)
Jin Zhu, Kai Xia, Qiang Ling, Wei Chen, Geir E. Dullerud
Stabilization and Optimization of Discrete-Time Markovian Jump Linear Systems via Mode Feedback Control. IEEE Trans. Autom. Control. 67 (12) (2022)
Aaron Havens, Darioush Keivan, Peter Seiler, Geir E. Dullerud, Bin Hu
Revisiting PGD Attacks for Stability Analysis of Large-Scale Nonlinear Systems and Perception-Based Control. CoRR (2022)
Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
MLEFlow: Learning from History to Improve Load Balancing in Tor. Proc. Priv. Enhancing Technol. 2022 (1) (2022)
Darioush Keivan, Aaron Havens, Peter Seiler, Geir E. Dullerud, Bin Hu
Model-Free μ Synthesis via Adversarial Reinforcement Learning. ACC (2022)
Hussein Darir, Nikita Borisov, Geir E. Dullerud
DiProber: Using Dual Probing to Estimate Tor Relay Capacities in Underloaded Networks. CoRR (2022)
Joao Paulo Jansch-Porto, Geir E. Dullerud
Decentralized Control of Switched Systems With Receding Horizon Modal Information and Path-Dependent Performance Specifications: Theory and an Application. IEEE Trans. Control. Syst. Technol. 30 (2) (2022)
Dawei Sun, Negin Musavi, Geir E. Dullerud, Sanjay Shakkottai, Sayan Mitra
Learning Certifiably Robust Controllers Using Fragile Perception. CoRR (2022)
Kuan-Yu Tseng, Jeff S. Shamma, Geir E. Dullerud
Low-Fidelity Gradient Updates for High-Fidelity Reprogrammable Iterative Learning Control. ACC (2022)
Jin Zhu, Yutong Wei, Yu Kang, Xiaofeng Jiang, Geir E. Dullerud
Adaptive deep reinforcement learning for non-stationary environments. Sci. China Inf. Sci. 65 (10) (2022)
Darioush Keivan, Aaron Havens, Peter Seiler, Geir E. Dullerud, Bin Hu
Model-Free $μ$ Synthesis via Adversarial Reinforcement Learning. CoRR (2021)
Jin Zhu, Kai Xia, Geir E. Dullerud
Asynchronous quadratic control for constrained hidden markov jump linear systems with incomplete MTPM and MOCPM. IMA J. Math. Control. Inf. 38 (2) (2021)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. ACM Trans. Embed. Comput. Syst. 20 (6) (2021)
Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization. CCTA (2021)
Nard Strijbosch, Geir E. Dullerud, Andrew R. Teel, W. P. M. H. Heemels
$\mathcal {L}_2$-Gain Analysis of Periodic Event-Triggered Control and Self-Triggered Control Using Lifting. IEEE Trans. Autom. Control. 66 (8) (2021)
Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
Policy Learning of MDPs with Mixed Continuous/Discrete Variables: A Case Study on Model-Free Control of Markovian Jump Systems. CoRR (2020)
Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
Convergence Guarantees of Policy Optimization Methods for Markovian Jump Linear Systems. ACC (2020)
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. ICRA (2020)
Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
Policy Optimization for Markovian Jump Linear Quadratic Control: Gradient-Based Methods and Global Convergence. CoRR (2020)
Donghwan Lee, Geir E. Dullerud, Jianghai Hu
Graph Lyapunov function for switching stabilization and distributed computation. Autom. 116 (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. CoRR (2020)
Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
Policy Learning of MDPs with Mixed Continuous/Discrete Variables: A Case Study on Model-Free Control of Markovian Jump Systems. L4DC (2020)
Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud
Differential Privacy for Sequential Algorithms. CoRR (2020)
Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
Convergence Guarantees of Policy Optimization Methods for Markovian Jump Linear Systems. CoRR (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CoRR (2020)
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
STMC: Statistical Model Checker with Stratified and Antithetic Sampling. CAV (2) (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CDC (2020)
Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
Optimistic Optimization for Statistical Model Checking with Regret Bounds. CoRR (2019)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical verification of PCTL using antithetic and stratified samples. Formal Methods Syst. Des. 54 (2) (2019)
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination. CoRR (2019)
Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. WPES@CCS (2018)
Mohammad Naghnaeian, Petros G. Voulgaris, Geir E. Dullerud
Analysis and Synthesis of Linear Switched Systems: A Unified Input-Output and State-Space Approach. SIAM J. Control. Optim. 56 (2) (2018)
Joao P. Jansch-Porto, Geir E. Dullerud
-induced Bounds. ACC (2018)
Ray Essick, Geir E. Dullerud
Application of a Message-Passing Decomposition of Sparsely-Coupled Linear Programming Problems to the Uniform Stabilization of Positive Switched Linear Systems. ACC (2018)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical Verification of PCTL Using Stratified Samples. ADHS (2018)
N. W. A. Strijbosch, Geir E. Dullerud, Andrew R. Teel, W. P. Maurice H. Heemels
L2-gain analysis of periodic event-triggered systems with varying delays using lifting techniques. CDC (2017)
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
Statistical Verification of the Toyota Powertrain Control Verification Benchmark. HSCC (2017)
Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. IEEE Trans. Control. Netw. Syst. 4 (1) (2017)
Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
Stability Analysis of Switched Linear Systems Defined by Regular Languages. IEEE Trans. Autom. Control. 62 (5) (2017)
Lucas Buccafusca, Carolyn L. Beck, Geir E. Dullerud
Modeling and maximizing power in wind turbine arrays. CCTA (2017)
Joao P. Jansch-Porto, Geir E. Dullerud
Decentralized control with moving-horizon linear switched systems: Synthesis and testbed implementation. ACC (2017)
Yu Wang, Matthew T. Hale, Magnus Egerstedt, Geir E. Dullerud
Differentially private objective functions in distributed cloud-based optimization. CDC (2016)
Matthew Philippe, Ray Essick, Geir E. Dullerud, Raphaël M. Jungers
Stability of discrete-time switching systems with constrained switching sequences. Autom. 72 (2016)
Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas
Differential privacy in control and network systems. CDC (2016)
Mohammad Naghnaeian, Petros G. Voulgaris, Geir E. Dullerud
A unified framework for lp analysis and synthesis of Linear Switched Systems. ACC (2016)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
Controller synthesis for linear dynamical systems with adversaries. HotSoS (2016)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Variance-reduced model predictive control of Markov jump processes. ACC (2016)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. CDC (2016)
Matthew Philippe, Ray Essick, Geir E. Dullerud, Raphaël M. Jungers
Extremal storage functions and minimal realizations of discrete-time linear switching systems. CDC (2016)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks. J. Comput. Phys. 322 (2016)
Anshuman Mishra, Cédric Langbort, Geir E. Dullerud
-Induced Norm Performance. IEEE Trans. Control. Netw. Syst. 2 (4) (2015)
Ray Essick, Geir E. Dullerud
Minimum achievable decay rates of the discrete linear inclusion. ACC (2015)
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
A decidable class of planar linear hybrid systems. Theor. Comput. Sci. 574 (2015)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC (2015)
Seungho Lee, Geir E. Dullerud, Elijah Polak
On the real-time receding horizon control in harbor defense. ACC (2015)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical verification of dynamical systems using set oriented methods. HSCC (2015)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. CoRR (2015)
W. P. M. H. Heemels, Geir E. Dullerud, Andrew R. Teel
A lifting approach to ℒ2-gain analysis of periodic event-triggered and switching sampled-data control systems. CDC (2015)
Lin Yang, Jin Zhu, Wanqing Xie, Geir E. Dullerud
Time Series Analysis for Congestion Detection in TCP/AQM Networks. IEEE Commun. Lett. 19 (3) (2015)
Ray Essick, Matthew Philippe, Geir E. Dullerud, Raphaël M. Jungers
The minimum achievable stability radius of switched linear systems with feedback. CDC (2015)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
Controller Synthesis for Linear Time-varying Systems with Adversaries. CoRR (2015)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. ADHS (2015)
Anshuman Mishra, Cedric Langbort, Geir E. Dullerud
Team Optimal Control of Stochastically Switched Systems With Local Parameter Knowledge. IEEE Trans. Autom. Control. 60 (8) (2015)
Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
Stability Preserving Simulations and Bisimulations for Hybrid Systems. IEEE Trans. Autom. Control. 60 (12) (2015)
Ray Essick, Ji-Woong Lee, Geir E. Dullerud
Control of Linear Switched Systems With Receding Horizon Modal Information. IEEE Trans. Autom. Control. 59 (9) (2014)
Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
Stability of linear autonomous systems under regular switching sequences. CDC (2014)
Ray Essick, Ji-Woong Lee, Geir E. Dullerud
Path-by-path output regulation of switched systems with a receding horizon of modal knowledge. ACC (2014)
Anshuman Mishra, Cedric Langbort, Geir E. Dullerud
Decentralized control of linear time-varying nested systems with ℌ∞-type performance. ACC (2014)
Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. CDC (2014)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Exact simulation of continuous time Markov jump processes with anticorrelated variance reduced Monte Carlo estimation. CDC (2014)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
On the cost of differential privacy in distributed control systems. HiCoNS (2014)
Mazen Farhood, Geir E. Dullerud
Control of spatially distributed nonstationary systems over arbitrary graph structures with communication latency. ACC (2013)
Anshuman Mishra, Cedric Langbort, Geir E. Dullerud
Optimal decentralized control of a stochastically switched system with local parameter knowledge. ECC (2013)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Anticorrelated discrete-time stochastic simulation. CDC (2013)
Anshuman Mishra, Cédric Langbort, Geir E. Dullerud
A team theoretic approach to decentralized control of systems with stochastic parameters. CDC (2012)
Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Differentially Private Iterative Synchronous Consensus CoRR (2012)
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
Verification of Bounded Discrete Horizon Hybrid Automata. IEEE Trans. Autom. Control. 57 (6) (2012)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Application of variance reduction techniques for tau-leaping systems to particle filters. CDC (2012)
Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Differentially private iterative synchronous consensus. WPES (2012)
Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
Pre-orders for reasoning about stability. HSCC (2012)
Ray Essick, Ji-Woong Lee, Geir E. Dullerud
An exact convex solution to receding horizon control. ACC (2012)
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
Specifications for decidable hybrid games. Theor. Comput. Sci. 412 (48) (2011)
Ji-Woong Lee, Geir E. Dullerud
Supervisory Control and Measurement Scheduling for Discrete-Time Linear Systems. IEEE Trans. Autom. Control. 56 (4) (2011)
Ji-Woong Lee, Geir E. Dullerud
Joint synthesis of switching and feedback for linear systems in discrete time. HSCC (2011)
Anshuman Mishra, Geir E. Dullerud
On an operator-pencil approach to distributed control of heterogeneous systems. CDC/ECC (2011)
Chun Zhang, Kan Chen, Geir E. Dullerud
Stabilization of Markovian jump linear systems with limited information - A convex approach. ACC (2009)
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
Verifying Tolerant Systems Using Polynomial Approximations. RTSS (2009)

Geir E. Dullerud.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Geir E. Dullerud