Robust nested saturation redesign for systems with input unmodeled dynamics. - Murat Arcak; Andrew R. Teel; Petar V. Kokotovic (ACC, 2000)

Global output tracking control of a class of Euler-Lagrange systems. - Ole Morten Aamo; Murat Arcak; Thor I. Fossen; Petar V. Kokotovic (CDC, 2000)

Robust output-feedback design using a new class of nonlinear observers. - Murat Arcak; Petar V. Kokotovic (CDC, 2000)

Robust global stabilization with input unmodeled dynamics: an ISS small-gain approach. - Zhong-Ping Jiang; Murat Arcak (CDC, 2000)

Robustification of backstepping against input unmodeled dynamics. - Murat Arcak; María M. Seron; Julio H. Braslavsky; Petar V. Kokotovic (IEEE Trans. Autom. Control., 2000)

Stabilization of cascades using integral input-to-state stability. - Murat Arcak; David Angeli; Eduardo D. Sontag (CDC, 2001)

Nonlinear observers: a circle criterion design and robustness analysis. - Murat Arcak; Petar V. Kokotovic (Autom., 2001)

Robust nonlinear control of feedforward systems with unmodeled dynamics. - Murat Arcak; Andrew R. Teel; Petar V. Kokotovic (Autom., 2001)

Constructive nonlinear control: a historical perspective. - Petar V. Kokotovic; Murat Arcak (Autom., 2001)

Observer-based control of systems with slope-restricted nonlinearities. - Murat Arcak; Petar V. Kokotovic (IEEE Trans. Autom. Control., 2001)

Robust global stabilization with ignored input dynamics: an input-to-state stability (ISS) small-gain approach. - Zhong-Ping Jiang; Murat Arcak (IEEE Trans. Autom. Control., 2001)

Observer-based backstepping with weak nonlinear damping. - Murat Arcak (ACC, 2002)

Input-to-state stability and boundedness in Lurie systems. - Murat Arcak; Andrew R. Teel (ACC, 2002)

A global separation theorem for a new class of nonlinear observers. - Murat Arcak (CDC, 2002)

Nonlinear observer design for systems with multivariable monotone nonlinearities. - Xingzhe Fan; Murat Arcak (CDC, 2002)

On certainty-equivalence design of nonlinear observer-based controllers. - Laurent Praly; Murat Arcak (CDC, 2002)

Input-to-state stability for a class of Lurie systems. - Murat Arcak; Andrew R. Teel (Autom., 2002)

Boundedness without Absolute Stability in Systems with Stiffening Nonlinearities. - Murat Arcak; Michael Larsen; Petar V. Kokotovic (Eur. J. Control, 2002)

A Unifying Integral ISS Framework for Stability of Nonlinear Cascades. - Murat Arcak; David Angeli; Eduardo D. Sontag (SIAM J. Control. Optim., 2002)

Trading the stability of finite zeros for global stabilization of nonlinear cascade systems. - Rodolphe Sepulchre; Murat Arcak; Andrew R. Teel (IEEE Trans. Autom. Control., 2002)

An adaptive observer design for fuel cell hydrogen estimation. - Murat Arcak; Haluk Görgün; Lars Pedersen; Subbarao Varigonda (ACC, 2003)

How feedback can tune a bifurcation parameter towards its unknown critical bifurcation value. - Luc Moreau 002; Eduardo D. Sontag; Murat Arcak (CDC, 2003)

Observer design for sampled-data nonlinear systems via approximate discrete-time models. - Murat Arcak; Dragan Nesic (CDC, 2003)

Lp stability and delay robustness of network flow control. - Xingzhe Fan; Murat Arcak; John T. Wen (CDC, 2003)

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

Circle and Popov criteria as tools for nonlinear feedback design, . - Murat Arcak; Michael Larsen; Petar V. Kokotovic (Autom., 2003)

Observer design for systems with multivariable monotone nonlinearities. - Xingzhe Fan; Murat Arcak (Syst. Control. Lett., 2003)

Feedback tuning of bifurcations. - Luc Moreau 002; Eduardo D. Sontag; Murat Arcak (Syst. Control. Lett., 2003)

Passivation designs for CDMA uplink power control. - Xingzhe Fan; Murat Arcak; John T. Wen (ACC, 2004)

Robustness of CDMA power control against disturbances and time-delays. - Xingzhe Fan; Murat Arcak; John T. Wen (ACC, 2004)

Nonlinear observer design for fuel processing reactors in fuel cell power systems. - Haluk Görgün; Murat Arcak; Subbarao Varigonda; Scott A. Bortoff (ACC, 2004)

A framework for nonlinear sampled-data observer design via approximate discrete-time models and emulation. - Murat Arcak; Dragan Nesic (Autom., 2004)

Robustness of network flow control against disturbances and time-delay. - Xingzhe Fan; Murat Arcak; John T. Wen (Syst. Control. Lett., 2004)

A relaxed condition for stability of nonlinear observer-based controllers. - Laurent Praly; Murat Arcak (Syst. Control. Lett., 2004)

A unifying passivity framework for network flow control. - John T. Wen; Murat Arcak (IEEE Trans. Autom. Control., 2004)

A nonlinear observer design for fuel cell hydrogen estimation. - Murat Arcak; Haluk Görgün; Lars Pedersen; Subbarao Varigonda (IEEE Trans. Control. Syst. Technol., 2004)

