Murat Arcak

Math. Control. Signals Syst., March, 2024

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards.

[BibT_eX]

[DOI]

Yasin Sonmez

Neelay Junnarkar

CoRR, 2024

Incentive Designs for Learning Agents to Stabilize Coupled Exogenous Systems.

[BibT_eX]

[DOI]

CoRR, 2024

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Data-Driven Reachability and Support Estimation With Christoffel Functions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., September, 2023

Time-Variation in Online Nonconvex Optimization Enables Escaping From Spurious Local Minima.

[BibT_eX]

[DOI]

Yuhao Ding

Javad Lavaei

IEEE Trans. Autom. Control., 2023

Safe-by-Design Planner-Tracker Synthesis With Unmodeled Input Dynamics.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Frequency-domain Gaussian Process Models for H∞ Uncertainties.

[BibT_eX]

[DOI]

Peter Seiler

CoRR, 2023

Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity.

[BibT_eX]

[DOI]

Brendon G. Anderson

Somayeh Sojoudi

CoRR, 2023

Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework.

[BibT_eX]

[DOI]

CoRR, 2023

Probabilistic Invariance for Gaussian Process State Space Models.

[BibT_eX]

[DOI]

Paul Griffioen

Proceedings of the Learning for Dynamics and Control Conference, 2023

Frequency Domain Gaussian Process Models for H∞ Uncertainties.

[BibT_eX]

[DOI]

Peter Seiler

Proceedings of the Learning for Dynamics and Control Conference, 2023

Data-Driven Reachability Analysis for Gaussian Process State Space Models.

[BibT_eX]

[DOI]

Paul Griffioen

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Constellation Phasing of Spacecraft in Near-Circular, In-Plane Orbits using Low-Thrust Trajectory Optimization.

[BibT_eX]

[DOI]

Emmanuel Sin

Proceedings of the American Control Conference, 2023

2022

Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers.

[BibT_eX]

[DOI]

Peter Seiler

IEEE Trans. Autom. Control., 2022

Imitation Learning With Stability and Safety Guarantees.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Monotonicity-Based Symbolic Control for Safety in Driving Scenarios.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Compositional Analysis of Interconnected Systems Using Delta Dissipativity.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Safe-by-Design Planner-Tracker Synthesis.

[BibT_eX]

[DOI]

CoRR, 2022

Safe-by-design planner-tracker synthesis with a hierarchy of system models.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2022

Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics.

[BibT_eX]

[DOI]

Semih Kara

Nuno C. Martins

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Fast Assignment in Asset-Guarding Engagements using Function Approximation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Dissipativity Tools for Convergence to Nash Equilibria in Population Games.

[BibT_eX]

[DOI]

Nuno C. Martins

IEEE Trans. Control. Netw. Syst., 2021

Backward Reachability for Polynomial Systems on a Finite Horizon.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Backward Reachability Using Integral Quadratic Constraints for Uncertain Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2021

Computing Worst-Case Disturbances for Finite-Horizon Linear Time-Varying Approximations of Uncertain Systems.

[BibT_eX]

[DOI]

Jyot R. Buch

IEEE Control. Syst. Lett., 2021

An Efficient Algorithm to Compute Norms for Finite Horizon, Linear Time-Varying Systems.

[BibT_eX]

[DOI]

Jyot R. Buch

IEEE Control. Syst. Lett., 2021

Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions.

[BibT_eX]

[DOI]

CoRR, 2021

DaDRA: A Python Library for Data-Driven Reachability Analysis.

[BibT_eX]

[DOI]

Jared Mejia

CoRR, 2021

Speed Advisory System Using Real-Time Actuated Traffic Light Phase Length Prediction.

[BibT_eX]

[DOI]

Mikhail Burov

CoRR, 2021

Attitude Trajectory Optimization for Agile Satellites in Autonomous Remote Sensing Constellation.

[BibT_eX]

[DOI]

CoRR, 2021

