Geir E. Dullerud

Orcid: 0000-0003-0596-6050

Affiliations:
  • University of Illinois at Urbana-Champaign, IL, USA


According to our database1, Geir E. Dullerud authored at least 143 papers between 1993 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

IEEE Fellow

IEEE Fellow 2008, "For contributions to sampled-data systems and robust control".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Model-Free μ-Synthesis: A Nonsmooth Optimization Perspective.
CoRR, 2024

2023
Low Resource-Reallocation Defense Strategies for Repeated Security Games With No Prior Knowledge and Limited Observability.
IEEE Trans. Cogn. Dev. Syst., December, 2023

Policy Optimization for Markovian Jump Linear Quadratic Control: Gradient Method and Global Convergence.
IEEE Trans. Autom. Control., 2023

Revisiting PGD Attacks for Stability Analysis of High-Dimensional Nonlinear Systems and Perception-Based Control.
IEEE Control. Syst. Lett., 2023

Finite-time Sample Complexity Analysis of Least Square Identifying Stochastic Switched Linear System.
Proceedings of the 62nd Annual Conference of the Society of Instrument and Control Engineers, 2023

Complexity of Derivative-Free Policy Optimization for Structured H<sub>∞</sub> Control.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

ProbFlow : Using Probabilistic Programming in Anonymous Communication Networks.
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Convergence of Gradient-based MAML in LQR.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Statistical Verification of Traffic Systems with Expected Differential Privacy.
Proceedings of the American Control Conference, 2023

2022
Decentralized Control of Switched Systems With Receding Horizon Modal Information and Path-Dependent Performance Specifications: Theory and an Application.
IEEE Trans. Control. Syst. Technol., 2022

Stabilization and Optimization of Discrete-Time Markovian Jump Linear Systems via Mode Feedback Control.
IEEE Trans. Autom. Control., 2022

MLEFlow: Learning from History to Improve Load Balancing in Tor.
Proc. Priv. Enhancing Technol., 2022

DiProber: Using Dual Probing to Estimate Tor Relay Capacities in Underloaded Networks.
CoRR, 2022

Learning Certifiably Robust Controllers Using Fragile Perception.
CoRR, 2022

Revisiting PGD Attacks for Stability Analysis of Large-Scale Nonlinear Systems and Perception-Based Control.
CoRR, 2022

Adaptive deep reinforcement learning for non-stationary environments.
Sci. China Inf. Sci., 2022

Low-Fidelity Gradient Updates for High-Fidelity Reprogrammable Iterative Learning Control.
Proceedings of the American Control Conference, 2022

Model-Free μ Synthesis via Adversarial Reinforcement Learning.
Proceedings of the American Control Conference, 2022

2021
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.
ACM Trans. Embed. Comput. Syst., 2021

$\mathcal {L}_2$-Gain Analysis of Periodic Event-Triggered Control and Self-Triggered Control Using Lifting.
IEEE Trans. Autom. Control., 2021

Asynchronous quadratic control for constrained hidden markov jump linear systems with incomplete MTPM and MOCPM.
IMA J. Math. Control. Inf., 2021

HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization.
Proceedings of the IEEE Conference on Control Technology and Applications, 2021

2020
Policy Optimization for Markovian Jump Linear Quadratic Control: Gradient-Based Methods and Global Convergence.
CoRR, 2020

Differential Privacy for Sequential Algorithms.
CoRR, 2020

Graph Lyapunov function for switching stabilization and distributed computation.
Autom., 2020

Policy Learning of MDPs with Mixed Continuous/Discrete Variables: A Case Study on Model-Free Control of Markovian Jump Systems.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

STMC: Statistical Model Checker with Stratified and Antithetic Sampling.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Convergence Guarantees of Policy Optimization Methods for Markovian Jump Linear Systems.
Proceedings of the 2020 American Control Conference, 2020

2019
Statistical verification of PCTL using antithetic and stratified samples.
Formal Methods Syst. Des., 2019

Optimistic Optimization for Statistical Model Checking with Regret Bounds.
CoRR, 2019

2018
l<sub>p</sub> Analysis and Synthesis of Linear Switched Systems: A Unified Input-Output and State-Space Approach.
SIAM J. Control. Optim., 2018

TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks.
Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 2018

Decentralized Control of Switched-Systems with Path-Dependent 𝓁<sub>2</sub>-induced Bounds.
Proceedings of the 2018 Annual American Control Conference, 2018

Application of a Message-Passing Decomposition of Sparsely-Coupled Linear Programming Problems to the Uniform Stabilization of Positive Switched Linear Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

Statistical Verification of PCTL Using Stratified Samples.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs.
IEEE Trans. Control. Netw. Syst., 2017