Newton observer design in the absence of an exact discrete-time model. - Emrah Biyik; Murat Arcak (ACC, 2005)

A voltage-based observer design for membrane water content in PEM fuel cells. - Haluk Görgün; Franco Barbir; Murat Arcak (ACC, 2005)

Redesigning a Class of Nonlinear Observers for Certainty-Equivalence Control. - Murat Arcak (CDC/ECC, 2005)

A Two-Time Scale Design for Detection and Rectification of Uncooperative Network Flows. - Xingzhe Fan; Kartikeya Chandrayana; Murat Arcak; Shivkumar Kalyanaraman; John T. Wen (CDC/ECC, 2005)

Certainty-equivalence output-feedback design with circle-criterion observers. - Murat Arcak (IEEE Trans. Autom. Control., 2005)

Low-bias control of AMB subject to voltage saturation: state-feedback and observer designs. - Panagiotis Tsiotras; Murat Arcak (IEEE Trans. Control. Syst. Technol., 2005)

Hybrid Newton observer design using the inexact Newton method and GMRES. - Emrah Biyik; Murat Arcak (ACC, 2006)

Diagonal stability of a class of cyclic systems and its connection with the secant criterion. - Murat Arcak; Eduardo D. Sontag (Autom., 2006)

A passivity approach to game-theoretic CDMA power control. - Xingzhe Fan; Tansu Alpcan; Murat Arcak; T. J. Wen; Tamer Basar (Autom., 2006)

A hybrid redesign of Newton observers in the absence of an exact discrete-time model. - Emrah Biyik; Murat Arcak (Syst. Control. Lett., 2006)

Delay robustness of a class of nonlinear systems and applications to communication networks. - Xingzhe Fan; Murat Arcak (IEEE Trans. Autom. Control., 2006)

A two-time-scale design for edge-based detection and rectification of uncooperative flows. - Xingzhe Fan; Kartikeya Chandrayana; Murat Arcak; Shivkumar Kalyanaraman; John Ting-Yung Wen (IEEE/ACM Trans. Netw., 2006)

Structure and Passivity in Large-Scale Network Analysis and Design. - Murat Arcak (ACC, 2007)

Group Coordination when the Reference Velocity is Available Only to the Leader: An Adaptive Design. - He Bai 001; Murat Arcak; John T. Wen (ACC, 2007)

A Two-Time-Scale Redesign for Robust Stabilization and Performance Recovery of Uncertain Nonlinear Systems. - Aranya Chakrabortty; Murat Arcak (ACC, 2007)

Remarks on the stability of spatially distributed systems with a cyclic interconnection structure. - Mihailo R. Jovanovic; Murat Arcak; Eduardo D. Sontag (ACC, 2007)

Robust Control for Linear Stages in Electronic Manufacturing. - Rafael Quintanilla; John T. Wen; Murat Arcak; Joe Frankel; Mark Peeples; Mark Unrath (ACC, 2007)

A passivity-based stability criterion for a class of interconnected systems and applications to biochemical reaction networks. - Murat Arcak; Eduardo D. Sontag (CDC, 2007)

A decentralized design for group alignment and synchronous rotation without inertial frame information. - He Bai 001; Murat Arcak; John T. Wen (CDC, 2007)

Gradient climbing in formation via extremum seeking and passivity-based coordination rules. - Emrah Biyik; Murat Arcak (CDC, 2007)

A Three-time-scale redesign for robust stabilization and performance recovery of nonlinear systems with input uncertainties. - Aranya Chakrabortty; Murat Arcak (CDC, 2007)

Performance recovery of power systems with unknown parameters and faults. - Aranya Chakrabortty; Ernst Scholtz; Murat Arcak (CDC, 2007)

Passivity-based designs for synchronized path-following. - Ivar-André F. Ihle; Murat Arcak; Thor I. Fossen (Autom., 2007)

Passivity as a Design Tool for Group Coordination. - Murat Arcak (IEEE Trans. Autom. Control., 2007)

Passivity-based Stability of Interconnection Structures. - Eduardo D. Sontag; Murat Arcak (Recent Advances in Learning and Control, 2008)

Using orientation agreement to achieve planar rigid formation. - He Bai 001; Murat Arcak; John T. Wen (ACC, 2008)

Adaptive motion coordination: Using velocity feedback to achieve parameter convergence. - He Bai 001; Murat Arcak; John T. Wen (ACC, 2008)

Robust stabilization and performance recovery of nonlinear systems with input unmodeled dynamics. - Aranya Chakrabortty; Murat Arcak (CDC, 2008)

Robust design of a spacecraft attitude tracking control system with actuator uncertainties. - Aranya Chakrabortty; Murat Arcak; Panagiotis Tsiotras (CDC, 2008)

Nonlinear analysis of cross-coupled oscillator circuits. - Xiaoqing Ge; Murat Arcak; Khaled N. Salama (CDC, 2008)

Rigid body attitude coordination without inertial frame information. - He Bai 001; Murat Arcak; John T. Wen (Autom., 2008)

Adaptive design for reference velocity recovery in motion coordination. - He Bai 001; Murat Arcak; John T. Wen (Syst. Control. Lett., 2008)

Area aggregation and time-scale modeling for sparse nonlinear networks. - Emrah Biyik; Murat Arcak (Syst. Control. Lett., 2008)

A Passivity-Based Approach to Stability of Spatially Distributed Systems With a Cyclic Interconnection Structure. - Mihailo R. Jovanovic; Murat Arcak; Eduardo D. Sontag (IEEE Trans. Autom. Control., 2008)

