Geir E. Dullerud

IEEE Trans. Control. Syst. Technol., 2022

Stabilization and Optimization of Discrete-Time Markovian Jump Linear Systems via Mode Feedback Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

MLEFlow: Learning from History to Improve Load Balancing in Tor.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2022

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

[BibT_eX]

[DOI]

Hussein Darir

Nikita Borisov

CoRR, 2022

Learning Certifiably Robust Controllers Using Fragile Perception.

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Adaptive deep reinforcement learning for non-stationary environments.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2022

Low-Fidelity Gradient Updates for High-Fidelity Reprogrammable Iterative Learning Control.

[BibT_eX]

[DOI]

Kuan-Yu Tseng

Jeff S. Shamma

Proceedings of the American Control Conference, 2022

Model-Free μ Synthesis via Adversarial Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Asynchronous quadratic control for constrained hidden markov jump linear systems with incomplete MTPM and MOCPM.

[BibT_eX]

[DOI]

Jin Zhu

Kai Xia

IMA J. Math. Control. Inf., 2021

HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Bin Hu

CoRR, 2020

Differential Privacy for Sequential Algorithms.

[BibT_eX]

[DOI]

CoRR, 2020

Graph Lyapunov function for switching stabilization and distributed computation.

[BibT_eX]

[DOI]

Donghwan Lee

Jianghai Hu

Autom., 2020

Policy Learning of MDPs with Mixed Continuous/Discrete Variables: A Case Study on Model-Free Control of Markovian Jump Systems.

[BibT_eX]

[DOI]

Bin Hu

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

STMC: Statistical Model Checker with Stratified and Antithetic Sampling.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Convergence Guarantees of Policy Optimization Methods for Markovian Jump Linear Systems.

[BibT_eX]

[DOI]

Bin Hu

Proceedings of the 2020 American Control Conference, 2020

2019

Statistical verification of PCTL using antithetic and stratified samples.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Optimistic Optimization for Statistical Model Checking with Regret Bounds.

[BibT_eX]

[DOI]

CoRR, 2019

2018

lp Analysis and Synthesis of Linear Switched Systems: A Unified Input-Output and State-Space Approach.

[BibT_eX]

[DOI]

Mohammad Naghnaeian

Petros G. Voulgaris

SIAM J. Control. Optim., 2018

TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks.

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 2018

Decentralized Control of Switched-Systems with Path-Dependent 𝓁2-induced Bounds.

[BibT_eX]

[DOI]

Joao P. Jansch-Porto

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.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Statistical Verification of PCTL Using Stratified Samples.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2017

Stability Analysis of Switched Linear Systems Defined by Regular Languages.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Statistical Verification of the Toyota Powertrain Control Verification Benchmark.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

N. W. A. Strijbosch

Andrew R. Teel

W. P. Maurice H. Heemels

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Modeling and maximizing power in wind turbine arrays.

[BibT_eX]

[DOI]

Lucas Buccafusca

Proceedings of the IEEE Conference on Control Technology and Applications, 2017

Decentralized control with moving-horizon linear switched systems: Synthesis and testbed implementation.

[BibT_eX]

[DOI]

Joao P. Jansch-Porto

Proceedings of the 2017 American Control Conference, 2017

2016

Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks.

[BibT_eX]

[DOI]

J. Comput. Phys., 2016

Stability of discrete-time switching systems with constrained switching sequences.

[BibT_eX]

[DOI]

Autom., 2016

Controller synthesis for linear dynamical systems with adversaries.

[BibT_eX]

[DOI]

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Differentially private objective functions in distributed cloud-based optimization.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Extremal storage functions and minimal realizations of discrete-time linear switching systems.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Differential privacy in control and network systems.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

A unified framework for lp analysis and synthesis of Linear Switched Systems.

[BibT_eX]

[DOI]

Mohammad Naghnaeian

Petros G. Voulgaris

Proceedings of the 2016 American Control Conference, 2016