Stability Analysis of Switched Linear Systems Defined by Regular Languages.
IEEE Trans. Autom. Control., 2017

Statistical Verification of the Toyota Powertrain Control Verification Benchmark.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

L2-gain analysis of periodic event-triggered systems with varying delays using lifting techniques.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Modeling and maximizing power in wind turbine arrays.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017

Decentralized control with moving-horizon linear switched systems: Synthesis and testbed implementation.
Proceedings of the 2017 American Control Conference, 2017

2016
Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks.
J. Comput. Phys., 2016

Stability of discrete-time switching systems with constrained switching sequences.
Autom., 2016

Controller synthesis for linear dynamical systems with adversaries.
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Differentially private objective functions in distributed cloud-based optimization.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Extremal storage functions and minimal realizations of discrete-time linear switching systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Differential privacy in control and network systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

A unified framework for lp analysis and synthesis of Linear Switched Systems.
Proceedings of the 2016 American Control Conference, 2016

Variance-reduced model predictive control of Markov jump processes.
Proceedings of the 2016 American Control Conference, 2016

2015
A decidable class of planar linear hybrid systems.
Theor. Comput. Sci., 2015

Decentralized Control of Linear Switched Nested Systems With ℓ<sub>2</sub>-Induced Norm Performance.
IEEE Trans. Control. Netw. Syst., 2015

Stability Preserving Simulations and Bisimulations for Hybrid Systems.
IEEE Trans. Autom. Control., 2015

Team Optimal Control of Stochastically Switched Systems With Local Parameter Knowledge.
IEEE Trans. Autom. Control., 2015

Time Series Analysis for Congestion Detection in TCP/AQM Networks.
IEEE Commun. Lett., 2015

Controller Synthesis for Linear Time-varying Systems with Adversaries.
CoRR, 2015

Statistical verification of dynamical systems using set oriented methods.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A lifting approach to ℒ2-gain analysis of periodic event-triggered and switching sampled-data control systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

The minimum achievable stability radius of switched linear systems with feedback.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On the real-time receding horizon control in harbor defense.
Proceedings of the American Control Conference, 2015

Minimum achievable decay rates of the discrete linear inclusion.
Proceedings of the American Control Conference, 2015

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Control of Linear Switched Systems With Receding Horizon Modal Information.
IEEE Trans. Autom. Control., 2014

On the cost of differential privacy in distributed control systems.
Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Stability of linear autonomous systems under regular switching sequences.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Exact simulation of continuous time Markov jump processes with anticorrelated variance reduced Monte Carlo estimation.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Decentralized control of linear time-varying nested systems with ℌ∞-type performance.
Proceedings of the American Control Conference, 2014

Path-by-path output regulation of switched systems with a receding horizon of modal knowledge.
Proceedings of the American Control Conference, 2014

2013
Optimal decentralized control of a stochastically switched system with local parameter knowledge.
Proceedings of the 12th European Control Conference, 2013

Anticorrelated discrete-time stochastic simulation.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Control of spatially distributed nonstationary systems over arbitrary graph structures with communication latency.
Proceedings of the American Control Conference, 2013

2012
Verification of Bounded Discrete Horizon Hybrid Automata.
IEEE Trans. Autom. Control., 2012

Differentially private iterative synchronous consensus.
Proceedings of the 11th annual ACM Workshop on Privacy in the Electronic Society, 2012

Pre-orders for reasoning about stability.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

A team theoretic approach to decentralized control of systems with stochastic parameters.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Application of variance reduction techniques for tau-leaping systems to particle filters.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An exact convex solution to receding horizon control.
Proceedings of the American Control Conference, 2012

2011
Specifications for decidable hybrid games.
Theor. Comput. Sci., 2011

Supervisory Control and Measurement Scheduling for Discrete-Time Linear Systems.
IEEE Trans. Autom. Control., 2011

Joint synthesis of switching and feedback for linear systems in discrete time.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

On an operator-pencil approach to distributed control of heterogeneous systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2009
Verifying Tolerant Systems Using Polynomial Approximations.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

STORMED Hybrid Games.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Uniform stabilization of Markovian jump linear systems with logarithmic quantization - A convex approach.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Stabilization of Markovian jump linear systems with limited information - A convex approach.
Proceedings of the American Control Conference, 2009

2008
Control of Systems With Uncertain Initial Conditions.
IEEE Trans. Autom. Control., 2008

Dynamic sequential team multi-hypothesis testing under uniformly distributed nonstationary observations.
Syst. Control. Lett., 2008

Control of nonstationary LPV systems.
Autom., 2008

STORMED Hybrid Systems.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Analysis of sampled-data interconnected systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Path-by-path optimal control of switched and Markovian jump linear systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Distributed Symmetric Function Computation in Noisy Wireless Sensor Networks.
IEEE Trans. Inf. Theory, 2007