Power control for multicell CDMA wireless networks: A team optimization approach. - Tansu Alpcan; Xingzhe Fan; Tamer Basar; Murat Arcak; John T. Wen (Wirel. Networks, 2008)

A New Sufficient Condition for Additive D-Stability and Application to Cyclic Reaction-Diffusion Models. - Xiaoqing Ge; Murat Arcak (ACC, 2009)

Synchronization of interconnected systems with an input-output approach. Part I: Main results. - Luca Scardovi; Murat Arcak; Eduardo D. Sontag (CDC, 2009)

Synchronization of interconnected systems with an input-output approach. Part II: State-space result and application to biochemical networks. - Luca Scardovi; Murat Arcak; Eduardo D. Sontag (CDC, 2009)

Adaptive motion coordination: Using relative velocity feedback to track a reference velocity. - He Bai 001; Murat Arcak; John T. Wen (Autom., 2009)

Time-scale separation redesigns for stabilization and performance recovery of uncertain nonlinear systems. - Aranya Chakrabortty; Murat Arcak (Autom., 2009)

A sufficient condition for additive D-stability and application to reaction-diffusion models. - Xiaoqing Ge; Murat Arcak (Syst. Control. Lett., 2009)

Robust Stabilization and Performance Recovery of Nonlinear Systems With Unmodeled Dynamics. - Aranya Chakrabortty; Murat Arcak (IEEE Trans. Autom. Control., 2009)

Linear matrix inequality tests for synchrony of diffusively coupled nonlinear systems. - Murat Arcak (Allerton, 2010)

Designing node and edge weights of a graph to meet Laplacian eigenvalue constraints. - Sayed Yusef Shafi; Murat Arcak; Laurent El Ghaoui (Allerton, 2010)

On spatially uniform behavior in reaction-diffusion systems. - Murat Arcak (ACC, 2010)

Nonlinear analysis of ring oscillator circuits. - Xiaoqing Ge; Murat Arcak; Khaled N. Salama (ACC, 2010)

Equilibrium-independent passivity: a new definition and implications. - George H. Hines; Murat Arcak; Andrew K. Packard (ACC, 2010)

Robust global asymptotic attitude synchronization by hybrid control. - Christopher G. Mayhew; Ricardo G. Sanfelice; Murat Arcak; Andrew R. Teel (ACC, 2010)

Diagonal stability on cactus graphs. - Murat Arcak (CDC, 2010)

Instability Mechanisms in Cooperative Control. - He Bai 001; Murat Arcak (IEEE Trans. Autom. Control., 2010)

Synchronization of Interconnected Systems With Applications to Biochemical Networks: An Input-Output Approach. - Luca Scardovi; Murat Arcak; Eduardo D. Sontag (IEEE Trans. Autom. Control., 2010)

Cooperative Control Design - A Systematic, Passivity-Based Approach. - He Bai 001; Murat Arcak; John T. Wen (Springer, 2011)

A quenched oscillator network for pattern formation in gene expression. - Justin Hsia; William A. Holtz; Daniel C. Huang; Murat Arcak; Michel M. Maharbiz (ACC, 2011)

Evaluating the delay robustness of interconnected passive systems with a frequency-dependent integral quadratic constraint. - Erin Summers; Murat Arcak; Andrew K. Packard (ACC, 2011)

Scaling the size of a multiagent formation via distributed feedback. - Samuel Coogan 001; Murat Arcak; Magnus Egerstedt (CDC/ECC, 2011)

Graph weight design for Laplacian eigenvalue constraints with multi-agent systems applications. - Sayed Yusef Shafi; Murat Arcak; Laurent El Ghaoui (CDC/ECC, 2011)

Certifying spatially uniform behavior in reaction-diffusion PDE and compartmental ODE systems. - Murat Arcak (Autom., 2011)

Equilibrium-independent passivity: A new definition and numerical certification. - George H. Hines; Murat Arcak; Andrew K. Packard (Autom., 2011)

Diagonal Stability on Cactus Graphs and Application to Network Stability Analysis. - Murat Arcak (IEEE Trans. Autom. Control., 2011)

On biological pattern formation by contact inhibition. - Murat Arcak (ACC, 2012)

Formation control with size scaling using relative displacement feedback. - Samuel Coogan 001; Murat Arcak (ACC, 2012)

A decomposition-based approach to stability analysis of large-scale stochastic systems. - Ana Sofia Rufino Ferreira; Murat Arcak; Eduardo D. Sontag (ACC, 2012)

Further results on delay robustness of interconnected passive systems. - Erin Summers; Murat Arcak; Andrew K. Packard (ACC, 2012)

Synchronization and pattern formation in diffusively coupled systems. - Murat Arcak (CDC, 2012)

Guard synthesis for safety of hybrid systems using sum of squares programming. - Samuel Coogan 001; Murat Arcak (CDC, 2012)

New architecture for patterning gene expression using zinc finger proteins and small RNAs. - Justin Hsia; William J. Holtz; Michel M. Maharbiz; Murat Arcak (CDC, 2012)

Scaling the size of a formation using relative position feedback. - Samuel Coogan 001; Murat Arcak (Autom., 2012)

Stability certification of large scale stochastic systems using dissipativity. - Ana Sofia Rufino Ferreira; Murat Arcak; Eduardo D. Sontag (Autom., 2012)