Detecting Braess Routes: An Algorithm Accounting for Queuing Delays With an Extended Graph.

[BibT_eX]

[DOI]

Mikhail Burov

Can Kizilkale

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Data-driven estimation of forward reachable sets.

[BibT_eX]

[DOI]

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

Data-Driven Reachability Analysis with Christoffel Functions.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Symbolic Abstractions From Data: A PAC Learning Approach.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

Escaping Spurious Local Minimum Trajectories in Online Time-varying Nonconvex Optimization.

[BibT_eX]

[DOI]

Yuhao Ding

Javad Lavaei

Proceedings of the 2021 American Control Conference, 2021

2020

Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis.

[BibT_eX]

[DOI]

Octavio Narvaez-Aroche

IEEE Trans. Control. Syst. Technol., 2020

Cooperative Control for Multirotors Transporting an Unknown Suspended Load Under Environmental Disturbances.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2020

Reachability analysis using dissipation inequalities for uncertain nonlinear systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2020

Iterative Best Response for Multi-Body Asset-Guarding Games.

[BibT_eX]

[DOI]

CoRR, 2020

Passivity-based distributed acquisition and station-keeping control of a satellite constellation in areostationary orbit.

[BibT_eX]

[DOI]

Emmanuel Sin

CoRR, 2020

Approximate abstractions of control systems with an application to aggregation.

[BibT_eX]

[DOI]

Autom., 2020

Improving Urban Traffic Throughput With Vehicle Platooning: Theory and Experiments.

[BibT_eX]

[DOI]

IEEE Access, 2020

Estimating Reachable Sets with Scenario Optimization.

[BibT_eX]

[DOI]

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

Platoon Formation Algorithm for Minimizing Travel Time.

[BibT_eX]

[DOI]

Mikhail Burov

Negar Mehr

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels.

[BibT_eX]

[DOI]

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

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.

[BibT_eX]

[DOI]

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

Optimization Based Planner-Tracker Design for Safety Guarantees.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Optimal assignment of collaborating agents in multi-body asset-guarding games.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Classifier-Based Supervisory Control with Application to Threat Engagement.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

2019

Transformation of Optimal Centralized Controllers Into Near-Globally Optimal Static Distributed Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

A Spatial Filtering Approach to Biological Patterning.

[BibT_eX]

[DOI]

Melinda Liu Perkins

SIAM J. Appl. Dyn. Syst., 2019

Editorial to the Special Issue of L-CSS on Control and Network Theory for Biological Systems.

[BibT_eX]

[DOI]

Franco Blanchini

M. Vidyasagar

IEEE Control. Syst. Lett., 2019

Interval Reachability Analysis using Second-Order Sensitivity.

[BibT_eX]

[DOI]

CoRR, 2019

Continuous and discrete abstractions for planning, applied to ship docking.

[BibT_eX]

[DOI]

CoRR, 2019

Finite horizon robustness analysis of LTV systems using integral quadratic constraints.

[BibT_eX]

[DOI]

Autom., 2019

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TIRA: toolbox for interval reachability analysis.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Balancing Safety and Traffic Throughput in Cooperative Vehicle Platooning.

[BibT_eX]

[DOI]

Yeojun Kim

Jacopo Guanetti

Francesco Borrelli

Proceedings of the 17th European Control Conference, 2019

Continuous Abstraction of Nonlinear Systems using Sum-of-Squares Programming.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Pattern Formation over Multigraphs.

[BibT_eX]

[DOI]

András György

IEEE Trans. Netw. Sci. Eng., 2018

Spatio-Temporally Constrained Reconstruction for Hyperpolarized Carbon-13 MRI Using Kinetic Models.

[BibT_eX]

[DOI]

IEEE Trans. Medical Imaging, 2018

Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

Symmetry Reduction for Performance Certification of Interconnected Systems.

[BibT_eX]

[DOI]

Chris Meissen

IEEE Trans. Control. Netw. Syst., 2018

Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2018

Exploiting Symmetry for Discrete-Time Reachability Computations.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2018