Distributed Fair Resource Allocation in Cellular Networks in the Presence of Heterogeneous Delays.
IEEE Trans. Autom. Control., 2007

Uniformly Stabilizing Sets of Switching Sequences for Switched Linear Systems.
IEEE Trans. Autom. Control., 2007

Model Reduction of Nonstationary LPV Systems.
IEEE Trans. Autom. Control., 2007

A stability and contractiveness analysis of discrete-time Markovian jump linear systems.
Autom., 2007

Finite gain stabilization with logarithmic quantization.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

An output regulation problem for switched linear systems in discrete time.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Decentralized Control with Communication Bandwidth Constraints.
Proceedings of the American Control Conference, 2007

2006
Global stability of internet congestion controllers with heterogeneous delays.
IEEE/ACM Trans. Netw., 2006

A Large Deviations Analysis of Scheduling in Wireless Networks.
IEEE Trans. Inf. Theory, 2006

Stabilization of Spacecraft Flight in Halo Orbits: An H<sub>∞</sub> Approach.
IEEE Trans. Control. Syst. Technol., 2006

On the balanced truncation of LTV systems.
IEEE Trans. Autom. Control., 2006

Optimal Disturbance Attenuation for Discrete-Time Switched and Markovian Jump Linear Systems.
SIAM J. Control. Optim., 2006

Uniform stabilization of discrete-time switched and Markovian jump linear systems.
Autom., 2006

Distributed symmetric function computation in noisy wireless sensor networks with binary data.
Proceedings of the 4th International Symposium on Modeling and Optimization in Mobile, 2006

Multi-User Scheduling in Wireless Networks with QoS Constraints.
Proceedings of the Proceedings 2006 IEEE International Symposium on Information Theory, 2006

Control of distributed systems over graphs.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005
Model reduction of periodic systems: a lifting approach.
Autom., 2005

A Large Deviations Analysis of Scheduling in Wireless Networks.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Uniform Disturbance Attenuation for Markovian Jump Linear Systems in Discrete Time.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Control, Estimation, and Optimization of Interconnected Systems: From Theory to Industrial Applications.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Wireless Control with Bluetooth.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004
Distributed control of heterogeneous systems.
IEEE Trans. Autom. Control., 2004

A dynamic decentralized sequential multi-hypothesis testing problem under uniformly distributed nonstationary observations.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

A hovercraft testbed for decentralized and cooperative control.
Proceedings of the 2004 American Control Conference, 2004

On the ℓ<sub>2</sub>-induced control for eventually periodic systems.
Proceedings of the 2004 American Control Conference, 2004

2003
Distributed control design for spatially interconnected systems.
IEEE Trans. Autom. Control., 2003

Analysis of mode-dependent statistics of Markovian jump linear systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Model reduction of stabilizable nonstationary LPV models.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

On the model reduction of nonstationary LPV systems.
Proceedings of the American Control Conference, 2003

2002
Robust Controller Synthesis for Uncertain Time-Varying Systems.
SIAM J. Control. Optim., 2002

LMI tools for eventually periodic systems.
Syst. Control. Lett., 2002

A nonlinear functional approach to LFT model validation.
Syst. Control. Lett., 2002

Distributed control of network vehicles.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Development of a vehicle network control testbed.
Proceedings of the American Control Conference, 2002

2001
Computing quasi-LTI robustness margins in sampled-data systems.
IEEE Trans. Autom. Control., 2001

Uniform Robust Performance Against Quasi-LTI Uncertainty in Sampled-Data Systems.
SIAM J. Control. Optim., 2001

An LMI solution to the robust synthesis problem for multi-rate sampled-data systems.
Autom., 2001

Networked control of distributed systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000
Model validation for nonlinear feedback systems.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Robust synthesis for uncertain time-varying systems.
Proceedings of the American Control Conference, 2000

1999
A new approach for analysis and synthesis of time-varying systems.
IEEE Trans. Autom. Control., 1999

1998
Modeling and validation of nonlinear feedback systems.
Proceedings of the Robustness in Identification and Control, Workshop Robustness in Identification and Control, Siena, Italy, July 30, 1998

1996
Continuous-time control model validation using finite experimental data.
IEEE Trans. Autom. Control., 1996

A continuous-time extension condition.
IEEE Trans. Autom. Control., 1996

Robust performance of periodic systems.
IEEE Trans. Autom. Control., 1996

1995
Analysis of structured LTI uncertainty in sampled-data systems.
Autom., 1995

1993
Robust stabilization of sampled-data systems to structured LTI perturbations.
IEEE Trans. Autom. Control., 1993


  Loading...