A Graph Partitioning Approach to Predict Patterns in Lateral Inhibition Systems. - Ana Sofia Rufino Ferreira; Murat Arcak (CoRR, 2012)

A Feedback Quenched Oscillator Produces Turing Patterning with One Diffuser. - Justin Hsia; William J. Holtz; Daniel C. Huang; Murat Arcak; Michel M. Maharbiz (PLoS Comput. Biol., 2012)

Quaternion-Based Hybrid Feedback for Robust Global Attitude Synchronization. - Christopher G. Mayhew; Ricardo G. Sanfelice; Jansen Sheng; Murat Arcak; Andrew R. Teel (IEEE Trans. Autom. Control., 2012)

Graph Weight Allocation to Meet Laplacian Spectral Constraints. - Sayed Yusef Shafi; Murat Arcak; Laurent El Ghaoui (IEEE Trans. Autom. Control., 2012)

Predicting patterns in lateral inhibition systems via graph partitioning. - Ana Sofia Rufino Ferreira; Murat Arcak (ACC, 2013)

Spatial uniformity in diffusively-coupled systems using weighted L2 norm contractions. - Sayed Yusef Shafi; Zahra Aminzare; Murat Arcak; Eduardo D. Sontag (ACC, 2013)

Synchronization of limit cycle oscillations in diffusively-coupled systems. - Sayed Yusef Shafi; Murat Arcak; Mihailo R. Jovanovic (ACC, 2013)

Verifying safety of interconnected passive systems using SOS programming. - Samuel Coogan 001; Murat Arcak (CDC, 2013)

Synchronization of diffusively-coupled limit cycle oscillators. - Sayed Yusef Shafi; Murat Arcak; Mihailo R. Jovanovic; Andrew K. Packard (Autom., 2013)

A note on norm-based Lyapunov functions via contraction analysis. - Samuel Coogan 001; Murat Arcak (CoRR, 2013)

A Graph Partitioning Approach to Predicting Patterns in Lateral Inhibition Systems. - Ana Sofia Rufino Ferreira; Murat Arcak (SIAM J. Appl. Dyn. Syst., 2013)

Pattern Formation by Lateral Inhibition in Large-Scale Networks of Cells. - Murat Arcak (IEEE Trans. Autom. Control., 2013)

Delay Robustness of Interconnected Passive Systems: An Integral Quadratic Constraint Approach. - Erin Summers; Murat Arcak; Andrew K. Packard (IEEE Trans. Autom. Control., 2013)

Dynamical properties of a compartmental model for traffic networks. - Samuel Coogan 001; Murat Arcak (ACC, 2014)

An adaptive algorithm for synchronization in diffusively-coupled systems. - Sayed Yusef Shafi; Murat Arcak (ACC, 2014)

Pattern formation with a compartmental lateral inhibition system. - Ana Sofia Rufino Ferreira; Justin Hsia; Murat Arcak; Michel M. Maharbiz; Adam P. Arkin (CDC, 2014)

Trajectory-based reachability analysis of switched nonlinear systems using matrix measures. - John N. Maidens; Murat Arcak (CDC, 2014)

Performance certification of interconnected nonlinear systems using ADMM. - Chris Meissen; Laurent Lessard; Murat Arcak; Andrew K. Packard (CDC, 2014)

Freeway traffic control from linear temporal logic specifications. - Samuel Coogan 001; Murat Arcak (ICCPS, 2014)

A computational approach to synthesizing guards for hybrid systems. - Samuel Coogan 001; Murat Arcak (Syst. Control. Lett., 2014)

Controlling a network of signalized intersections from temporal logical specifications. - Samuel Coogan 001; Ebru Aydin Gol; Murat Arcak; Calin Belta (ACC, 2015)

Optimal experiment design for physiological parameter estimation using hyperpolarized carbon-13 magnetic resonance imaging. - John N. Maidens; Peder E. Z. Larson; Murat Arcak (ACC, 2015)

Offset optimization for a network of signalized intersections via semidefinite relaxation. - Samuel Coogan 001; Gabriel Gomes; Eric S. Kim; Murat Arcak; Pravin Varaiya (CDC, 2015)

Compositional controller synthesis for vehicular traffic networks. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (CDC, 2015)

Stabilizing submanifolds with passive input-output relations. - Jan Maximilian Montenbruck; Murat Arcak; Frank Allgöwer (CDC, 2015)

Efficient finite abstraction of mixed monotone systems. - Samuel Coogan 001; Murat Arcak (HSCC, 2015)

Compositional performance certification of interconnected systems using ADMM. - Chris Meissen; Laurent Lessard; Murat Arcak; Andrew K. Packard (Autom., 2015)

On the Mixed Monotonicity of FIFO Traffic Flow Models. - Samuel Coogan 001; Murat Arcak; Alexander Kurzhanskiy (CoRR, 2015)

A note on optimal experiment design for nonlinear systems using dynamic programming. - John N. Maidens; Murat Arcak (CoRR, 2015)

A Dissipativity Approach to Safety Verification for Interconnected Systems. - Samuel Coogan 001; Murat Arcak (IEEE Trans. Autom. Control., 2015)

A Compartmental Model for Traffic Networks and Its Dynamical Behavior. - Samuel Coogan 001; Murat Arcak (IEEE Trans. Autom. Control., 2015)

Reachability Analysis of Nonlinear Systems Using Matrix Measures. - John N. Maidens; Murat Arcak (IEEE Trans. Autom. Control., 2015)