Reachability Analysis Using Dissipation Inequalities For Nonlinear Dynamical Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Abstractions for Symbolic Controller Synthesis are Composable.

[BibT_eX]

[DOI]

CoRR, 2018

Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses.

[BibT_eX]

[DOI]

Octavio Narvaez-Aroche

CoRR, 2018

Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, 2018

A Benchmark Problem in Transportation Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Symmetry reduction for dynamic programming.

[BibT_eX]

[DOI]

Autom., 2018

Constructing Control System Abstractions from Modular Components.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties.

[BibT_eX]

[DOI]

Proceedings of the Principles of Modeling, 2018

Hierarchical Control via an Approximate Aggregate Manifold.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Small Satellite Constellation Separation using Linear Programming based Differential Drag Commands.

[BibT_eX]

[DOI]

Emmanuel Sin

Proceedings of the 2018 Annual American Control Conference, 2018

Discrete Spatial Filtering by Networks of Cells Facilitates Biological Pattern Formation.

[BibT_eX]

[DOI]

Melinda Liu Perkins

Proceedings of the 2018 Annual American Control Conference, 2018

Finite Time Robust Control of the Sit-to-Stand Movement for Powered Lower Limb Orthoses.

[BibT_eX]

[DOI]

Octavio Narvaez-Aroche

Jan Maximilian Montenbruck

Proceedings of the 2018 Annual American Control Conference, 2018

2017

An Input-Output Framework for Submanifold Stabilization.

[BibT_eX]

[DOI]

Frank Allgöwer

IEEE Trans. Autom. Control., 2017

Contraction-based Observers using non-Euclidean Norms with an Application to Traffic Networks.

[BibT_eX]

[DOI]

CoRR, 2017

Sparsity-Sensitive Finite Abstraction.

[BibT_eX]

[DOI]

Felix Gruber

CoRR, 2017

Symbolic control design for monotone systems with directed specifications.

[BibT_eX]

[DOI]

Autom., 2017

A Small Gain Theorem for Parametric Assume-Guarantee Contracts.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Dynamic contracts for distributed temporal logic control of traffic networks.

[BibT_eX]

[DOI]

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

Sparsity-aware finite abstraction.

[BibT_eX]

[DOI]

Felix Gruber

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

A scalable method for designing distributed controllers for systems with unknown initial states.

[BibT_eX]

[DOI]

Salar Fattahi

Javad Lavaei

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

Symmetry reduction for dynamic programming and application to MRI.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

Offset optimization of signalized intersections via the Burer-Monteiro method.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Optimizing Flip Angles for Metabolic Rate Estimation in Hyperpolarized Carbon-13 MRI.

[BibT_eX]

[DOI]

IEEE Trans. Medical Imaging, 2016

Traffic Network Control From Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2016

Stability of an analog optimization circuit for quadratic programming.

[BibT_eX]

[DOI]

Sergey Vichik

Francesco Borrelli

Syst. Control. Lett., 2016

Stability of traffic flow networks with a polytree topology.

[BibT_eX]

[DOI]

Autom., 2016

Directed Specifications and Assumption Mining for Monotone Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Parallel dynamic programming for optimal experiment design in nonlinear systems.

[BibT_eX]

[DOI]

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

Mixed monotonicity of partial first-in-first-out traffic flow models.

[BibT_eX]

[DOI]

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

Semidefinite relaxations in optimal experiment design with application to substrate injection for hyperpolarized MRI.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

Assume-guarantee contracts and controller synthesis for vehicular traffic networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

Finite state abstraction and formal methods for traffic flow networks.

[BibT_eX]

[DOI]

Calin Belta

Proceedings of the 2016 American Control Conference, 2016

2015

Adaptive Synchronization of Diffusively Coupled Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2015

Reachability Analysis of Nonlinear Systems Using Matrix Measures.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

A Compartmental Model for Traffic Networks and Its Dynamical Behavior.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

A Dissipativity Approach to Safety Verification for Interconnected Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