Variance-reduced model predictive control of Markov jump processes.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

A decidable class of planar linear hybrid systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Decentralized Control of Linear Switched Nested Systems With ℓ2-Induced Norm Performance.

[BibT_eX]

[DOI]

Cédric Langbort

IEEE Trans. Control. Netw. Syst., 2015

Stability Preserving Simulations and Bisimulations for Hybrid Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Team Optimal Control of Stochastically Switched Systems With Local Parameter Knowledge.

[BibT_eX]

[DOI]

Cedric Langbort

IEEE Trans. Autom. Control., 2015

Time Series Analysis for Congestion Detection in TCP/AQM Networks.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2015

Controller Synthesis for Linear Time-varying Systems with Adversaries.

[BibT_eX]

[DOI]

CoRR, 2015

Statistical verification of dynamical systems using set oriented methods.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

W. P. M. H. Heemels

Andrew R. Teel

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

The minimum achievable stability radius of switched linear systems with feedback.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On the real-time receding horizon control in harbor defense.

[BibT_eX]

[DOI]

Seungho Lee

Elijah Polak

Proceedings of the American Control Conference, 2015

Minimum achievable decay rates of the discrete linear inclusion.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

On the cost of differential privacy in distributed control systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Decentralized control of linear time-varying nested systems with ℌ∞-type performance.

[BibT_eX]

[DOI]

Cedric Langbort

Proceedings of the American Control Conference, 2014

Path-by-path output regulation of switched systems with a receding horizon of modal knowledge.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Optimal decentralized control of a stochastically switched system with local parameter knowledge.

[BibT_eX]

[DOI]

Cedric Langbort

Proceedings of the 12th European Control Conference, 2013

Anticorrelated discrete-time stochastic simulation.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Control of spatially distributed nonstationary systems over arbitrary graph structures with communication latency.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Verification of Bounded Discrete Horizon Hybrid Automata.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Differentially private iterative synchronous consensus.

[BibT_eX]

[DOI]

Zhenqi Huang

Sayan Mitra

Proceedings of the 11th annual ACM Workshop on Privacy in the Electronic Society, 2012

Pre-orders for reasoning about stability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Cédric Langbort

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Application of variance reduction techniques for tau-leaping systems to particle filters.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An exact convex solution to receding horizon control.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

Specifications for decidable hybrid games.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Supervisory Control and Measurement Scheduling for Discrete-Time Linear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Joint synthesis of switching and feedback for linear systems in discrete time.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2009

Verifying Tolerant Systems Using Polynomial Approximations.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

STORMED Hybrid Games.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Stabilization of Markovian jump linear systems with limited information - A convex approach.

[BibT_eX]

[DOI]

Kan Chen

Proceedings of the American Control Conference, 2009

2008

Control of Systems With Uncertain Initial Conditions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

Dynamic sequential team multi-hypothesis testing under uniformly distributed nonstationary observations.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2008

Control of nonstationary LPV systems.

[BibT_eX]

[DOI]

Autom., 2008

STORMED Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Analysis of sampled-data interconnected systems.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Path-by-path optimal control of switched and Markovian jump linear systems.

[BibT_eX]

[DOI]

Pramod P. Khargonekar

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Distributed Symmetric Function Computation in Noisy Wireless Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2007

Distributed Fair Resource Allocation in Cellular Networks in the Presence of Heterogeneous Delays.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

Uniformly Stabilizing Sets of Switching Sequences for Switched Linear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

Model Reduction of Nonstationary LPV Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

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

[BibT_eX]

[DOI]

Autom., 2007

Finite gain stabilization with logarithmic quantization.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

An output regulation problem for switched linear systems in discrete time.

[BibT_eX]

[DOI]

Pramod P. Khargonekar

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Decentralized Control with Communication Bandwidth Constraints.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

2006

Global stability of internet congestion controllers with heterogeneous delays.

[BibT_eX]

[DOI]

Rayadurgam Srikant