Adaptive Synchronization of Diffusively Coupled Systems. - Sayed Yusef Shafi; Murat Arcak (IEEE Trans. Control. Netw. Syst., 2015)

Finite state abstraction and formal methods for traffic flow networks. - Samuel Coogan 001; Murat Arcak; Calin Belta (ACC, 2016)

Assume-guarantee contracts and controller synthesis for vehicular traffic networks. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (ACC, 2016)

Semidefinite relaxations in optimal experiment design with application to substrate injection for hyperpolarized MRI. - John N. Maidens; Murat Arcak (ACC, 2016)

Mixed monotonicity of partial first-in-first-out traffic flow models. - Samuel Coogan 001; Murat Arcak; Alexander Kurzhanskiy (CDC, 2016)

Parallel dynamic programming for optimal experiment design in nonlinear systems. - John N. Maidens; Andrew K. Packard; Murat Arcak (CDC, 2016)

Directed Specifications and Assumption Mining for Monotone Dynamical Systems. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (HSCC, 2016)

Stability of traffic flow networks with a polytree topology. - Samuel Coogan 001; Murat Arcak (Autom., 2016)

Stability of an analog optimization circuit for quadratic programming. - Sergey Vichik; Murat Arcak; Francesco Borrelli (Syst. Control. Lett., 2016)

Traffic Network Control From Temporal Logic Specifications. - Samuel Coogan 001; Ebru Aydin Gol; Murat Arcak; Calin Belta (IEEE Trans. Control. Netw. Syst., 2016)

Optimizing Flip Angles for Metabolic Rate Estimation in Hyperpolarized Carbon-13 MRI. - John N. Maidens; Jeremy W. Gordon; Murat Arcak; Peder E. Z. Larson (IEEE Trans. Medical Imaging, 2016)

Offset optimization of signalized intersections via the Burer-Monteiro method. - Eric S. Kim; Cheng-Ju Wu; Roberto Horowitz; Murat Arcak (ACC, 2017)

Symmetry reduction for dynamic programming and application to MRI. - John N. Maidens; Axel Barrau; Silvère Bonnabel; Murat Arcak (ACC, 2017)

A scalable method for designing distributed controllers for systems with unknown initial states. - Salar Fattahi; Javad Lavaei; Murat Arcak (CDC, 2017)

Sparsity-aware finite abstraction. - Felix Gruber; Eric S. Kim; Murat Arcak (CDC, 2017)

Dynamic contracts for distributed temporal logic control of traffic networks. - Eric S. Kim; Sadra Sadraddini; Calin Belta; Murat Arcak; Sanjit A. Seshia (CDC, 2017)

A Small Gain Theorem for Parametric Assume-Guarantee Contracts. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (HSCC, 2017)

Symbolic control design for monotone systems with directed specifications. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (Autom., 2017)

Sparsity-Sensitive Finite Abstraction. - Felix Gruber; Eric S. Kim; Murat Arcak (CoRR, 2017)

Contraction-based Observers using non-Euclidean Norms with an Application to Traffic Networks. - Samuel Coogan 001; Murat Arcak (CoRR, 2017)

An Input-Output Framework for Submanifold Stabilization. - Jan Maximilian Montenbruck; Murat Arcak; Frank Allgöwer (IEEE Trans. Autom. Control., 2017)

Finite Time Robust Control of the Sit-to-Stand Movement for Powered Lower Limb Orthoses. - Octavio Narvaez-Aroche; Andrew K. Packard; Murat Arcak (ACC, 2018)

Discrete Spatial Filtering by Networks of Cells Facilitates Biological Pattern Formation. - Melinda Liu Perkins; Murat Arcak (ACC, 2018)

Small Satellite Constellation Separation using Linear Programming based Differential Drag Commands. - Emmanuel Sin; Murat Arcak; Andrew K. Packard (ACC, 2018)

Hierarchical Control via an Approximate Aggregate Manifold. - Stanley W. Smith; Murat Arcak; Majid Zamani 001 (ACC, 2018)

Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties. - Murat Arcak; John N. Maidens (Principles of Modeling, 2018)

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. - Eric S. Kim; Murat Arcak; Mahmoud Khaled; Majid Zamani 001 (HSCC, 2018)

Constructing Control System Abstractions from Modular Components. - Eric S. Kim; Murat Arcak; Majid Zamani 001 (HSCC, 2018)

Symmetry reduction for dynamic programming. - John Maidens; Axel Barrau; Silvère Bonnabel; Murat Arcak (Autom., 2018)

A Benchmark Problem in Transportation Networks. - Samuel Coogan 001; Murat Arcak (CoRR, 2018)

Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia; BaekGyu Kim; Shinichi Shiraishi (SCAV@CPSWeek, 2018)

Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses. - Octavio Narvaez-Aroche; Pierre-Jean Meyer; Murat Arcak; Andrew K. Packard (CoRR, 2018)

Abstractions for Symbolic Controller Synthesis are Composable. - Eric S. Kim; Murat Arcak (CoRR, 2018)

Reachability Analysis Using Dissipation Inequalities For Nonlinear Dynamical Systems. - He Yin; Andrew K. Packard; Murat Arcak; Peter J. Seiler (CoRR, 2018)

Exploiting Symmetry for Discrete-Time Reachability Computations. - John N. Maidens; Murat Arcak (IEEE Control. Syst. Lett., 2018)

Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity. - Pierre-Jean Meyer; Samuel Coogan 001; Murat Arcak (IEEE Control. Syst. Lett., 2018)