A note on optimal experiment design for nonlinear systems using dynamic programming.

[BibT_eX]

[DOI]

CoRR, 2015

On the Mixed Monotonicity of FIFO Traffic Flow Models.

[BibT_eX]

[DOI]

CoRR, 2015

Compositional performance certification of interconnected systems using ADMM.

[BibT_eX]

[DOI]

Autom., 2015

Efficient finite abstraction of mixed monotone systems.

[BibT_eX]

[DOI]

Jan Maximilian Montenbruck

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Stabilizing submanifolds with passive input-output relations.

[BibT_eX]

[DOI]

Frank Allgöwer

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

Compositional controller synthesis for vehicular traffic networks.

[BibT_eX]

[DOI]

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

Offset optimization for a network of signalized intersections via semidefinite relaxation.

[BibT_eX]

[DOI]

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

Optimal experiment design for physiological parameter estimation using hyperpolarized carbon-13 magnetic resonance imaging.

[BibT_eX]

[DOI]

Peder E. Z. Larson

Proceedings of the American Control Conference, 2015

Controlling a network of signalized intersections from temporal logical specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

A computational approach to synthesizing guards for hybrid systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2014

Freeway traffic control from linear temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Performance certification of interconnected nonlinear systems using ADMM.

[BibT_eX]

[DOI]

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

Trajectory-based reachability analysis of switched nonlinear systems using matrix measures.

[BibT_eX]

[DOI]

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

Pattern formation with a compartmental lateral inhibition system.

[BibT_eX]

[DOI]

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

An adaptive algorithm for synchronization in diffusively-coupled systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

Dynamical properties of a compartmental model for traffic networks.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Delay Robustness of Interconnected Passive Systems: An Integral Quadratic Constraint Approach.

[BibT_eX]

[DOI]

Erin Summers

IEEE Trans. Autom. Control., 2013

Pattern Formation by Lateral Inhibition in Large-Scale Networks of Cells.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

A Graph Partitioning Approach to Predicting Patterns in Lateral Inhibition Systems.

[BibT_eX]

[DOI]

SIAM J. Appl. Dyn. Syst., 2013

A note on norm-based Lyapunov functions via contraction analysis.

[BibT_eX]

[DOI]

CoRR, 2013

Synchronization of diffusively-coupled limit cycle oscillators.

[BibT_eX]

[DOI]

Autom., 2013

Verifying safety of interconnected passive systems using SOS programming.

[BibT_eX]

[DOI]

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

Synchronization of limit cycle oscillations in diffusively-coupled systems.

[BibT_eX]

[DOI]

Mihailo R. Jovanovic

Proceedings of the American Control Conference, 2013

Spatial uniformity in diffusively-coupled systems using weighted L2 norm contractions.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

Predicting patterns in lateral inhibition systems via graph partitioning.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Graph Weight Allocation to Meet Laplacian Spectral Constraints.

[BibT_eX]

[DOI]

Laurent El Ghaoui

IEEE Trans. Autom. Control., 2012

Quaternion-Based Hybrid Feedback for Robust Global Attitude Synchronization.

[BibT_eX]

[DOI]

Christopher G. Mayhew

IEEE Trans. Autom. Control., 2012

A Feedback Quenched Oscillator Produces Turing Patterning with One Diffuser.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2012

A Graph Partitioning Approach to Predict Patterns in Lateral Inhibition Systems.

[BibT_eX]

[DOI]

CoRR, 2012

Stability certification of large scale stochastic systems using dissipativity.

[BibT_eX]

[DOI]

Autom., 2012

Scaling the size of a formation using relative position feedback.

[BibT_eX]

[DOI]

Autom., 2012

New architecture for patterning gene expression using zinc finger proteins and small RNAs.

[BibT_eX]

[DOI]

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

Guard synthesis for safety of hybrid systems using sum of squares programming.

[BibT_eX]

[DOI]

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

Synchronization and pattern formation in diffusively coupled systems.

