Geir E. Dullerud

179 papers A* 4A 2B 3C 27Journal 86Unranked 56

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Integral Quadratic Constraints for Repeated ReLU. CoRR Sahel Vahedi Noori, Bin Hu, Geir E. Dullerud, Peter J. Seiler
2025	J	`jnl`	An Exact, Finite Dimensional Representation for Full-Block, Circle Criterion Multipliers. CoRR Felix Biertümpfel, Bin Hu, Geir E. Dullerud, Peter J. Seiler
2025	J	`jnl`	Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints. CoRR Sahel Vahedi Noori, Bin Hu, Geir E. Dullerud, Peter J. Seiler
2025	J	`jnl`	Enhanced decision framework for two-player zero-sum Markov games with diverse opponent policies. Appl. Intell. Jin Zhu, Xuan Wang, Geir E. Dullerud
2025	J	`jnl`	Event-triggered stabilization of uncertain switched linear systems under finite feedback bit rate. Autom. Jin Zhu, Zhi Xie, Geir E. Dullerud
2025	J	`jnl`	Exp3.P-Based Autonomous Decision Algorithm Against Nonstationary Opponents With Partially Known Policies. IEEE Trans. Games Jin Zhu, Chunhui Du, Jiacheng Chen, Lei Huang, Geir E. Dullerud
2025	C	`conf`	Hybrid Gradient-Based Policy Optimization for Sample-Efficient Policy Learning in Autonomous Systems. ACC Kuan-Yu Tseng, Jeff S. Shamma, Geir E. Dullerud
2025	—	`conf`	Scalable Decomposition for Stability Analysis of Feedback Systems with High-Dimensional Neural Network Components. CDC Zichen Wang, Peter J. Seiler, Geir E. Dullerud, Bin Hu
2025	J	`jnl`	Toward Engineering AGI: Benchmarking the Engineering Design Capabilities of LLMs. CoRR Xingang Guo, Yaxin Li, Xiangyi Kong, Yilan Jiang, Xiayu Zhao, Zhihua Gong, Yufan Zhang, Daixuan Li, Tianle Sang, Beixiao Zhu, Gregory Jun, Yingbing Huang, Yiqi Liu, Yuqi Xue, Rahul Dev Kundu, Qi Jian Lim, Yizhou Zhao, Luke Alexander Granger, Mohamed Badr Younis, Darioush Keivan, Nippun Sabharwal, Shreyanka Sinha, Prakhar Agarwal, Kojo Vandyck, Hanlin Mai, Zichen Wang, Aditya Venkatesh, Ayush Barik, Jiankun Yang, Chongying Yue, Jingjie He, Libin Wang, Licheng Xu, Hao Chen, Jinwen Wang, Liujun Xu, Rushabh Shetty, Ziheng Guo, Dahui Song, Manvi Jha, Weijie Liang, Weiman Yan, Bryan Zhang, Sahil Bhandary Karnoor, Jialiang Zhang, Rutva Pandya, Xinyi Gong, Mithesh Ballae Ganesh, Feize Shi, Ruiling Xu, Yifan Zhang, Yanfeng Ouyang, Lianhui Qin, Elyse Rosenbaum, Corey Snyder, Peter Seiler, Geir E. Dullerud, Xiaojia Shelly Zhang, Zuofu Cheng, Pavan Kumar Hanumolu, Jian Huang, Mayank Kulkarni, Mahdi Namazifar, Huan Zhang, Bin Hu
2024	C	`conf`	A Case Study on the Convergence of Direct Policy Search for Linear Quadratic Gaussian Control. ACC Darioush Keivan, Peter J. Seiler, Geir E. Dullerud, Bin Hu
2024	J	`jnl`	A Complete Set of Quadratic Constraints For Repeated ReLU. CoRR Sahel Vahedi Noori, Bin Hu, Geir E. Dullerud, Peter Seiler
2024	A	`conf`	Adaptive Trajectory Database Learning for Nonlinear Control with Hybrid Gradient Optimization. IROS Kuan-Yu Tseng, Mengchao Zhang, Kris Hauser, Geir E. Dullerud
2024	J	`jnl`	Capabilities of Large Language Models in Control Engineering: A Benchmark Study on GPT-4, Claude 3 Opus, and Gemini 1.0 Ultra. CoRR Darioush Kevian, Usman Syed, Xingang Guo, Aaron J. Havens, Geir E. Dullerud, Peter J. Seiler, Lianhui Qin, Bin Hu
2024	J	`jnl`	ControlAgent: Automating Control System Design via Novel Integration of LLM Agents and Domain Expertise. CoRR Xingang Guo, Darioush Keivan, Usman Syed, Lianhui Qin, Huan Zhang, Geir E. Dullerud, Peter J. Seiler, Bin Hu
2024	C	`conf`	DiProber: Estimating Relays Capacities in Underloaded Anonymous Communication Networks. ACC Hussein Darir, Nikita Borisov, Geir E. Dullerud
2024	A*	`conf`	Identification of Analytic Nonlinear Dynamical Systems with Non-asymptotic Guarantees. NeurIPS Negin Musavi, Ziyao Guo, Geir E. Dullerud, Yingying Li
2024	J	`jnl`	Identification of Analytic Nonlinear Dynamical Systems with Non-asymptotic Guarantees. CoRR Negin Musavi, Ziyao Guo, Geir E. Dullerud, Yingying Li
2024	J	`jnl`	Model-Based Offline Reinforcement Learning With Uncertainty Estimation and Policy Constraint. IEEE Trans. Artif. Intell. Jin Zhu, Chunhui Du, Geir E. Dullerud
2024	J	`jnl`	Model-Free μ-Synthesis: A Nonsmooth Optimization Perspective. CoRR Darioush Keivan, Xingang Guo, Peter J. Seiler, Geir E. Dullerud, Bin Hu
2024	—	`conf`	Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks. CDC Sahel Vahedi Noori, Bin Hu, Geir E. Dullerud, Peter J. Seiler
2024	J	`jnl`	Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks. CoRR Sahel Vahedi Noori, Bin Hu, Geir E. Dullerud, Peter Seiler
2023	A*	`conf`	Complexity of Derivative-Free Policy Optimization for Structured H NeurIPS Xingang Guo, Darioush Keivan, Geir E. Dullerud, Peter J. Seiler, Bin Hu
2023	—	`conf`	Convergence of Gradient-based MAML in LQR. CDC Negin Musavi, Geir E. Dullerud
2023	J	`jnl`	Convergence of Gradient-based MAML in LQR. CoRR Negin Musavi, Geir E. Dullerud
2023	—	`conf`	Finite-time Sample Complexity Analysis of Least Square Identifying Stochastic Switched Linear System. SICE Negin Musavi, Geir E. Dullerud
2023	J	`jnl`	Low Resource-Reallocation Defense Strategies for Repeated Security Games With No Prior Knowledge and Limited Observability. IEEE Trans. Cogn. Dev. Syst. Jin Zhu, Jinglong Zhang, Qiang Ling, Geir E. Dullerud
2023	J	`jnl`	Policy Optimization for Markovian Jump Linear Quadratic Control: Gradient Method and Global Convergence. IEEE Trans. Autom. Control. Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
2023	A*	`conf`	ProbFlow : Using Probabilistic Programming in Anonymous Communication Networks. NDSS Hussein Darir, Geir E. Dullerud, Nikita Borisov
2023	J	`jnl`	Revisiting PGD Attacks for Stability Analysis of High-Dimensional Nonlinear Systems and Perception-Based Control. IEEE Control. Syst. Lett. Aaron J. Havens, Darioush Keivan, Peter J. Seiler, Geir E. Dullerud, Bin Hu
2023	C	`conf`	Statistical Verification of Traffic Systems with Expected Differential Privacy. ACC Mark Yen, Geir E. Dullerud, Yu Wang
2023	J	`jnl`	Statistical Verification of Traffic Systems with Expected Differential Privacy. CoRR Mark Yen, Geir E. Dullerud, Yu Wang
2022	J	`jnl`	Adaptive deep reinforcement learning for non-stationary environments. Sci. China Inf. Sci. Jin Zhu, Yutong Wei, Yu Kang, Xiaofeng Jiang, Geir E. Dullerud
2022	J	`jnl`	Decentralized Control of Switched Systems With Receding Horizon Modal Information and Path-Dependent Performance Specifications: Theory and an Application. IEEE Trans. Control. Syst. Technol. Joao Paulo Jansch-Porto, Geir E. Dullerud
2022	J	`jnl`	DiProber: Using Dual Probing to Estimate Tor Relay Capacities in Underloaded Networks. CoRR Hussein Darir, Nikita Borisov, Geir E. Dullerud
2022	J	`jnl`	Learning Certifiably Robust Controllers Using Fragile Perception. CoRR Dawei Sun, Negin Musavi, Geir E. Dullerud, Sanjay Shakkottai, Sayan Mitra
2022	C	`conf`	Low-Fidelity Gradient Updates for High-Fidelity Reprogrammable Iterative Learning Control. ACC Kuan-Yu Tseng, Jeff S. Shamma, Geir E. Dullerud
2022	J	`jnl`	MLEFlow: Learning from History to Improve Load Balancing in Tor. Proc. Priv. Enhancing Technol. Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
2022	C	`conf`	Model-Free μ Synthesis via Adversarial Reinforcement Learning. ACC Darioush Keivan, Aaron J. Havens, Peter Seiler, Geir E. Dullerud, Bin Hu
2022	J	`jnl`	Revisiting PGD Attacks for Stability Analysis of Large-Scale Nonlinear Systems and Perception-Based Control. CoRR Aaron J. Havens, Darioush Keivan, Peter Seiler, Geir E. Dullerud, Bin Hu
2022	J	`jnl`	Stabilization and Optimization of Discrete-Time Markovian Jump Linear Systems via Mode Feedback Control. IEEE Trans. Autom. Control. Jin Zhu, Kai Xia, Qiang Ling, Wei Chen, Geir E. Dullerud
2021	J	`jnl`	$\mathcal {L}_2$-Gain Analysis of Periodic Event-Triggered Control and Self-Triggered Control Using Lifting. IEEE Trans. Autom. Control. Nard Strijbosch, Geir E. Dullerud, Andrew R. Teel, W. P. M. H. Heemels
2021	J	`jnl`	Asynchronous quadratic control for constrained hidden markov jump linear systems with incomplete MTPM and MOCPM. IMA J. Math. Control. Inf. Jin Zhu, Kai Xia, Geir E. Dullerud
2021	—	`conf`	HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization. CCTA Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
2021	J	`jnl`	Model-Free $μ$ Synthesis via Adversarial Reinforcement Learning. CoRR Darioush Keivan, Aaron J. Havens, Peter Seiler, Geir E. Dullerud, Bin Hu
2021	J	`jnl`	Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. ACM Trans. Embed. Comput. Syst. Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020	C	`conf`	Convergence Guarantees of Policy Optimization Methods for Markovian Jump Linear Systems. ACC Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
2020	J	`jnl`	Convergence Guarantees of Policy Optimization Methods for Markovian Jump Linear Systems. CoRR Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
2020	A*	`conf`	CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. ICRA Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
2020	J	`jnl`	Differential Privacy for Sequential Algorithms. CoRR Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud
2020	J	`jnl`	Graph Lyapunov function for switching stabilization and distributed computation. Autom. Donghwan Lee, Geir E. Dullerud, Jianghai Hu
2020	—	`conf`	Policy Learning of MDPs with Mixed Continuous/Discrete Variables: A Case Study on Model-Free Control of Markovian Jump Systems. L4DC Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
2020	J	`jnl`	Policy Learning of MDPs with Mixed Continuous/Discrete Variables: A Case Study on Model-Free Control of Markovian Jump Systems. CoRR Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
2020	J	`jnl`	Policy Optimization for Markovian Jump Linear Quadratic Control: Gradient-Based Methods and Global Convergence. CoRR Joao Paulo Jansch-Porto, Bin Hu, Geir E. Dullerud
2020	—	`conf`	STMC: Statistical Model Checker with Stratified and Antithetic Sampling. CAV (2) Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
2020	—	`conf`	Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CDC Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020	J	`jnl`	Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CoRR Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2020	J	`jnl`	Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. CoRR Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2019	J	`jnl`	CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination. CoRR Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
2019	J	`jnl`	Optimistic Optimization for Statistical Model Checking with Regret Bounds. CoRR Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
2019	J	`jnl`	Statistical verification of PCTL using antithetic and stratified samples. Formal Methods Syst. Des. Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2018	C	`conf`	Application of a Message-Passing Decomposition of Sparsely-Coupled Linear Programming Problems to the Uniform Stabilization of Positive Switched Linear Systems. ACC Ray Essick, Geir E. Dullerud
2018	C	`conf`	Decentralized Control of Switched-Systems with Path-Dependent 𝓁 ACC Joao P. Jansch-Porto, Geir E. Dullerud
2018	—	`conf`	Statistical Verification of PCTL Using Stratified Samples. ADHS Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2018	—	`conf`	TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. WPES@CCS Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
2018	J	`jnl`	l SIAM J. Control. Optim. Mohammad Naghnaeian, Petros G. Voulgaris, Geir E. Dullerud
2017	C	`conf`	Decentralized control with moving-horizon linear switched systems: Synthesis and testbed implementation. ACC Joao P. Jansch-Porto, Geir E. Dullerud
2017	J	`jnl`	Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. IEEE Trans. Control. Netw. Syst. Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2017	—	`conf`	L2-gain analysis of periodic event-triggered systems with varying delays using lifting techniques. CDC N. W. A. Strijbosch, Geir E. Dullerud, Andrew R. Teel, W. P. Maurice H. Heemels
2017	—	`conf`	Modeling and maximizing power in wind turbine arrays. CCTA Lucas Buccafusca, Carolyn L. Beck, Geir E. Dullerud
2017	J	`jnl`	Stability Analysis of Switched Linear Systems Defined by Regular Languages. IEEE Trans. Autom. Control. Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
2017	—	`conf`	Statistical Verification of the Toyota Powertrain Control Verification Benchmark. HSCC Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
2016	C	`conf`	A unified framework for lp analysis and synthesis of Linear Switched Systems. ACC Mohammad Naghnaeian, Petros G. Voulgaris, Geir E. Dullerud
2016	—	`conf`	Controller synthesis for linear dynamical systems with adversaries. HotSoS Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
2016	—	`conf`	Differential privacy in control and network systems. CDC Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas
2016	—	`conf`	Differentially private objective functions in distributed cloud-based optimization. CDC Yu Wang, Matthew T. Hale, Magnus Egerstedt, Geir E. Dullerud
2016	—	`conf`	Extremal storage functions and minimal realizations of discrete-time linear switching systems. CDC Matthew Philippe, Ray Essick, Geir E. Dullerud, Raphaël M. Jungers
2016	J	`jnl`	Stability of discrete-time switching systems with constrained switching sequences. Autom. Matthew Philippe, Ray Essick, Geir E. Dullerud, Raphaël M. Jungers
2016	C	`conf`	Variance-reduced model predictive control of Markov jump processes. ACC Peter A. Maginnis, Matthew West, Geir E. Dullerud
2016	J	`jnl`	Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks. J. Comput. Phys. Peter A. Maginnis, Matthew West, Geir E. Dullerud
2016	—	`conf`	Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. CDC Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2015	—	`conf`	A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. ADHS Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2015	J	`jnl`	A decidable class of planar linear hybrid systems. Theor. Comput. Sci. Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2015	—	`conf`	A lifting approach to ℒ2-gain analysis of periodic event-triggered and switching sampled-data control systems. CDC W. P. M. H. Heemels, Geir E. Dullerud, Andrew R. Teel
2015	J	`jnl`	Controller Synthesis for Linear Time-varying Systems with Adversaries. CoRR Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
2015	J	`jnl`	Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. CoRR Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
2015	—	`conf`	Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
2015	J	`jnl`	Decentralized Control of Linear Switched Nested Systems With ℓ IEEE Trans. Control. Netw. Syst. Anshuman Mishra, Cédric Langbort, Geir E. Dullerud
2015	C	`conf`	Minimum achievable decay rates of the discrete linear inclusion. ACC Ray Essick, Geir E. Dullerud
2015	C	`conf`	On the real-time receding horizon control in harbor defense. ACC Seungho Lee, Geir E. Dullerud, Elijah Polak
2015	J	`jnl`	Stability Preserving Simulations and Bisimulations for Hybrid Systems. IEEE Trans. Autom. Control. Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
2015	—	`conf`	Statistical verification of dynamical systems using set oriented methods. HSCC Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
2015	J	`jnl`	Team Optimal Control of Stochastically Switched Systems With Local Parameter Knowledge. IEEE Trans. Autom. Control. Anshuman Mishra, Cedric Langbort, Geir E. Dullerud
2015	—	`conf`	The minimum achievable stability radius of switched linear systems with feedback. CDC Ray Essick, Matthew Philippe, Geir E. Dullerud, Raphaël M. Jungers
2015	J	`jnl`	Time Series Analysis for Congestion Detection in TCP/AQM Networks. IEEE Commun. Lett. Lin Yang, Jin Zhu, Wanqing Xie, Geir E. Dullerud
2014	J	`jnl`	Control of Linear Switched Systems With Receding Horizon Modal Information. IEEE Trans. Autom. Control. Ray Essick, Ji-Woong Lee, Geir E. Dullerud
2014	C	`conf`	Decentralized control of linear time-varying nested systems with ℌ∞-type performance. ACC Anshuman Mishra, Cedric Langbort, Geir E. Dullerud
2014	—	`conf`	Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. CDC Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2014	—	`conf`	Exact simulation of continuous time Markov jump processes with anticorrelated variance reduced Monte Carlo estimation. CDC Peter A. Maginnis, Matthew West, Geir E. Dullerud
2014	—	`conf`	On the cost of differential privacy in distributed control systems. HiCoNS Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
2014	C	`conf`	Path-by-path output regulation of switched systems with a receding horizon of modal knowledge. ACC Ray Essick, Ji-Woong Lee, Geir E. Dullerud
2014	—	`conf`	Stability of linear autonomous systems under regular switching sequences. CDC Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
2013	—	`conf`	Anticorrelated discrete-time stochastic simulation. CDC Peter A. Maginnis, Matthew West, Geir E. Dullerud
2013	C	`conf`	Control of spatially distributed nonstationary systems over arbitrary graph structures with communication latency. ACC Mazen Farhood, Geir E. Dullerud
2013	—	`conf`	Optimal decentralized control of a stochastically switched system with local parameter knowledge. ECC Anshuman Mishra, Cedric Langbort, Geir E. Dullerud
2012	—	`conf`	A team theoretic approach to decentralized control of systems with stochastic parameters. CDC Anshuman Mishra, Cédric Langbort, Geir E. Dullerud
2012	C	`conf`	An exact convex solution to receding horizon control. ACC Ray Essick, Ji-Woong Lee, Geir E. Dullerud
2012	—	`conf`	Application of variance reduction techniques for tau-leaping systems to particle filters. CDC Peter A. Maginnis, Matthew West, Geir E. Dullerud
2012	J	`jnl`	Differentially Private Iterative Synchronous Consensus CoRR Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2012	—	`conf`	Differentially private iterative synchronous consensus. WPES Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2012	—	`conf`	Pre-orders for reasoning about stability. HSCC Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
2012	J	`jnl`	Verification of Bounded Discrete Horizon Hybrid Automata. IEEE Trans. Autom. Control. Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2011	—	`conf`	Joint synthesis of switching and feedback for linear systems in discrete time. HSCC Ji-Woong Lee, Geir E. Dullerud
2011	—	`conf`	On an operator-pencil approach to distributed control of heterogeneous systems. CDC/ECC Anshuman Mishra, Geir E. Dullerud
2011	J	`jnl`	Specifications for decidable hybrid games. Theor. Comput. Sci. Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2011	J	`jnl`	Supervisory Control and Measurement Scheduling for Discrete-Time Linear Systems. IEEE Trans. Autom. Control. Ji-Woong Lee, Geir E. Dullerud
2009	—	`conf`	STORMED Hybrid Games. HSCC Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2009	C	`conf`	Stabilization of Markovian jump linear systems with limited information - A convex approach. ACC Chun Zhang, Kan Chen, Geir E. Dullerud
2009	—	`conf`	Uniform stabilization of Markovian jump linear systems with logarithmic quantization - A convex approach. CDC Chun Zhang, Geir E. Dullerud
2009	A	`conf`	Verifying Tolerant Systems Using Polynomial Approximations. RTSS Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2008	—	`conf`	A Decidable Class of Planar Linear Hybrid Systems. HSCC Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
2008	—	`conf`	Analysis of sampled-data interconnected systems. CDC Chun Zhang, Geir E. Dullerud
2008	J	`jnl`	Control of Systems With Uncertain Initial Conditions. IEEE Trans. Autom. Control. Mazen Farhood, Geir E. Dullerud
2008	J	`jnl`	Control of nonstationary LPV systems. Autom. Mazen Farhood, Geir E. Dullerud
2008	J	`jnl`	Dynamic sequential team multi-hypothesis testing under uniformly distributed nonstationary observations. Syst. Control. Lett. Ji-Woong Lee, Geir E. Dullerud
2008	—	`conf`	Path-by-path optimal control of switched and Markovian jump linear systems. CDC Ji-Woong Lee, Geir E. Dullerud, Pramod P. Khargonekar
2008	—	`conf`	STORMED Hybrid Systems. ICALP (2) Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
2007	J	`jnl`	A stability and contractiveness analysis of discrete-time Markovian jump linear systems. Autom. Ji-Woong Lee, Geir E. Dullerud
2007	—	`conf`	An output regulation problem for switched linear systems in discrete time. CDC Ji-Woong Lee, Geir E. Dullerud, Pramod P. Khargonekar
2007	C	`conf`	Decentralized Control with Communication Bandwidth Constraints. ACC Chun Zhang, Geir E. Dullerud
2007	J	`jnl`	Distributed Fair Resource Allocation in Cellular Networks in the Presence of Heterogeneous Delays. IEEE Trans. Autom. Control. Lei Ying, R. Srikant, Atilla Eryilmaz, Geir E. Dullerud
2007	J	`jnl`	Distributed Symmetric Function Computation in Noisy Wireless Sensor Networks. IEEE Trans. Inf. Theory Lei Ying, R. Srikant, Geir E. Dullerud
2007	—	`conf`	Finite gain stabilization with logarithmic quantization. CDC Chun Zhang, Geir E. Dullerud
2007	J	`jnl`	Model Reduction of Nonstationary LPV Systems. IEEE Trans. Autom. Control. Mazen Farhood, Geir E. Dullerud
2007	J	`jnl`	Uniformly Stabilizing Sets of Switching Sequences for Switched Linear Systems. IEEE Trans. Autom. Control. Ji-Woong Lee, Geir E. Dullerud
2006	J	`jnl`	A Large Deviations Analysis of Scheduling in Wireless Networks. IEEE Trans. Inf. Theory Lei Ying, R. Srikant, Atilla Eryilmaz, Geir E. Dullerud
2006	—	`conf`	Control of distributed systems over graphs. CDC Zhe Di, Mazen Farhood, Geir E. Dullerud
2006	B	`conf`	Distributed symmetric function computation in noisy wireless sensor networks with binary data. WiOpt Lei Ying, R. Srikant, Geir E. Dullerud
2006	J	`jnl`	Global stability of internet congestion controllers with heterogeneous delays. IEEE/ACM Trans. Netw. Lei Ying, Geir E. Dullerud, Rayadurgam Srikant
2006	B	`conf`	Multi-User Scheduling in Wireless Networks with QoS Constraints. ISIT Lei Ying, R. Srikant, Geir E. Dullerud
2006	J	`jnl`	On the balanced truncation of LTV systems. IEEE Trans. Autom. Control. Mazen Farhood, Geir E. Dullerud
2006	J	`jnl`	Optimal Disturbance Attenuation for Discrete-Time Switched and Markovian Jump Linear Systems. SIAM J. Control. Optim. Ji-Woong Lee, Geir E. Dullerud
2006	J	`jnl`	Stabilization of Spacecraft Flight in Halo Orbits: An H IEEE Trans. Control. Syst. Technol. Jayant Kulkarni, Mark E. Campbell, Geir E. Dullerud
2006	J	`jnl`	Uniform stabilization of discrete-time switched and Markovian jump linear systems. Autom. Ji-Woong Lee, Geir E. Dullerud
2005	—	`conf`	A Large Deviations Analysis of Scheduling in Wireless Networks. CDC/ECC Lei Ying, R. Srikant, Geir E. Dullerud
2005	—	`conf`	Control, Estimation, and Optimization of Interconnected Systems: From Theory to Industrial Applications. CDC/ECC Mihailo R. Jovanovic, Cédric Langbort, Bassam Bamieh, Raffaelo D'Andrea, Geir E. Dullerud, Dimitry Gorinevsky, Sanjay Lall, Fernando Paganini, Gregory E. Stewart
2005	B	`conf`	Distributed Fair Resource Allocation in Cellular Networks in the Presence of Heterogeneous Delays. WiOpt Lei Ying, R. Srikant, Atilla Eryilmaz, Geir E. Dullerud
2005	J	`jnl`	Model reduction of periodic systems: a lifting approach. Autom. Mazen Farhood, Carolyn L. Beck, Geir E. Dullerud
2005	—	`conf`	Uniform Disturbance Attenuation for Markovian Jump Linear Systems in Discrete Time. CDC/ECC Ji-Woong Lee, Geir E. Dullerud
2005	—	`ch.`	Wireless Control with Bluetooth. Handbook of Networked and Embedded Control Systems Vladimeros Vladimerou, Geir E. Dullerud
2004	—	`conf`	A dynamic decentralized sequential multi-hypothesis testing problem under uniformly distributed nonstationary observations. CDC Ji-Woong Lee, Geir E. Dullerud
2004	C	`conf`	A hovercraft testbed for decentralized and cooperative control. ACC Vladimeros Vladimerou, Andrew Stubbs, Joel Rubel, Adam Fulford, Jeffrey Strick, Geir E. Dullerud
2004	J	`jnl`	Distributed control of heterogeneous systems. IEEE Trans. Autom. Control. Geir E. Dullerud, Raffaello D'Andrea
2004	C	`conf`	Global stability of Internet congestion controllers with heterogeneous delays. ACC Lei Ying, Geir E. Dullerud, Rayadurgam Srikant
2004	C	`conf`	On the ℓ ACC Mazen Farhood, Geir E. Dullerud
2003	—	`conf`	Analysis of mode-dependent statistics of Markovian jump linear systems. CDC Ji-Woong Lee, Geir E. Dullerud
2003	J	`jnl`	Distributed control design for spatially interconnected systems. IEEE Trans. Autom. Control. Raffaello D'Andrea, Geir E. Dullerud
2003	—	`conf`	Model reduction of stabilizable nonstationary LPV models. CDC Mazen Farhood, Carolyn L. Beck, Geir E. Dullerud
2003	C	`conf`	On the model reduction of nonstationary LPV systems. ACC Mazen Farhood, Carolyn L. Beck, Geir E. Dullerud
2002	J	`jnl`	A nonlinear functional approach to LFT model validation. Syst. Control. Lett. Geir E. Dullerud, Roy S. Smith
2002	C	`conf`	Development of a vehicle network control testbed. ACC Andrew Stubbs, Vladimeros Vladimerou, Andy Vaughn, Geir E. Dullerud
2002	—	`conf`	Distributed control of network vehicles. CDC Andrew Stubbs, Vladimeros Vladimerou, Joel Rubel, Geir E. Dullerud
2002	C	`conf`	LMI tools for eventually periodic systems. ACC Mazen Farhood, Geir E. Dullerud
2002	J	`jnl`	LMI tools for eventually periodic systems. Syst. Control. Lett. Mazen Farhood, Geir E. Dullerud
2002	—	`conf`	Model reduction of nonstationary LPV systems. CDC Mazen Farhood, Carolyn L. Beck, Geir E. Dullerud
2002	J	`jnl`	Robust Controller Synthesis for Uncertain Time-Varying Systems. SIAM J. Control. Optim. Carol Pirie, Geir E. Dullerud
2001	J	`jnl`	An LMI solution to the robust synthesis problem for multi-rate sampled-data systems. Autom. Sanjay Lall, Geir E. Dullerud
2001	J	`jnl`	Computing quasi-LTI robustness margins in sampled-data systems. IEEE Trans. Autom. Control. Sean E. Bourdon, Geir E. Dullerud
2001	—	`conf`	Control of nonstationary LPV systems. CDC Mazen Farhood, Geir E. Dullerud
2001	—	`conf`	Networked control of distributed systems. CDC Andrew Stubbs, Geir E. Dullerud
2001	J	`jnl`	Uniform Robust Performance Against Quasi-LTI Uncertainty in Sampled-Data Systems. SIAM J. Control. Optim. Sean E. Bourdon, Geir E. Dullerud
2000	—	`conf`	Model validation for nonlinear feedback systems. CDC Roy S. Smith, Geir E. Dullerud, Scott A. Miller
2000	C	`conf`	Robust synthesis for uncertain time-varying systems. ACC Carol Pirie, Geir E. Dullerud
1999	J	`jnl`	A new approach for analysis and synthesis of time-varying systems. IEEE Trans. Autom. Control. Geir E. Dullerud, Sanjay Lall
1998	—	`conf`	Modeling and validation of nonlinear feedback systems. Robustness in Identification and Control Roy S. Smith, Geir E. Dullerud
1996	J	`jnl`	A continuous-time extension condition. IEEE Trans. Autom. Control. Geir E. Dullerud, Roy S. Smith
1996	J	`jnl`	Continuous-time control model validation using finite experimental data. IEEE Trans. Autom. Control. Roy S. Smith, Geir E. Dullerud
1996	J	`jnl`	Robust performance of periodic systems. IEEE Trans. Autom. Control. Geir E. Dullerud, Keith Glover
1995	J	`jnl`	Analysis of structured LTI uncertainty in sampled-data systems. Autom. Geir E. Dullerud, Keith Glover
1993	J	`jnl`	Robust stabilization of sampled-data systems to structured LTI perturbations. IEEE Trans. Autom. Control. Geir E. Dullerud, Keith Glover