Symmetry Reduction for Performance Certification of Interconnected Systems. - Ana Sofia Rufino Ferreira; Chris Meissen; Murat Arcak; Andrew K. Packard (IEEE Trans. Control. Netw. Syst., 2018)

Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach. - Majid Zamani 001; Murat Arcak (IEEE Trans. Control. Netw. Syst., 2018)

Spatio-Temporally Constrained Reconstruction for Hyperpolarized Carbon-13 MRI Using Kinetic Models. - John Maidens; Jeremy W. Gordon; Hsin-Yu Chen; Ilwoo Park; Mark Van Criekinge; Eugene Milshteyn; Robert Bok; Rahul Aggarwal; Marcus Ferrone; James B. Slater; John Kurhanewicz; Daniel B. Vigneron; et al. (IEEE Trans. Medical Imaging, 2018)

Pattern Formation over Multigraphs. - András György 002; Murat Arcak (IEEE Trans. Netw. Sci. Eng., 2018)

Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems. - He Yin; Andrew K. Packard; Murat Arcak; Peter J. Seiler (ACC, 2019)

Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (CAV (1), 2019)

Continuous Abstraction of Nonlinear Systems using Sum-of-Squares Programming. - Stanley W. Smith; He Yin; Murat Arcak (CDC, 2019)

Balancing Safety and Traffic Throughput in Cooperative Vehicle Platooning. - Stanley W. Smith; Yeojun Kim; Jacopo Guanetti; Alexander Kurzhanskiy; Murat Arcak; Francesco Borrelli (ECC, 2019)

TIRA: toolbox for interval reachability analysis. - Pierre-Jean Meyer; Alex Devonport; Murat Arcak (HSCC, 2019)

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. - Mahmoud Khaled; Eric S. Kim; Murat Arcak; Majid Zamani 001 (TACAS (2), 2019)

Finite horizon robustness analysis of LTV systems using integral quadratic constraints. - Peter J. Seiler; Robert Moore; Chris Meissen; Murat Arcak; Andrew K. Packard (Autom., 2019)

Continuous and discrete abstractions for planning, applied to ship docking. - Pierre-Jean Meyer; He Yin; Astrid H. Brodtkorb; Murat Arcak; Asgeir J. Sørensen (CoRR, 2019)

Interval Reachability Analysis using Second-Order Sensitivity. - Pierre-Jean Meyer; Murat Arcak (CoRR, 2019)

Editorial to the Special Issue of L-CSS on Control and Network Theory for Biological Systems. - Murat Arcak; Franco Blanchini; M. Vidyasagar (IEEE Control. Syst. Lett., 2019)

A Spatial Filtering Approach to Biological Patterning. - Melinda Liu Perkins; Murat Arcak (SIAM J. Appl. Dyn. Syst., 2019)

Transformation of Optimal Centralized Controllers Into Near-Globally Optimal Static Distributed Controllers. - Salar Fattahi; Ghazal Fazelnia; Javad Lavaei; Murat Arcak (IEEE Trans. Autom. Control., 2019)

Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods. - Alex Devonport; Murat Arcak (ACC, 2020)

Classifier-Based Supervisory Control with Application to Threat Engagement. - Katherine S. Schweidel; Andrew K. Packard; Murat Arcak; Peter J. Seiler; Douglas O. Philbrick (ACC, 2020)

Optimal assignment of collaborating agents in multi-body asset-guarding games. - Emmanuel Sin; Murat Arcak; Andrew K. Packard; Douglas Philbrick; Peter J. Seiler (ACC, 2020)

Optimization Based Planner-Tracker Design for Safety Guarantees. - He Yin; Monimoy Bujarbaruah; Murat Arcak; Andrew K. Packard (ACC, 2020)

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. - Alex Devonport; Mahmoud Khaled; Murat Arcak; Majid Zamani 001 (CAV (1), 2020)

Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels. - Alex Devonport; He Yin; Murat Arcak (CDC, 2020)

Platoon Formation Algorithm for Minimizing Travel Time. - Mikhail Burov; Negar Mehr; Stanley W. Smith; Alexander Kurzhanskiy; Murat Arcak (ITSC, 2020)

Estimating Reachable Sets with Scenario Optimization. - Alex Devonport; Murat Arcak (L4DC, 2020)

Improving Urban Traffic Throughput With Vehicle Platooning: Theory and Experiments. - Stanley W. Smith; Yeojun Kim; Jacopo Guanetti; Ruolin Li; Roya Firoozi; Bruce Wootton; Alex A. Kurzhanskiy; Francesco Borrelli; Roberto Horowitz; Murat Arcak (IEEE Access, 2020)

Approximate abstractions of control systems with an application to aggregation. - Stanley W. Smith; Murat Arcak; Majid Zamani 001 (Autom., 2020)

Passivity-based distributed acquisition and station-keeping control of a satellite constellation in areostationary orbit. - Emmanuel Sin; He Yin; Murat Arcak (CoRR, 2020)

Iterative Best Response for Multi-Body Asset-Guarding Games. - Emmanuel Sin; Murat Arcak; Douglas Philbrick; Peter J. Seiler (CoRR, 2020)

Reachability analysis using dissipation inequalities for uncertain nonlinear systems. - He Yin; Andrew K. Packard; Murat Arcak; Peter J. Seiler (Syst. Control. Lett., 2020)