[BibT_eX]

[DOI]

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

Further results on delay robustness of interconnected passive systems.

[BibT_eX]

[DOI]

Erin Summers

Proceedings of the American Control Conference, 2012

A decomposition-based approach to stability analysis of large-scale stochastic systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

Formation control with size scaling using relative displacement feedback.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

On biological pattern formation by contact inhibition.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

Diagonal Stability on Cactus Graphs and Application to Network Stability Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Equilibrium-independent passivity: A new definition and numerical certification.

[BibT_eX]

[DOI]

George H. Hines

Autom., 2011

Certifying spatially uniform behavior in reaction-diffusion PDE and compartmental ODE systems.

[BibT_eX]

[DOI]

Autom., 2011

Graph weight design for Laplacian eigenvalue constraints with multi-agent systems applications.

[BibT_eX]

[DOI]

Laurent El Ghaoui

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

Scaling the size of a multiagent formation via distributed feedback.

[BibT_eX]

[DOI]

Magnus Egerstedt

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

Evaluating the delay robustness of interconnected passive systems with a frequency-dependent integral quadratic constraint.

[BibT_eX]

[DOI]

Erin Summers

Proceedings of the American Control Conference, 2011

A quenched oscillator network for pattern formation in gene expression.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

Cooperative Control Design - A Systematic, Passivity-Based Approach.

[BibT_eX]

[DOI]

Communications and control engineering, Springer, ISBN: 978-1-4614-0013-4, 2011

2010

Synchronization of Interconnected Systems With Applications to Biochemical Networks: An Input-Output Approach.

[BibT_eX]

[DOI]

Luca Scardovi

IEEE Trans. Autom. Control., 2010

Instability Mechanisms in Cooperative Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2010

Diagonal stability on cactus graphs.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Robust global asymptotic attitude synchronization by hybrid control.

[BibT_eX]

[DOI]

Christopher G. Mayhew

Ricardo G. Sanfelice

Proceedings of the American Control Conference, 2010

Equilibrium-independent passivity: a new definition and implications.

[BibT_eX]

[DOI]

George H. Hines

Proceedings of the American Control Conference, 2010

Nonlinear analysis of ring oscillator circuits.

[BibT_eX]

[DOI]

Khaled N. Salama

Proceedings of the American Control Conference, 2010

On spatially uniform behavior in reaction-diffusion systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

Designing node and edge weights of a graph to meet Laplacian eigenvalue constraints.

[BibT_eX]

[DOI]

Laurent El Ghaoui

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

Linear matrix inequality tests for synchrony of diffusively coupled nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

2009

Robust Stabilization and Performance Recovery of Nonlinear Systems With Unmodeled Dynamics.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

A sufficient condition for additive D-stability and application to reaction-diffusion models.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2009

Time-scale separation redesigns for stabilization and performance recovery of uncertain nonlinear systems.

[BibT_eX]

[DOI]

Autom., 2009

Adaptive motion coordination: Using relative velocity feedback to track a reference velocity.

[BibT_eX]

[DOI]

Autom., 2009

Synchronization of interconnected systems with an input-output approach. Part II: State-space result and application to biochemical networks.

[BibT_eX]

[DOI]

Luca Scardovi

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

Synchronization of interconnected systems with an input-output approach. Part I: Main results.

[BibT_eX]

[DOI]

Luca Scardovi

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

A New Sufficient Condition for Additive D-Stability and Application to Cyclic Reaction-Diffusion Models.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

2008

Power control for multicell CDMA wireless networks: A team optimization approach.

[BibT_eX]

[DOI]

Wirel. Networks, 2008

A Passivity-Based Approach to Stability of Spatially Distributed Systems With a Cyclic Interconnection Structure.

[BibT_eX]

[DOI]

Mihailo R. Jovanovic

IEEE Trans. Autom. Control., 2008

Area aggregation and time-scale modeling for sparse nonlinear networks.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2008

Adaptive design for reference velocity recovery in motion coordination.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2008