IEEE/ACM Trans. Netw., 2006

A Large Deviations Analysis of Scheduling in Wireless Networks.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2006

Stabilization of Spacecraft Flight in Halo Orbits: An H∞ Approach.

[BibT_eX]

[DOI]

Jayant Kulkarni

Mark E. Campbell

IEEE Trans. Control. Syst. Technol., 2006

On the balanced truncation of LTV systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

Optimal Disturbance Attenuation for Discrete-Time Switched and Markovian Jump Linear Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2006

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

[BibT_eX]

[DOI]

Autom., 2006

Distributed symmetric function computation in noisy wireless sensor networks with binary data.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium on Modeling and Optimization in Mobile, 2006

Multi-User Scheduling in Wireless Networks with QoS Constraints.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2006 IEEE International Symposium on Information Theory, 2006

Control of distributed systems over graphs.

[BibT_eX]

[DOI]

Zhe Di

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005

Model reduction of periodic systems: a lifting approach.

[BibT_eX]

[DOI]

Autom., 2005

A Large Deviations Analysis of Scheduling in Wireless Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Wireless Control with Bluetooth.

[BibT_eX]

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

Distributed control of heterogeneous systems.

[BibT_eX]

[DOI]

Raffaello D'Andrea

IEEE Trans. Autom. Control., 2004

A dynamic decentralized sequential multi-hypothesis testing problem under uniformly distributed nonstationary observations.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

A hovercraft testbed for decentralized and cooperative control.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

On the ℓ2-induced control for eventually periodic systems.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

2003

Distributed control design for spatially interconnected systems.

[BibT_eX]

[DOI]

Raffaello D'Andrea

IEEE Trans. Autom. Control., 2003

Analysis of mode-dependent statistics of Markovian jump linear systems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Model reduction of stabilizable nonstationary LPV models.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Robust Controller Synthesis for Uncertain Time-Varying Systems.

[BibT_eX]

[DOI]

Carol Pirie

SIAM J. Control. Optim., 2002

LMI tools for eventually periodic systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2002

A nonlinear functional approach to LFT model validation.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2002

Distributed control of network vehicles.

[BibT_eX]

[DOI]

Andrew Stubbs

Joel Rubel

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Model reduction of nonstationary LPV systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Development of a vehicle network control testbed.

[BibT_eX]

[DOI]

Andrew Stubbs

Andy Vaughn

Proceedings of the American Control Conference, 2002

2001

Computing quasi-LTI robustness margins in sampled-data systems.

[BibT_eX]

[DOI]

Sean E. Bourdon

IEEE Trans. Autom. Control., 2001

Uniform Robust Performance Against Quasi-LTI Uncertainty in Sampled-Data Systems.

[BibT_eX]

[DOI]

Sean E. Bourdon

SIAM J. Control. Optim., 2001

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

[BibT_eX]

[DOI]

Sanjay Lall

Autom., 2001

Networked control of distributed systems.

[BibT_eX]

[DOI]

Andrew Stubbs

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Model validation for nonlinear feedback systems.

[BibT_eX]

[DOI]

Scott A. Miller

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Robust synthesis for uncertain time-varying systems.

[BibT_eX]

[DOI]

Carol Pirie

Proceedings of the American Control Conference, 2000

1999

A new approach for analysis and synthesis of time-varying systems.

[BibT_eX]

[DOI]

Sanjay Lall

IEEE Trans. Autom. Control., 1999

1998

Modeling and validation of nonlinear feedback systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1996

A continuous-time extension condition.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1996

Robust performance of periodic systems.

[BibT_eX]

[DOI]

Keith Glover

IEEE Trans. Autom. Control., 1996

1995

Analysis of structured LTI uncertainty in sampled-data systems.

[BibT_eX]

[DOI]

Keith Glover

Autom., 1995

1993

Robust stabilization of sampled-data systems to structured LTI perturbations.

[BibT_eX]

[DOI]