Cooperative Control for Multirotors Transporting an Unknown Suspended Load Under Environmental Disturbances. - Kristian Klausen; Chris Meissen; Thor I. Fossen; Murat Arcak; Tor Arne Johansen (IEEE Trans. Control. Syst. Technol., 2020)

Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis. - Octavio Narvaez-Aroche; Pierre-Jean Meyer; Stephen Tu; Andrew K. Packard; Murat Arcak (IEEE Trans. Control. Syst. Technol., 2020)

Escaping Spurious Local Minimum Trajectories in Online Time-varying Nonconvex Optimization. - Yuhao Ding; Javad Lavaei; Murat Arcak (ACC, 2021)

Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. - Yash Vardhan Pant; He Yin; Murat Arcak; Sanjit A. Seshia (ACC, 2021)

Symbolic Abstractions From Data: A PAC Learning Approach. - Alex Devonport; Adnane Saoud; Murat Arcak (CDC, 2021)

Data-Driven Reachability Analysis with Christoffel Functions. - Alex Devonport; Forest Yang; Laurent El Ghaoui; Murat Arcak (CDC, 2021)

Data-driven estimation of forward reachable sets. - Alex Devonport; Murat Arcak (CAADCPS@CPSIoTWeek, 2021)

Detecting Braess Routes: An Algorithm Accounting for Queuing Delays With an Extended Graph. - Mikhail Burov; Can Kizilkale; Alexander Kurzhanskiy; Murat Arcak (ITSC, 2021)

Attitude Trajectory Optimization for Agile Satellites in Autonomous Remote Sensing Constellation. - Emmanuel Sin; Sreeja Nag; Vinay Ravindra; Alan S. Li; Murat Arcak (CoRR, 2021)

Speed Advisory System Using Real-Time Actuated Traffic Light Phase Length Prediction. - Mikhail Burov; Murat Arcak; Alexander Kurzhanskiy (CoRR, 2021)

DaDRA: A Python Library for Data-Driven Reachability Analysis. - Jared Mejia; Alex Devonport; Murat Arcak (CoRR, 2021)

Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions. - Alex Devonport; Forest Yang; Laurent El Ghaoui; Murat Arcak (CoRR, 2021)

An Efficient Algorithm to Compute Norms for Finite Horizon, Linear Time-Varying Systems. - Jyot R. Buch; Murat Arcak; Peter J. Seiler (IEEE Control. Syst. Lett., 2021)

Computing Worst-Case Disturbances for Finite-Horizon Linear Time-Varying Approximations of Uncertain Systems. - Katherine S. Schweidel; Jyot R. Buch; Peter J. Seiler; Murat Arcak (IEEE Control. Syst. Lett., 2021)

Backward Reachability Using Integral Quadratic Constraints for Uncertain Nonlinear Systems. - He Yin; Peter J. Seiler; Murat Arcak (IEEE Control. Syst. Lett., 2021)

Backward Reachability for Polynomial Systems on a Finite Horizon. - He Yin; Murat Arcak; Andrew K. Packard; Peter J. Seiler (IEEE Trans. Autom. Control., 2021)

Dissipativity Tools for Convergence to Nash Equilibria in Population Games. - Murat Arcak; Nuno C. Martins (IEEE Trans. Control. Netw. Syst., 2021)

Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems. - Fangda Gu; He Yin; Laurent El Ghaoui; Murat Arcak; Peter J. Seiler; Ming Jin 002 (AAAI, 2022)

Fast Assignment in Asset-Guarding Engagements using Function Approximation. - Neelay Junnarkar; Emmanuel Sin; Peter Seiler 001; Douglas Philbrick; Murat Arcak (ACC, 2022)

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers. - Neelay Junnarkar; He Yin; Fangda Gu; Murat Arcak; Peter J. Seiler (CDC, 2022)

Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics. - Semih Kara; Nuno C. Martins; Murat Arcak (CDC, 2022)

Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems. - Adnane Saoud; Murat Arcak (CDC, 2022)

Safe-by-design planner-tracker synthesis with a hierarchy of system models. - Katherine S. Schweidel; He Yin; Stanley W. Smith; Murat Arcak (Annu. Rev. Control., 2022)

Safe-by-Design Planner-Tracker Synthesis. - Katherine S. Schweidel; He Yin; Stanley W. Smith; Murat Arcak (CoRR, 2022)

Compositional Analysis of Interconnected Systems Using Delta Dissipativity. - Katherine S. Schweidel; Murat Arcak (IEEE Control. Syst. Lett., 2022)

Monotonicity-Based Symbolic Control for Safety in Driving Scenarios. - Stanley W. Smith; Adnane Saoud; Murat Arcak (IEEE Control. Syst. Lett., 2022)

Imitation Learning With Stability and Safety Guarantees. - He Yin; Peter J. Seiler; Ming Jin 002; Murat Arcak (IEEE Control. Syst. Lett., 2022)

Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers. - He Yin; Peter Seiler 001; Murat Arcak (IEEE Trans. Autom. Control., 2022)

Constellation Phasing of Spacecraft in Near-Circular, In-Plane Orbits using Low-Thrust Trajectory Optimization. - Emmanuel Sin; Murat Arcak (ACC, 2023)

Data-Driven Reachability Analysis for Gaussian Process State Space Models. - Paul Griffioen; Murat Arcak (CDC, 2023)

Frequency Domain Gaussian Process Models for H∞ Uncertainties. - Alex Devonport; Peter Seiler 001; Murat Arcak (L4DC, 2023)