Rigid body attitude coordination without inertial frame information.

[BibT_eX]

[DOI]

Autom., 2008

Nonlinear analysis of cross-coupled oscillator circuits.

[BibT_eX]

[DOI]

Khaled N. Salama

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

Robust design of a spacecraft attitude tracking control system with actuator uncertainties.

[BibT_eX]

[DOI]

Panagiotis Tsiotras

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

Robust stabilization and performance recovery of nonlinear systems with input unmodeled dynamics.

[BibT_eX]

[DOI]

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

Adaptive motion coordination: Using velocity feedback to achieve parameter convergence.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

Using orientation agreement to achieve planar rigid formation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

Passivity-based Stability of Interconnection Structures.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Learning and Control, 2008

2007

Passivity as a Design Tool for Group Coordination.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

Passivity-based designs for synchronized path-following.

[BibT_eX]

[DOI]

Ivar-André F. Ihle

Thor I. Fossen

Autom., 2007

Performance recovery of power systems with unknown parameters and faults.

[BibT_eX]

[DOI]

Ernst Scholtz

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

A Three-time-scale redesign for robust stabilization and performance recovery of nonlinear systems with input uncertainties.

[BibT_eX]

[DOI]

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

Gradient climbing in formation via extremum seeking and passivity-based coordination rules.

[BibT_eX]

[DOI]

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

A decentralized design for group alignment and synchronous rotation without inertial frame information.

[BibT_eX]

[DOI]

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

A passivity-based stability criterion for a class of interconnected systems and applications to biochemical reaction networks.

[BibT_eX]

[DOI]

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

Robust Control for Linear Stages in Electronic Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

Remarks on the stability of spatially distributed systems with a cyclic interconnection structure.

[BibT_eX]

[DOI]

Mihailo R. Jovanovic

Proceedings of the American Control Conference, 2007

A Two-Time-Scale Redesign for Robust Stabilization and Performance Recovery of Uncertain Nonlinear Systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

Group Coordination when the Reference Velocity is Available Only to the Leader: An Adaptive Design.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

Structure and Passivity in Large-Scale Network Analysis and Design.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

2006

A two-time-scale design for edge-based detection and rectification of uncooperative flows.

[BibT_eX]

[DOI]

Kartikeya Chandrayana

Shivkumar Kalyanaraman

John Ting-Yung Wen

IEEE/ACM Trans. Netw., 2006

Delay robustness of a class of nonlinear systems and applications to communication networks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

A hybrid redesign of Newton observers in the absence of an exact discrete-time model.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2006

A passivity approach to game-theoretic CDMA power control.

[BibT_eX]

[DOI]

Autom., 2006

Diagonal stability of a class of cyclic systems and its connection with the secant criterion.

[BibT_eX]

[DOI]

Autom., 2006

Hybrid Newton observer design using the inexact Newton method and GMRES.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

2005

Low-bias control of AMB subject to voltage saturation: state-feedback and observer designs.

[BibT_eX]

[DOI]

Panagiotis Tsiotras

IEEE Trans. Control. Syst. Technol., 2005

Certainty-equivalence output-feedback design with circle-criterion observers.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2005

A Two-Time Scale Design for Detection and Rectification of Uncooperative Network Flows.

[BibT_eX]

[DOI]

Kartikeya Chandrayana

Shivkumar Kalyanaraman

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

Redesigning a Class of Nonlinear Observers for Certainty-Equivalence Control.

[BibT_eX]

[DOI]

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

A voltage-based observer design for membrane water content in PEM fuel cells.

[BibT_eX]

[DOI]

Haluk Görgün

Franco Barbir

Proceedings of the American Control Conference, 2005

Newton observer design in the absence of an exact discrete-time model.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2005

2004

A nonlinear observer design for fuel cell hydrogen estimation.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2004

A unifying passivity framework for network flow control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2004

A relaxed condition for stability of nonlinear observer-based controllers.

[BibT_eX]