Probabilistic Invariance for Gaussian Process State Space Models. - Paul Griffioen; Alex Devonport; Murat Arcak (L4DC, 2023)

Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity. - Brendon G. Anderson; Somayeh Sojoudi; Murat Arcak (CoRR, 2023)

Frequency-domain Gaussian Process Models for H∞ Uncertainties. - Alex Devonport; Peter Seiler 001; Murat Arcak (CoRR, 2023)

Safe-by-Design Planner-Tracker Synthesis With Unmodeled Input Dynamics. - Katherine S. Schweidel; Peter J. Seiler; Murat Arcak (IEEE Control. Syst. Lett., 2023)

Time-Variation in Online Nonconvex Optimization Enables Escaping From Spurious Local Minima. - Yuhao Ding; Javad Lavaei; Murat Arcak (IEEE Trans. Autom. Control., 2023)

Data-Driven Reachability and Support Estimation With Christoffel Functions. - Alex Devonport; Forest Yang; Laurent El Ghaoui; Murat Arcak (IEEE Trans. Autom. Control., 2023)

Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations. - Bingzhuo Zhong; Murat Arcak; Majid Zamani 001 (ADHS, 2024)

Incentive Designs for Learning Agents to Stabilize Coupled Exogenous Systems. - Jair Certório; Nuno C. Martins; Richard J. La; Murat Arcak (CDC, 2024)

Solving Monotone Variational Inequalities with Best Response Dynamics. - Yu-Wen Chen; Can Kizilkale; Murat Arcak (CDC, 2024)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order. - Vignesh Sivaramakrishnan; Rosalyn A. Devonport; Murat Arcak; Meeko M. K. Oishi (CDC, 2024)

Optimal Electric Vehicle Charging Station Placement as a Congestion Game Problem. - Yasin Sonmez; Can Kizilkale; Alex A. Kurzhanskiy; Murat Arcak (ECC, 2024)

Nonconvex scenario optimization for data-driven reachability. - Elizabeth Dietrich; Alex Devonport; Murat Arcak (L4DC, 2024)

Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. - Hussein Sibai; Sacha Huriot; Tyler Martin; Murat Arcak (NFM, 2024)

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees. - Neelay Junnarkar; Murat Arcak; Peter J. Seiler (CoRR, 2024)

Grouping of N-1 Contingencies for Controller Synthesis: A Study for Power Line Failures. - Neelay Junnarkar; Emily Jensen; Xiaofan Wu; Suat Gumussoy; Murat Arcak (CoRR, 2024)

Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models. - Paul Griffioen; Bingzhuo Zhong; Murat Arcak; Majid Zamani 001; Marco Caccamo (CoRR, 2024)

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning With Asymmetric Rewards. - Yasin Sonmez; Neelay Junnarkar; Murat Arcak (IEEE Control. Syst. Lett., 2024)

Characterization, verification and computation of robust controlled invariants for monotone dynamical systems. - Adnane Saoud; Murat Arcak (Math. Control. Signals Syst., 2024)

Editorial to the collection of papers dedicated to Eduardo D. Sontag on the occasion of his 70th birthday. - Murat Arcak; Yacine Chitour; Patrick De Leenheer; Lars Grüne (Math. Control. Signals Syst., 2024)

A Two-stage Mechanism for Prioritized Trajectory Planning in Multi-Agent Systems. - Yu-Wen Chen; Can Kizilkale; Murat Arcak (ACC, 2025)

Stability Margins of Neural Network Controllers. - Neelay Junnarkar; Murat Arcak; Peter Seiler 001 (ACC, 2025)

Sharc: Simulator for Hardware Architecture and Real-time Control. - Paul K. Wintz; Yasin Sonmez; Paul Griffioen; Mingsheng Xu; Surim Oh; Heiner Litz; Ricardo G. Sanfelice; Murat Arcak (HSCC, 2025)

Learning Biomolecular Models using Signal Temporal Logic. - Hanna Krasowski; Eric Palanques-Tost; Calin Belta; Murat Arcak (L4DC, 2025)

On Exact Solutions to the Linear Bellman Equation. - David Ohlin; Richard Pates; Murat Arcak (IEEE Control. Syst. Lett., 2025)

Intelligent Sailing Model for Open Sea Navigation. - Hanna Krasowski; Stefan Schärdinger; Murat Arcak; Matthias Althoff (CoRR, 2025)

Symbolic Control for Autonomous Docking of Marine Surface Vessels. - Elizabeth Dietrich; Emir Cem Gezer; Bingzhuo Zhong; Murat Arcak; Majid Zamani 001; Roger Skjetne; Asgeir Johan Sørensen (CoRR, 2025)

Learning to Drive by Imitating Surrounding Vehicles. - Yasin Sonmez; Hanna Krasowski; Murat Arcak (CoRR, 2025)

Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework. - Emily Jensen; Neelay Junnarkar; Murat Arcak; Xiaofan Wu; Suat Gumussoy (IEEE Trans. Control. Netw. Syst., 2025)

Data-Driven Reachability with Scenario Optimization and the Holdout Method. - Elizabeth Dietrich; Rosalyn A. Devonport; Stephen Tu; Murat Arcak (CoRR, 2025)

Set Invariance with Probability One for Controlled Diffusion: Score-based Approach. - Wenqing Wang; Alexis M. H. Teter; Murat Arcak; Abhishek Halder (CoRR, 2025)