[DOI]

Laurent Praly

Syst. Control. Lett., 2004

Robustness of network flow control against disturbances and time-delay.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2004

A framework for nonlinear sampled-data observer design via approximate discrete-time models and emulation.

[BibT_eX]

[DOI]

Dragan Nesic

Autom., 2004

Nonlinear observer design for fuel processing reactors in fuel cell power systems.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

Robustness of CDMA power control against disturbances and time-delays.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

Passivation designs for CDMA uplink power control.

[BibT_eX]

[DOI]

Proceedings of the 2004 American Control Conference, 2004

2003

Feedback tuning of bifurcations.

[BibT_eX]

[DOI]

Luc Moreau

Syst. Control. Lett., 2003

Observer design for systems with multivariable monotone nonlinearities.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2003

Circle and Popov criteria as tools for nonlinear feedback design, .

[BibT_eX]

[DOI]

Michael Larsen

Autom., 2003

L2-gain and passivity techniques in nonlinear control: Arjan van der Schaft: Springer, London, 2000, ISBN 1-85233-073-2.

[BibT_eX]

[DOI]

Autom., 2003

Lp stability and delay robustness of network flow control.

[BibT_eX]

[DOI]

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

Observer design for sampled-data nonlinear systems via approximate discrete-time models.

[BibT_eX]

[DOI]

Dragan Nesic

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

How feedback can tune a bifurcation parameter towards its unknown critical bifurcation value.

[BibT_eX]

[DOI]

Luc Moreau

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

An adaptive observer design for fuel cell hydrogen estimation.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

2002

Trading the stability of finite zeros for global stabilization of nonlinear cascade systems.

[BibT_eX]

[DOI]

Rodolphe Sepulchre

IEEE Trans. Autom. Control., 2002

A Unifying Integral ISS Framework for Stability of Nonlinear Cascades.

[BibT_eX]

[DOI]

David Angeli

SIAM J. Control. Optim., 2002

Boundedness without Absolute Stability in Systems with Stiffening Nonlinearities.

[BibT_eX]

[DOI]

Michael Larsen

Eur. J. Control, 2002

Input-to-state stability for a class of Lurie systems.

[BibT_eX]

[DOI]

Autom., 2002

On certainty-equivalence design of nonlinear observer-based controllers.

[BibT_eX]

[DOI]

Laurent Praly

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

Nonlinear observer design for systems with multivariable monotone nonlinearities.

[BibT_eX]

[DOI]

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

A global separation theorem for a new class of nonlinear observers.

[BibT_eX]

[DOI]

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

Input-to-state stability and boundedness in Lurie systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

Observer-based backstepping with weak nonlinear damping.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

2001

Robust global stabilization with ignored input dynamics: an input-to-state stability (ISS) small-gain approach.

[BibT_eX]

[DOI]

Zhong-Ping Jiang

IEEE Trans. Autom. Control., 2001

Observer-based control of systems with slope-restricted nonlinearities.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2001

Constructive nonlinear control: a historical perspective.

[BibT_eX]

[DOI]

Autom., 2001

Robust nonlinear control of feedforward systems with unmodeled dynamics.

[BibT_eX]

[DOI]

Autom., 2001

Nonlinear observers: a circle criterion design and robustness analysis.

[BibT_eX]

[DOI]

Autom., 2001

Stabilization of cascades using integral input-to-state stability.

[BibT_eX]

[DOI]

David Angeli

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

2000

Robustification of backstepping against input unmodeled dynamics.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2000

Robust global stabilization with input unmodeled dynamics: an ISS small-gain approach.

[BibT_eX]

[DOI]

Zhong-Ping Jiang

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

Robust output-feedback design using a new class of nonlinear observers.

[BibT_eX]

[DOI]

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

Global output tracking control of a class of Euler-Lagrange systems.

[BibT_eX]

[DOI]

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

Robust nested saturation redesign for systems with input unmodeled dynamics.

[BibT_eX]

[DOI]