Books
P. Meyer, A. Devonport, and M. Arcak, Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
M. Arcak, C. Meissen, and A. Packard, Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety
H. Bai, M. Arcak, and J. Wen, Cooperative Control Design: A Systematic, Passivity-Based Approach
Book chapters or sections
A. Devonport and M. Arcak, "Data-Driven Estimation of Forward Reachable Sets ," in Computation-Aware Algorithmic Design for Cyber-Physical Systems , M. Prandini and R. G. Sanfelice, Eds., Cham: Springer International Publishing, 2023, pp. 165--185.
J. Maidens and M. Arcak, "Control and optimization problems in hyperpolarized carbon-13 MRI," in Emerging Applications of Control and Systems Theory , R. Tempo, S. Yurkovich, and P. Misra, Eds., Springer, 2018, pp. 29-40.
M. Arcak and J. Maidens, "Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties ," in Principles of Modeling , M. Lohstroh, P. Derler, and M. Sirjani, Eds., Springer, 2018, pp. 61-76.
Z. Aminzare, Y. Shafi, M. Arcak, and E. D. Sontag, "Guaranteeing spatial uniformity in reaction-diffusion systems using weighted L2-norm contractions," in A Systems Theoretic Approach to Systems and Synthetic Biology: Models and System Characterizations , V. V. Kulkarni, G. Stan, and K. Raman, Eds., Vol. 1, London, U.K.: Springer Verlag, 2014, ch. 3.
M. Arcak, "Passivity approach to network stability analysis and distributed control synthesis," in The Control Handbook , W. Levine, Ed., second ed., Vol. II, CRC Press, 2010, pp. 1-18.
E. D. Sontag and M. Arcak, "Passivity-based stability of interconnection structures ," in Recent Advances in Learning and Control: Festschrift on the Occasion of Mathukumalli Vidyasagar's 60th Birthday , V. D. Blondel, S. P. Boyd, and H. Kimura, Eds., Lecture Notes in Control and Information Sciences, Vol. 371, Berlin, Germany: Springer-Verlag, 2008, pp. 195-204.
M. Arcak, "Circle-Criterion Observers and Their Feedback Applications: An Overview ," in Current Trends in Nonlinear Systems and Control: In Honor of Petar Kokotovic and Turi Nicosia , L. Menini, L. Zaccarian, and C. T. Abdallah, Eds., Systems and Control: Foundations and Applications, Boston, MA: Birkhauser Boston, 2006, pp. 3-14.
E. Biyik and M. Arcak, "Passivity-based agreement protocols: Continuous-time and sampled-data designs ," in Group Coordination and Cooperative Control: Proc. 2006 Workshop on Group Coordination and Cooperative Control , K. Y. Pettersen, J. T. Gravdahl, and H. Nijmeijer, Eds., Lecture Notes in Control and Information Sciences, Vol. 336, Berlin, Germany: Springer-Verlag, 2006, pp. 21-33.
P. V. Kokotovic and M. Arcak, "Robust Control of Nonlinear Systems: A Control Lyapunov Function Approach," in Encyclopedia of Life Support Systems (EOLSS): Control Systems, Robotics, and Automation , H. Unbehauen, Ed., Oxford, Oxfordshire, UK: Eolss Publishers, 2004.
P. V. Kokotovic and M. Arcak, "Activation of Nonlinear Feedback Concepts," in System Theory: Modeling, Analysis, and Control--A Tribute to Sanjoy K. Mitter , T. E. Djaferis and I. C. Schick, Eds., The Springer International Series in Engineering and Computer Science, New York, NY: Springer-Verlag New York, LLC, 1999, pp. 379-389.
Articles in journals or magazines
N. Junnarkar, E. Jensen, X. Wu, S. Gumussoy, and M. Arcak, "Grouping of N-1 Contingencies for Controller Synthesis: A Study for Power Line Failures ," IEEE Transactions on Power Systems , vol. 40, no. 1, pp. 585-596, Jan. 2025.
B. Yalcin, H. Zhang, J. Lavaei, and M. Arcak, "Exact Recovery for System Identification with More Corrupt Data than Clean Data ," IEEE Open Journal of Control Systems , vol. 4, pp. 1-17, Jan. 2025.
Y. Sonmez, N. Junnarkar, and M. Arcak, "Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning With Asymmetric Rewards ," IEEE Control Systems Letters , vol. 8, pp. 1180-1185, June 2024.
A. Saoud and M. Arcak, "Characterization, verification and computation of robust controlled invariants for monotone dynamical systems ," Mathematics of Control, Signals, and Systems , Sep. 2023.
A. Devonport, F. Yang, L. E. Ghaoui, and M. Arcak, "Data-Driven Reachability and Support Estimation With Christoffel Functions ," IEEE Transactions on Automatic Control , vol. 68, no. 9, pp. 5216-5229, Sep. 2023.
K. S. Schweidel, P. J. Seiler, and M. Arcak, "Safe-by-design planner-tracker synthesis with unmodeled input dynamics ," IEEE Control Systems Letters , vol. 7, pp. 3163-3168, July 2023.
A. Gyorgy, A. Menezes, and M. Arcak, "A blueprint for a synthetic genetic feedback optimizer ," Nature Communications , vol. 14, no. 1, pp. 2554, May 2023.
Y. Ding, J. Lavaei, and M. Arcak, "Time-Variation in Online Nonconvex Optimization Enables Escaping From Spurious Local Minima ," IEEE Transactions on Automatic Control , vol. 68, no. 1, pp. 156-171, Jan. 2023.
K. S. Schweidel, H. Yin, S. W. Smith, and M. Arcak, "Safe-by-design planner–tracker synthesis with a hierarchy of system models ," Annual Reviews in Control , vol. 53, pp. 138-146, 2022.
S. W. Smith, A. Saoud, and M. Arcak, "Monotonicity-Based Symbolic Control for Safety in Driving Scenarios ," IEEE Control Systems Letters , vol. 6, pp. 830-835, 2022.
K. S. Schweidel and M. Arcak, "Compositional Analysis of Interconnected Systems Using Delta Dissipativity ," IEEE Control Systems Letters , vol. 6, pp. 662-667, 2022.
H. Yin, P. Seiler, M. Jin, and M. Arcak, "Imitation Learning With Stability and Safety Guarantees ," IEEE Control Systems Letters , vol. 6, pp. 409-414, 2022.
M. Arcak, "Compositional Design and Verification of Large-Scale Systems Using Dissipativity Theory: Determining Stability and Performance from Subsystem Properties and Interconnection Structures ," IEEE Control Systems Magazine , vol. 42, no. 2, pp. 51-62, April 2022.
H. Yin, P. Seiler, and M. Arcak, "Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers ," IEEE Transactions on Automatic Control , vol. 67, no. 4, pp. 1980-1987, April 2022.
H. Yin, M. Arcak, A. Packard, and P. Seiler, "Backward Reachability for Polynomial Systems on a Finite Horizon ," IEEE Transactions on Automatic Control , vol. 66, no. 12, pp. 6025-6032, Dec. 2021.
K. S. Schweidel, J. R. Buch, P. J. Seiler, and M. Arcak, "Computing Worst-Case Disturbances for Finite-Horizon Linear Time-Varying Approximations of Uncertain Systems ," IEEE Control Systems Letters , vol. 5, no. 5, pp. 1753-1758, Nov. 2021.
J. Buch, M. Arcak, and P. Seiler, "An Efficient Algorithm to Compute Norms for Finite Horizon, Linear Time-Varying Systems ," IEEE Control Systems Letters , vol. 5, no. 5, pp. 1597-1602, Nov. 2021.
H. Yin, P. Seiler, and M. Arcak, "Backward Reachability Using Integral Quadratic Constraints for Uncertain Nonlinear Systems ," IEEE Control Systems Letters , vol. 5, no. 2, pp. 707-712, April 2021.
M. Arcak and N. C. Martins, "Dissipativity Tools for Convergence to Nash Equilibria in Population Games ," IEEE Transactions on Control of Network Systems , vol. 8, no. 1, pp. 39-50, March 2021.
O. Narvaez Aroche, P. J. Meyer, S. Tu, A. Packard, and M. Arcak, "Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis ," IEEE Transactions on Control Systems Technology , vol. 28, no. 6, pp. 2390-2403, Nov. 2020.
S. Smith, M. Arcak, and M. Zamani, "Approximate abstractions of control systems with an application to aggregation ," Automatica , vol. 119, pp. 109065, Sep. 2020.
H. Yin, A. Packard, M. Arcak, and P. Seiler, "Reachability analysis using dissipation inequalities for uncertain nonlinear systems ," Systems & Control Letters , vol. 142, pp. 104736, Aug. 2020.
S. W. Smith, Y. Kim, J. Guanetti, R. Li, R. Firoozi, B. Wootton, A. A. Kurzhanskiy, F. Borrelli, R. Horowitz, and M. Arcak, "Improving urban traffic throughput with vehicle platooning: theory and experiments ," IEEE Access , vol. 8, pp. 141208-141223, July 2020.
M. Perkins, D. Benzinger, M. Arcak, and M. Khammash, "Cell-in-the-loop pattern formation with optogenetically emulated cell-to-cell signaling ," Nature Communications , vol. 11, no. 1, pp. 1355, March 2020.
K. Klausen, C. Meissen, T. I. Fossen, M. Arcak, and T. A. Johansen, "Cooperative Control for Multirotors Transporting an Unknown Suspended Load Under Environmental Disturbances ," IEEE Transactions on Control Systems Technology , vol. 28, no. 2, pp. 653-660, March 2020.
M. Tei, M. L. Perkins, J. Hsia, M. Arcak, and A. P. Arkin, "Designing spatially distributed gene regulatory networks to elicit contrasting patterns ," ACS Synthetic Biology , vol. 8, no. 1, pp. 119-126, 2019.
M. Perkins and M. Arcak, "A spatial filtering approach to biological patterning ," SIAM Journal on Applied Dynamical Systems , vol. 18, no. 3, pp. 1694-1721, Sep. 2019.
M. Arcak, F. Blanchini, and M. Vidyasagar, "Editorial to the Special Issue of L-CSS on Control and Network Theory for Biological Systems ," IEEE Control Systems Letters , vol. 3, no. 2, pp. 228-229, April 2019.
P. Seiler, R. M. Moore, C. Meissen, M. Arcak, and A. Packard, "Finite horizon robustness analysis of LTV systems using integral quadratic constraints ," Automatica , vol. 100, pp. 135 - 143, Feb. 2019.
S. Fattahi, G. Fazelnia, J. Lavaei, and M. Arcak, "Transformation of Optimal Centralized Controllers Into Near-Globally Optimal Static Distributed Controllers ," IEEE Transactions on Automatic Control , vol. 64, no. 1, pp. 66-80, Jan. 2019.
J. Maidens, J. W. Gordon, H. Chen, I. Park, M. V. Criekinge, E. Milshteyn, R. Bok, R. Aggarwal, M. Ferrone, J. B. Slater, J. Kurhanewicz, D. B. Vigneron, M. Arcak, and P. E. Z. Larson, "Spatio-Temporally Constrained Reconstruction for Hyperpolarized Carbon-13 MRI Using Kinetic Models ," IEEE Transactions on Medical Imaging , vol. 37, no. 12, pp. 2603-2612, Dec. 2018.
P. E. Z. Larson, H. Chen, J. W. Gordon, N. Korn, J. Maidens, M. Arcak, M. V. Criekinge, L. Carvajal, D. Mammoli, R. Bok, R. Aggarwal, M. Ferrone, J. B. Slater, S. J. Nelson, J. Kurhanewicz, and D. B. Vigneron, "Investigation of analysis methods for hyperpolarized 13C-pyruvate metabolic MRI in prostate cancer patients ," NMR in Biomedicine , vol. 31, no. 11, pp. e3997, Nov. 2018.
J. Maidens, A. Barrau, S. Bonnabel, and M. Arcak, "Symmetry reduction for dynamic programming ," Automatica , vol. 97, pp. 367 - 375, Nov. 2018.
P. J. Meyer, S. Coogan, and M. Arcak, "Sampled-data reachability analysis using sensitivity and mixed-monotonicity ," IEEE Control Systems Letters , vol. 2, no. 4, pp. 761-766, Oct. 2018.
M. Zamani and M. Arcak, "Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach ," IEEE Transactions on Control of Network Systems , vol. 5, no. 3, pp. 1003-1015, Sep. 2018.
J. Maidens and M. Arcak, "Exploiting Symmetry for Discrete-Time Reachability Computations ," IEEE Control Systems Letters , vol. 2, no. 2, pp. 213-217, April 2018.
A. S. R. Ferreira, C. Meissen, M. Arcak, and A. Packard, "Symmetry Reduction for Performance Certification of Interconnected Systems ," IEEE Transactions on Control of Network Systems , vol. 5, no. 1, pp. 525-535, March 2018.
A. Gyorgy and M. Arcak, "Pattern Formation over Multigraphs ," IEEE Transactions on Network Science and Engineering , vol. 5, no. 1, pp. 55-64, Jan. 2018.
M. M. Gomez and M. Arcak, "A Tug-of-War Mechanism for Pattern Formation in a Genetic Network ," ACS Synthetic Biology , vol. 6, no. 11, pp. 2056-2066, 2017.
S. Coogan, E. Kim, G. Gomes, M. Arcak, and P. Varaiya, "Offset optimization in signalized traffic networks via semidefinite relaxation ," Transportation Research Part B: Methodological , vol. 100, pp. 82 - 92, 2017.
S. Coogan and M. Arcak, "Finite abstraction of mixed monotone systems with discrete and continuous inputs ," Nonlinear Analysis: Hybrid Systems , vol. 23, pp. 254 - 271, 2017.
J. M. Montenbruck, M. Arcak, and F. Allgower, "An Input-Output Framework for Submanifold Stabilization ," IEEE Transactions on Automatic Control , vol. 62, no. 10, pp. 5170-5184, Oct. 2017.
E. S. Kim, M. Arcak, and S. A. Seshia, "Symbolic control design for monotone systems with directed specifications ," Automatica , vol. 83, pp. 10 - 19, Sep. 2017.
S. Coogan, M. Arcak, and C. Belta, "Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models ," IEEE Control Systems , vol. 37, no. 2, pp. 109-128, April 2017.
J. Maidens, J. W. Gordon, M. Arcak, and P. E. Z. Larson, "Optimizing Flip Angles for Metabolic Rate Estimation in Hyperpolarized Carbon-13 MRI ," IEEE Transactions on Medical Imaging , vol. 35, no. 11, pp. 2403-2412, Nov. 2016.
S. Coogan, E. A. Gol, M. Arcak, and C. Belta, "Traffic network control from temporal logic specifications ," IEEE Transactions on Control of Network Systems , vol. 3, no. 2, pp. 162-172, June 2016.
S. Coogan and M. Arcak, "Stability of traffic flow networks with a polytree topology ," Automatica , vol. 66, pp. 246 - 253, April 2016.
J. Hsia, W. Holtz, M. Maharbiz, M. Arcak, and J. Keasling, "Modular synthetic inverters from zinc finger proteins and small RNAs ," PLoS ONE , vol. 11, no. 2, pp. e0149483, Feb. 2016.
S. Vichik, M. Arcak, and F. Borrelli, "Stability of an analog optimization circuit for quadratic programming ," Systems & Control Letters , vol. 88, pp. 68 - 74, Feb. 2016.
C. Meissen, L. Lessard, M. Arcak, and A. K. Packard, "Compositional performance certification of interconnected systems using ADMM ," Automatica , vol. 61, pp. 55 - 63, Nov. 2015.
S. Coogan and M. Arcak, "A compartmental model for traffic networks and its dynamical behavior ," Automatic Control, IEEE Transactions on , vol. 60, no. 10, pp. 2698-2703, Oct. 2015.
A. Rufino Ferreira, J. Hsia, and M. Arcak, "A compartmental lateral inhibition system to generate contrasting patterns ," Life Sciences Letters, IEEE , vol. 1, no. 1, pp. 7-10, June 2015.
S. Shafi and M. Arcak, "Adaptive synchronization of diffusively coupled systems ," Control of Network Systems, IEEE Transactions on , vol. 2, no. 2, pp. 131-141, June 2015.
S. Coogan and M. Arcak, "A dissipativity approach to safety verification for interconnected systems ," Automatic Control, IEEE Transactions on , vol. 60, no. 6, pp. 1722-1727, June 2015.
J. H. Tu, M. Arcak, and M. Maharbiz, "Decoupling translational and rotational effects on the phase synchronization of rotating helices ," Phys. Rev. E , vol. 91, pp. 023018, Feb. 2015.
J. Maidens and M. Arcak, "Reachability analysis of nonlinear systems using matrix measures ," IEEE Transactions on Automatic Control , vol. 60, no. 1, pp. 265 - 270, Jan. 2015.
S. Coogan and M. Arcak, "A computational approach to synthesizing guards for hybrid systems ," Systems and Control Letters , vol. 73, pp. 25 - 32, Nov. 2014.
A. S. Rufino Ferreira and M. Arcak, "A graph partitioning approach to predicting patterns in lateral inhibition systems ," SIAM Journal on Applied Dynamical Systems , vol. 12, no. 4, pp. 2012 - 2031, Dec. 2013.
S. Y. Shafi, M. Arcak, M. Jovanovic, and A. K. Packard, "Synchronization of diffusively-coupled limit cycle oscillators ," Automatica , vol. 49, no. 12, pp. 3613 - 3622, Dec. 2013.
M. Arcak, "Pattern formation by lateral inhibition in large-scale networks of cells ," IEEE Transactions on Automatic Control , vol. 58, no. 5, pp. 1250-1262, May 2013.
E. Summers, M. Arcak, and A. Packard, "Delay robustness of interconnected passive systems: An integral quadratic constraint approach ," IEEE Transactions on Automatic Control , vol. 58, no. 3, pp. 712-724, March 2013.
A. Ferreira, M. Arcak, and E. Sontag, "Stability certification of large scale stochastic systems using dissipativity ," Automatica , vol. 48, no. 11, pp. 2956-2964, Nov. 2012.
S. Coogan and M. Arcak, "Scaling the size of a formation using relative position feedback ," Automatica , vol. 48, no. 10, pp. 2677-2685, Oct. 2012.
C. Mayhew, R. Sanfelice, J. Sheng, M. Arcak, and A. Teel, "Quaternion-based hybrid feedback for robust global attitude synchronization ," IEEE Transactions on Automatic Control , vol. 57, no. 8, pp. 2122-2127, Aug. 2012.
S. Shafi, M. Arcak, and L. El Ghaoui, "Graph weight design to meet Laplacian spectral constraints ," IEEE Transactions on Automatic Control , vol. 57, no. 7, pp. 1872-1877, July 2012.
J. Hsia, W. J. Holtz, D. C. Huang, M. Arcak, and M. Maharbiz, "A feedback quenched oscillator produces Turing patterning with one diffuser ," PLoS Computational Biology , vol. 8, no. 1, pp. e1002331, Jan. 2012.
M. Arcak, "Diagonal stability on cactus graphs and application to network stability analysis ," IEEE Transactions on Automatic Control , vol. 56, no. 12, pp. 2766-2777, Dec. 2011.
G. Hines, M. Arcak, and A. Packard, "Equilibrium-independent passivity: A new definition and numerical certification ," Automatica , vol. 47, no. 9, pp. 1949-1956, Sep. 2011.
M. Arcak, "Certifying spatially uniform behavior in reaction-diffusion PDE and compartmental ODE systems ," Automatica , vol. 47, no. 6, pp. 1219-1229, June 2011.
X. Ge, M. Arcak, and K. Salama, "Nonlinear Analysis of Ring Oscillator and Cross-Coupled Oscillator Circuits ," Dynamics of Continuous, Discrete and Impulsive Systems, Series B: Applications and Algorithms , vol. 17, no. 6, pp. 959-977, Dec. 2010.
L. Scardovi, M. Arcak, and E. Sontag, "Synchronization of interconnected systems with applications to biochemical networks: An input-output approach ," IEEE Transactions on Automatic Control , vol. 55, no. 6, pp. 1367-1379, June 2010.
H. Bai and M. Arcak, "Instability mechanisms in cooperative control ," IEEE Transactions on Automatic Control , vol. 55, pp. 258-263, Jan. 2010.
J. O'Rourke, M. Arcak, and R. Ramani, "Real-time optimization of net power in a fuel cell system ," Journal of Power Sources , vol. 187, pp. 422-430, 2009.
X. Ge and M. Arcak, "A sufficient condition for additive D-stability and application to reaction-diffusion models ," Systems and Control Letters , vol. 58, pp. 736-741, Oct. 2009.
J. O'Rourke, R. Ramani, and M. Arcak, "In situ detection of anode flooding of a PEM fuel cell ," International Journal of Hydrogen Energy , vol. 34, no. 16, pp. 6765-6770, Aug. 2009.
A. Chakrabortty and M. Arcak, "Robust stabilization and performance recovery of nonlinear systems with unmodeled dynamics ," IEEE Transactions on Automatic Control , vol. 54, no. 6, pp. 1351-1356, June 2009.
H. Bai, M. Arcak, and J. Wen, "Adaptive motion coordination: Using velocity feedback to track a reference velocity ," Automatica , vol. 45, no. 4, pp. 1020-1025, April 2009.
A. Chakrabortty and M. Arcak, "Time-scale separation redesigns for stabilization and performance recovery of uncertain nonlinear systems ," Automatica , vol. 45, no. 1, pp. 34-44, Jan. 2009.
H. Bai, M. Arcak, and J. Wen, "Rigid body attitude coordination without inertial frame information ," Automatica , vol. 44, no. 12, pp. 3170-3175, Dec. 2008.
T. Alpcan, X. Fan, T. Basar, M. Arcak, and J. T. Wen, "Power control for multicell CDMA wireless networks: A team optimization approach ," Wireless Networks , vol. 14, no. 5, pp. 647-657, Oct. 2008.
J. O'Rourke, M. Ramani, and M. Arcak, "Using electrochemical impedance to determine airflow rates ," Intl. J. Hydrogen Energy , vol. 33, no. 17, pp. 4694-4701, Sep. 2008.
H. Bai, M. Arcak, and J. T. Wen, "Adaptive design for reference velocity recovery in motion coordination ," Systems and Control Letters , vol. 57, no. 8, pp. 602-610, Aug. 2008.
E. Biyik and M. Arcak, "Gradient climbing in formation via extremum-seeking and passivity-based coordination rules ," Asian J. Control: Special Issue on "Collective Behavior and Control of Multi-Agent Systems" , vol. 10, no. 2, pp. 201-211, March 2008.
J. H. Chow, A. Chakrabortty, L. Vanfretti, and M. Arcak, "Estimation of radial power system transfer path dynamic parameters using synchronized phasor data ," IEEE Trans. Power Systems , vol. 23, no. 2, pp. 564-571, Feb. 2008.
E. Biyik and M. Arcak, "Area aggregation and time-scale modelling for sparse nonlinear networks ," Systems and Control Letters , vol. 57, no. 2, pp. 142-149, Feb. 2008.
M. R. Jovanovic, M. Arcak, and E. D. Sontag, "A passivity-based approach to stability of spatially distributed systems with a cyclic interconnection structure ," IEEE Trans. Automatic Control: Joint Special Issue on Systems Biology , vol. 53, pp. 75-86, Jan. 2008.
M. Arcak and E. D. Sontag, "A passivity-based stability criterion for a class of biochemical reaction networks ," Mathematical Biosciences and Engineering , vol. 5, no. 1, pp. 1-19, Jan. 2008.
I. A. F. Ihle, M. Arcak, and T. I. Fossen, "Passivity-based designs for synchronized path-following ," Automatica , vol. 43, no. 9, pp. 1508-1518, Sep. 2007.
M. Arcak, "Passivity as a design tool for group coordination ," IEEE Trans. Automatic Control , vol. 52, no. 8, pp. 1380-1390, Aug. 2007.
J. H. Chow, A. Chakrabortty, M. Arcak, B. Bhargava, and A. Salazar, "Synchronized phasor data based energy function analysis of dominant power transfer paths in large power systems ," IEEE Trans. Power Systems , vol. 22, no. 2, pp. 727-734, May 2007.
X. Fan, K. Chandrayana, M. Arcak, S. Kalyanaraman, and J. T. Y. Wen, "A two-time-scale design for edge-based detection and rectification of uncooperative flows ," IEEE/ACM Trans. Networking , vol. 14, no. 6, pp. 1313-1322, Dec. 2006.
X. Fan, T. Alpcan, M. Arcak, J. T. Y. Wen, and T. Basar, "A passivity approach to game-theoretic CDMA power control ," Automatica , vol. 42, no. 11, pp. 1837-1847, Nov. 2006.
M. Arcak and E. D. Sontag, "Diagonal stability of a class of cyclic systems and its connection with the secant criterion ," Automatica , vol. 42, no. 9, pp. 1531-1537, Sep. 2006.
E. Biyik and M. Arcak, "A hybrid redesign of Newton observers in the absence of an exact discrete-time model ," Systems and Control Letters , vol. 55, no. 6, pp. 429-436, June 2006.
H. Gorgun, M. Arcak, and F. Barbir, "An algorithm for estimation of membrane water content in PEM fuel cells ," J. Power Sources , vol. 157, no. 1, pp. 389-394, June 2006.
X. Fan and M. Arcak, "Delay robustness of a class of nonlinear systems and applications to communication networks ," IEEE Trans. Automatic Control , vol. 51, no. 1, pp. 139-144, Jan. 2006.
M. Arcak, "Certainty-equivalence output-feedback design with circle-criterion observers ," IEEE Trans. Automatic Control , vol. 50, no. 6, pp. 905-909, June 2005.
P. Tsiotras and M. Arcak, "Low-bias control of AMB subject to voltage saturation: State-feedback and observer designs ," IEEE Trans. Control Systems Technology , vol. 13, no. 2, pp. 262-273, March 2005.
H. Gorgun, M. Arcak, S. Varigonda, and S. A. Bortoff, "Observer designs for fuel processing reactors in fuel cell power systems ," Intl. J. Hydrogen Energy , vol. 30, no. 4, pp. 447-457, March 2005.
X. Fan, M. Arcak, and J. T. Wen, "A robustness analysis of game-theoretic CDMA power control ," Turkish J. Electrical Engineering and Computer Sciences, Elektrik , vol. 12, no. 3, pp. 139-150, Nov. 2004.
L. Praly and M. Arcak, "A relaxed condition for stability of nonlinear observer-based controllers ," Systems and Control Letters , vol. 53, no. 3-4, pp. 311-320, Nov. 2004.
M. Arcak and D. Nesic, "A framework for nonlinear sampled-data observer design via approximate discrete-time models and emulation ," Automatica , vol. 40, no. 11, pp. 1931-1938, Nov. 2004.
X. Fan, M. Arcak, and J. T. Wen, "Robustness of network flow control against distrubances and time-delay ," Systems and Control Letters , vol. 53, no. 1, pp. 13-29, Sep. 2004.
J. T. Wen and M. Arcak, "A unifying passivity framework for network flow control ," IEEE Trans. Automatic Control , vol. 49, no. 2, pp. 162-174, Feb. 2004.
M. Arcak, H. Gorgun, L. M. Pedersen, and S. Varigonda, "A nonlinear observer design for fuel cell hydrogen estimation ," IEEE Trans. Control Systems Technology , vol. 12, no. 1, pp. 101-110, Jan. 2004.
X. Fan and M. Arcak, "Observer design for systems with multivariable monotone nonlinearities ," Systems and Control Letters , vol. 50, no. 4, pp. 319-330, Nov. 2003.
L. Moreau, E. Sontag, and M. Arcak, "Feedback tuning of bifurcations ," Systems and Control Letters , vol. 50, no. 3, pp. 229-239, Oct. 2003.
M. Arcak, "Book Review: L2-Gain and Passivity Techniques in Nonlinear Control by Arjan van der Schaft ," Automatica , vol. 39, no. 6, pp. 1118-1119, June 2003.
M. Arcak, M. Larsen, and P. Kokotovic, "Circle and Popov criteria as tools for nonlinear feedback design ," Automatica , vol. 39, no. 4, pp. 643-650, April 2003.
M. Arcak, M. Larsen, and P. Kokotovic, "Boundedness without absolute stability in systems with stiffening nonlinearities," European J. Control: Special Issue on Dissipativity of Dynamical Systems , vol. 8, no. 3, pp. 243-250, 2002.
M. Arcak, D. Angeli, and E. Sontag, "A unifying integral ISS framework for stability of nonlinear cascades ," SIAM J. Control and Optimization , vol. 40, no. 6, pp. 1888-1904, 2002.
M. Arcak and A. Teel, "Input-to-state stability for a class of Lurie systems ," Automatica , vol. 38, no. 11, pp. 1945-1949, Nov. 2002.
R. Sepulchre, M. Arcak, and A. R. Teel, "Trading the stability of finite zeros for global stabilization of nonlinear cascade systems ," IEEE Trans. Automatic Control , vol. 47, no. 3, pp. 521-525, March 2002.
M. Arcak and P. Kokotovic, "Nonlinear observers: A circle criterion design and robustness analysis ," Automatica , vol. 37, no. 12, pp. 1923-1930, Dec. 2001.
Z. P. Jiang and M. Arcak, "Robust global stabilization with ignored input dynamics: An ISS small-gain approach ," IEEE Trans. Automatic Control , vol. 46, no. 9, pp. 1411-1415, Sep. 2001.
M. Arcak and P. Kokotovic, "Observer-based control of systems with slope-restricted nonlinearities ," IEEE Trans. Automatic Control , vol. 46, no. 7, pp. 1146-1150, July 2001.
M. Arcak and P. Kokotovic, "Redesign of backstepping for robustness against unmodeled dynamics ," Intl. J. Robust and Nonlinear Control: Special Issue on Robustness in Identification and Control , vol. 11, no. 7, pp. 633-643, June 2001.
O. M. Aamo, M. Arcak, T. I. Fossen, and P. V. Kokotovic, "Global output tracking control of a class of Euler-Lagrange systems with monotonic nonlinearities in the velocities ," Intl. J. Control , vol. 74, no. 7, pp. 649-658, May 2001.
P. Kokotovic and M. Arcak, "Constructive nonlinear control: A historical perspective ," Automatica , vol. 37, no. 5, pp. 637-662, May 2001.
M. Arcak and P. Kokotovic, "Feasibility conditions for circle criterion designs ," Systems and Control Letters , vol. 42, no. 5, pp. 405-412, April 2001.
M. Arcak, A. Teel, and P. Kokotovic, "Robust nonlinear control of feedforward systems with unmodeled dynamics ," Automatica , vol. 37, no. 2, pp. 265-272, Feb. 2001.
M. Arcak and P. Kokotovic, "Robust nonlinear control of systems with input unmodeled dynamics ," Systems and Control Letters , vol. 41, no. 2, pp. 115-122, Oct. 2000.
M. Arcak, M. Seron, J. Braslavsky, and P. Kokotovic, "Robustification of backstepping against input unmodeled dynamics ," IEEE Trans. Automatic Control , vol. 45, no. 7, pp. 1358-1363, July 2000.
M. Arcak and P. Kokotovic, "Observer-based stabilization of systems with monotonic nonlinearities ," Asian J. Control , vol. 1, no. 1, pp. 42-48, March 1999.
Articles in conference proceedings
V. Sivaramakrishnan, R. A. Devonport, M. Arcak, and M. Oishi, "Forward reachability for discrete-time nonlinear stochastic systems via mixed-monotonicity and stochastic order," in 63rd IEEE Conference on Decision and Control , 2024, pp. 5177--5184.
Y. Chen, C. Kizilkale, and M. Arcak, "Solving monotone variational inequalities with best response dynamics," in 63rd IEEE Conference on Decision and Control , 2024, pp. 1751--1756.
J. Certorio, N. C. Martins, R. J. La, and M. Arcak, "Incentive designs for learning agents to stabilize coupled exogenous systems," in 63rd IEEE Conference on Decision and Control , 2024, pp. 1751--1756.
E. Dietrich, A. Devonport, and M. Arcak, "Nonconvex scenario optimization for data-driven reachability ," in 6th Annual Learning for Dynamics and Control Conference , A. Abate, M. Cannon, K. Margellos, and A. Papachristodoulou, Eds., Proceedings of Machine Learning Research, Vol. 242, Oxford, UK: PMLR, 2024, pp. 514--527.
B. Zhong, M. Arcak, and M. Zamani, "Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations ," in The 8th IFAC Conference on Analysis and Design of Hybrid Systems , 2024.
Y. Sonmez, C. Kizilkale, A. Kurzhanskiy, and M. Arcak, "Optimal electric vehicle charging station placement as a congestion game problem ," in European Control Conference , 2024, pp. 693-698.
H. Sibai, S. Huriot, T. Martin, and M. Arcak, "Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis ," in NASA Formal Methods , N. Benz, D. Gopinath, and N. Shi, Eds., Cham: Springer Nature Switzerland, 2024, pp. 166--185.
P. Griffioen and M. Arcak, "Data-driven reachability analysis for Gaussian process state space models ," in 62nd IEEE Conference on Decision and Control , 2023, pp. 4100-4105.
A. Devonport, P. Seiler, and M. Arcak, "Frequency Domain Gaussian Process Models for H∞ Uncertainties ," in Proceedings of The 5th Annual Learning for Dynamics and Control Conference , N. Matni, M. Morari, and G. J. Pappas, Eds., Proceedings of Machine Learning Research, Vol. 211, PMLR, 2023, pp. 1046--1057.
P. Griffioen, A. Devonport, and M. Arcak, "Probabilistic Invariance for Gaussian Process State Space Models ," in Proceedings of The 5th Annual Learning for Dynamics and Control Conference , N. Matni, M. Morari, and G. J. Pappas, Eds., Proceedings of Machine Learning Research, Vol. 211, PMLR, 2023, pp. 458--468.
E. Sin and M. Arcak, "Constellation Phasing of Spacecraft in Near-Circular, In-Plane Orbits using Low-Thrust Trajectory Optimization ," in Proceedings of American Control Conference , 2023, pp. 4832-4837.
S. Kara, N. Martins, and M. Arcak, "Population games with Erlang clocks: convergence to Nash equilibria for pairwise comparison dynamics ," in 61st IEEE Conference on Decision and Control , 2022.
N. Junnarkar, H. Yin, F. Gu, M. Arcak, and P. Seiler, "Synthesis of stabilizing recurrent equilibrium network controllers ," in 61st IEEE Conference on Decision and Control , 2022.
A. Saoud and M. Arcak, "Characterization and computation of controlled invariants for monotone dynamical systems ," in 61st IEEE Conference on Decision and Control , 2022.
F. Gu, H. Yin, L. E. Ghaoui, M. Arcak, P. Seiler, and M. Jin, "Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems ," in Proceedings of the AAAI Conference on Artificial Intelligence , Vol. 36, 2022, pp. 5385-5394.
N. Junnarkar, E. Sin, P. Seiler, D. Philbrick, and M. Arcak, "Fast Assignment in Asset-Guarding Engagements using Function Approximation ," in 2022 American Control Conference (ACC) , 2022, pp. 3230-3235.
H. Yin, P. Seiler, M. Jin, and M. Arcak, "Imitation learning with stability and safety guarantees," in Proceedings of the 60th IEEE Conference on Decision and Control , 2021.
K. Schweidel and M. Arcak, "Compositional analysis of interconnected systems using delta dissipativity," in Proceedings of the 60th IEEE Conference on Decision and Control , 2021.
S. Smith, A. Saoud, and M. Arcak, "Monotonicity-based symbolic control for safety in driving scenarios," in Proceedings of the 60th IEEE Conference on Decision and Control , 2021.
A. Devonport, A. Saoud, and M. Arcak, "Symbolic abstractions from data: a PAC learning approach ," in Proceedings of the 60th IEEE Conference on Decision and Control , 2021.
A. Devonport, F. Yang, L. El Ghaoui, and M. Arcak, "Data-driven reachability analysis with Christoffel functions ," in Proceedings of the 60th IEEE Conference on Decision and Control , 2021.
M. Burov, C. Kizilkale, A. Kurzhanskiy, and M. Arcak, "Detecting Braess routes: an algorithm accounting for queuing delays with an extended graph ," in 2021 IEEE International Intelligent Transportation Systems Conference (ITSC) , 2021, pp. 2125-2130.
K. S. Schweidel, J. R. Buch, P. J. Seiler, and M. Arcak, "Computing worst-case disturbances for finite-horizon linear time-varying approximations of uncertain systems ," in 2021 American Control Conference (ACC) , 2021, pp. 3677-3682.
J. Buch, M. Arcak, and P. Seiler, "An efficient algorithm to compute norms for finite horizon, linear time-varying systems ," in 2021 American Control Conference (ACC) , 2021, pp. 2388-2393.
Y. Pant, H. Yin, M. Arcak, and S. A. Seshia, "Co-design of control and planning for multi-rotor UAVs with signal temporal logic specifications ," in Proceedings of the 2021 American Control Conference , 2021, pp. 4199-4206.
Y. Ding, J. Lavaei, and M. Arcak, "Escaping spurious local minimum trajectories in online time-varying nonconvex optimization ," in Proceedings of the 2021 American Control Conference , 2021, pp. 453-460.
E. Sin, S. Nag, V. Ravindra, A. Li, and M. Arcak, "Attitude trajectory optimization for agile satellites in autonomous remote sensing constellations ," in AIAA Scitech 2021 Forum , 2021.
H. Yin, P. Seiler, and M. Arcak, "Backward reachability using integral quadratic constraints for uncertain nonlinear systems," in Proceedings of the 59th IEEE Conference on Decision and Control , 2020, pp. 1282-1287.
A. Devonport, H. Yin, and M. Arcak, "Bayesian safe learning and control with sum-of-squares analysis and polynomial kernels ," in Proceedings of the 59th IEEE Conference on Decision and Control , 2020, pp. 3159-3165.
J. E. Bremnes, A. Devonport, H. Yin, M. Arcak, A. J. Sørensen, and I. B. Utne, "Optimization-based planning and control of AUVs applied to adaptive sampling under ice ," in 2020 IEEE/OES Autonomous Underwater Vehicles Symposium (AUV) , 2020, pp. 1-6.
E. Sin, H. Yin, and M. Arcak, "Passivity-based distributed acquisition and station-keeping control of a satellite constellation in areostationary orbit," in Proceedings of ASME 2020 Dynamic Systems and Control Conference , 2020, pp. DSCC2020-3136.
M. Burov, N. Mehr, S. W. Smith, A. Kurzhanskiy, and M. Arcak, "Platoon formation algorithm for minimizing travel time ," in Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems , 2020.
P. Meyer and M. Arcak, "Interval reachability analysis using second-order sensitivity," in Proceedings of the 21st IFAC World Congress , 2020.
P. Meyer, H. Yin, A. H. Brodtkorb, M. Arcak, and A. Sorensen, "Continuous and discrete abstractions for planning, applied to ship docking," in Proceedings of the 21st IFAC World Congress , 2020.
A. Gyorgy, A. Menezes, and M. Arcak, "A genetic optimizer module for synthetic biology," in Proceedings of the 21st IFAC World Congress , 2020.
A. Devonport, M. Khaled, M. Arcak, and M. Zamani, "PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems ," in Computer Aided Verification , S. K. Lahiri and C. Wang, Eds., Springer, 2020, pp. 556--568.
K. Schweidel, A. Packard, M. Arcak, P. Seiler, and D. Philbrick, "Classifier-based supervisory control with application to threat engagement ," in Proceedings of the 2020 American Control Conference , 2020, pp. 3757-3762.
E. Sin, M. Arcak, A. Packard, D. Philbrick, and P. Seiler, "Optimal assignment of collaborating agents in multi-body asset-guarding games ," in Proceedings of the 2020 American Control Conference , 2020, pp. 858-864.
H. Yin, M. Bujarbaruah, M. Arcak, and A. Packard, "Optimization based planner-tracker design for safety guarantees ," in Proceedings of the 2020 American Control Conference , 2020, pp. 5194-5200.
A. Devonport and M. Arcak, "Data-driven reachable set computation using adaptive Gaussian process classification and Monte Carlo methods ," in Proceedings of the 2020 American Control Conference , 2020, pp. 2629-2634.
A. Devonport and M. Arcak, "Estimating reachable sets with scenario optimization," in Proceedings of the 2nd Conference on Learning for Dynamics and Control , Proceedings of Machine Learning Research, Vol. 120, PMLR, 2020, pp. 75--84.
S. Smith, H. Yin, and M. Arcak, "Continuous abstraction of nonlinear systems using sum-of-squares programming ," in Proceedings of the 58th IEEE Conference on Decision and Control , 2019, pp. 8093-8098.
E. S. Kim, M. Arcak, and S. A. Seshia, "Flexible computational pipelines for robust abstraction-based control synthesis ," in CAV 2019: Computer Aided Verification , I. Dillig and S. Tasiran, Eds., Springer International Publishing, 2019, pp. 591--608.
H. Yin, A. Packard, M. Arcak, and P. Seiler, "Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems ," in Proceedings of the 2019 American Control Conference , 2019, pp. 5020-5026.
S. W. Smith, Y. Kim, J. Guanetti, A. A. Kurzhanskiy, M. Arcak, and F. Borrelli, "Balancing safety and traffic throughput in cooperative vehicle platooning ," in 2019 European Control Conference , 2019, pp. 2197--2202.
P. M. Meyer, A. Devonport, and M. Arcak, "TIRA: toolbox for interval reachability analysis ," in Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) , 2019, pp. 224--229.
M. Khaled, E. S. Kim, M. Arcak, and M. Zamani, "Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach ," in Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , 2019, pp. 265--281.
O. Narvaez-Aroche, P. Meyer, A. Packard, and M. Arcak, "Reachability analysis for robustness evaluation of the sit-to-stand movement for powered lower limb orthoses," in Proceedings of ASME 2018 Dynamic Systems and Control Conference , 2018, pp. DSCC2018-9066.
O. Narvaez-Aroche, A. Packard, and M. Arcak, "Finite time robust control of the sit-to-stand movement for powered lowered limb orthoses ," in Proceedings of the 2018 American Control Conference , 2018, pp. 2721-2726.
E. Sin, M. Arcak, and A. Packard, "Small satellite constellation separation using linear programming based differential drag commands ," in Proceedings of the 2018 American Control Conference , 2018, pp. 4951-4956.
S. Smith, M. Arcak, and M. Zamani, "Hierarchical control via an approximate aggregate manifold ," in Proceedings of the 2018 American Control Conference , 2018, pp. 2378-2383.
M. Perkins and M. Arcak, "Discrete spatial filtering by networks of cells facilitates biological pattern formation ," in Proceedings of the 2018 American Control Conference , 2018, pp. 1214-1219.
E. S. Kim, M. Arcak, S. A. Seshia, B. Kim, and S. Shiraishi, "Automatic generation of communication requirements for enforcing multi-agent safety ," in Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles , M. Gleirscher, S. Kugele, and S. Linker, Eds., Electronic Proceedings in Theoretical Computer Science, Vol. 269, Open Publishing Association, 2018, pp. 3-16.
E. S. Kim, M. Arcak, and M. Zamani, "Constructing control system abstractions from modular components ," in Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control , 2018, pp. 137-146.
F. Gruber, E. Kim, and M. Arcak, "Sparsity-aware finite abstraction ," in Proceedings of the 56th IEEE Conference on Decision and Control , 2017, pp. 2366-2371.
E. Kim, S. Sadraddini, C. Belta, M. Arcak, and S. A. Seshia, "Dynamic contracts for distributed temporal logic control of traffic networks ," in Proceedings of the 56th IEEE Conference on Decision and Control , 2017, pp. 3640-3645.
S. Fattahi, J. Lavaei, and M. Arcak, "A scalable method for designing distributed controllers for systems with unknown initial states ," in Proceedings of the 56th IEEE Conference on Decision and Control , 2017, pp. 4739-4746.
O. Narvaez-Aroche, A. Packard, and M. Arcak, "Motion planning of the sit to stand movement for powered lower limb orthoses ," in ASME 2017 Dynamic Systems and Control Conference , 2017, pp. V001T38A004.
C. Meissen, K. Klausen, M. Arcak, T. Fossen, and A. Packard, "Passivity-based formation control for UAVs with a suspended load ," in Proceedings of the 20th IFAC World Congress , 2017, pp. 13692-13697.
A. Gyorgyi and M. Arcak, "Pattern formation in large-scale networks with asymmetric connections ," in Proceedings of the 20th IFAC World Congress , 2017, pp. 11431-11436.
J. Maidens, A. Barrau, S. Bonnabel, and M. Arcak, "Symmetry reduction for dynamic programming and application to MRI ," in Proceedings of the 2017 American Control Conference , 2017, pp. 4625-4630.
E. Kim, C. Wu, R. Horowitz, and M. Arcak, "Offset optimization of signalized intersections via the Burer-Monteiro method ," in Proceedings of the 2017 American Control Conference , 2017, pp. 3554-3559.
E. S. Kim, M. Arcak, and S. A. Seshia, "A Small Gain Theorem for Parametric Assume-Guarantee Contracts ," in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control , 2017, pp. 207--216.
J. Maidens, A. Packard, and M. Arcak, "Parallel dynamic programming for optimal experiment design in nonlinear systems ," in Proceedings of the 55th IEEE Conference on Decision and Control , 2016, pp. 2894-2899.
S. Coogan, M. Arcak, and A. Kurzhanskiy, "Mixed monotonicity of partial first-in-first-out traffic flow models ," in Proceedings of the 55th IEEE Conference on Decision and Control , 2016, pp. 7611-7616.
S. Coogan and M. Arcak, "Symmetric monotone embedding of traffic flow networks with first-in-first-out dynamics ," in Proceedings of the 10th IFAC Symposium on Nonlinear Control Systems , 2016, pp. 640-645.
S. Coogan, M. Arcak, and C. Belta, "Finite state abstraction and formal methods for traffic flow networks ," in Proceedings of the 2016 American Control Conference , 2016, pp. 864-879.
J. Maidens and M. Arcak, "Semidefinite relaxations in optimal experiment design with application to substrate injection for hyperpolarized MRI ," in Proceedings of the 2016 American Control Conference , 2016, pp. 2023-2028.
E. S. Kim, M. Arcak, and S. A. Seshia, "Directed Specifications and Assumption Mining for Monotone Dynamical Systems," in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control , 2016, pp. 21--30.
E. Kim, M. Arcak, and S. A. Seshia, "Directed specifications and assumption mining for monotone dynamical systems ," in 19th ACM International Conference on Hybrid Systems: Computation and Control , 2016, pp. 21-30.
E. S. Kim, M. Arcak, and S. A. Seshia, "Compositional controller synthesis for vehicular traffic networks," in Decision and Control (CDC), 2015 IEEE 54th Annual Conference on , 2015, pp. 6165--6171.
S. Coogan, G. Gomes, E. S. Kim, M. Arcak, and P. Varaiya, "Offset optimization for a network of signalized intersections via semidefinite relaxation," in Decision and Control (CDC), 2015 IEEE 54th Annual Conference on , 2015, pp. 2187--2192.
E. Kim, M. Arcak, and S. A. Seshia, "Compositional controller synthesis for vehicular traffic networks ," in Proceedings of the 54th IEEE Conference on Decision and Control , 2015, pp. 6165-6171.
J. Montenbruck, M. Arcak, and F. Allgower, "Stabilizing submanifolds with passive input-output relations ," in Proceedings of the 54th IEEE Conference on Decision and Control , 2015, pp. 4381-4387.
S. Coogan, G. Gomes, E. Kim, M. Arcak, and P. Varaiya, "Offset optimization for a network of signalized intersections via semidefinite relaxation ," in Proceedings of the 54th IEEE Conference on Decision and Control , 2015, pp. 2187-2192.
J. Maidens, P. Larson, and M. Arcak, "Optimal experiment design for physiological parameter estimation using hyperpolarized carbon-13 magnetic resonance imaging ," in Proceedings of the 2015 American Control Conference , 2015, pp. 5770-5775.
S. Coogan, E. Aydin Gol, M. Arcak, and C. Belta, "Controlling a network of signalized intersections from temporal logic specifications ," in Proceedings of the 2015 American Control Conference , 2015, pp. 3919-3924.
S. Coogan and M. Arcak, "Efficient finite abstraction of mixed monotone systems ," in 18th ACM International Conference on Hybrid Systems: Computation and Control , 2015, pp. 58-67.
C. Meissen, L. Lessard, M. Arcak, and A. Packard, "Performance certification of interconnected nonlinear systems using ADMM ," in Proceedings of the 53rd IEEE Conference on Decision and Control , 2014, pp. 5131-5136.
A. Rufino Ferreira, J. Hsia, M. Arcak, M. Maharbiz, and A. Arkin, "Pattern formation with a compartmental lateral inhibition system ," in Proceedings of the 53rd IEEE Conference on Decision and Control , 2014, pp. 5413-5418.
J. Maidens and M. Arcak, "Trajectory-based reachability analysis of switched nonlinear systems using matrix measures ," in Proceedings of the 53rd IEEE Conference on Decision and Control , 2014, pp. 6358-6364.
Y. Shafi and M. Arcak, "An adaptive algorithm for synchronization in diffusively coupled systems ," in Proceedings of the 2014 American Control Conference , 2014, pp. 2220-2225.
S. Coogan and M. Arcak, "Dynamical properties of a compartmental model for traffic networks ," in Proceedings of the 2014 American Control Conference , 2014, pp. 2511-2516.
S. Coogan and M. Arcak, "Freeway traffic control from linear temporal logic specifications ," in Proceedings of the 5th ACM/IEEE International Conference on Cyber-Physical Systems , 2014, pp. 36-47.
S. Coogan and M. Arcak, "Verifying safety of interconnected passive systems using SOS programming ," in Proceedings of the 52nd IEEE Conference on Decision and Control , 2013, pp. 5951-5956.
Y. Shafi, Z. Aminzare, M. Arcak, and E. Sontag, "Spatial uniformity in diffusively-coupled systems using L2 norm contractions ," in Proceedings of the 2013 American Control Conference , 2013, pp. 5529-5534.
A. Rufino Ferreira and M. Arcak, "Predicting patterns in lateral inhibition systems via graph partitioning ," in Proceedings of the 2013 American Control Conference , 2013, pp. 5497-5502.
Y. Shafi, M. Arcak, and M. Jovanovic, "Synchronization of limit cycle oscillations in diffusively-coupled systems ," in Proceedings of the 2013 American Control Conference , 2013, pp. 4771-4776.
M. Arcak, "Synchronization and pattern formation in diffusively coupled systems ," in Proceedings of the 51st IEEE Conference on Decision and Control , 2012, pp. 7184-7192.
S. Coogan and M. Arcak, "Guard synthesis for safety of hybrid systems using sum of squares programming ," in Proceedings of the 51st IEEE Conference on Decision and Control , 2012, pp. 6138-6143.
J. Hsia, W. Holtz, M. Maharbiz, and M. Arcak, "New architecture for patterning gene expression using zinc finger proteins and small RNAs ," in Proceedings of the 51st IEEE Conference on Decision and Control , 2012, pp. 1633-1638.
M. Arcak, "On biological pattern formation by contact inhibition ," in Proceedings of the 2012 American Control Conference , 2012, pp. 3439-3444.
S. Coogan and M. Arcak, "Formation control with size scaling using relative displacement feedback ," in Proceedings of the 2012 American Control Conference , 2012, pp. 3877-3882.
E. Summers, M. Arcak, and A. Packard, "Further results on delay robustness of interconnected passive systems ," in Proceedings of the 2012 American Control Conference , 2012, pp. 4697-4702.
A. S. Rufino Ferreira, M. Arcak, and E. Sontag, "A decomposition-based approach to stability analysis of large-scale stochastic systems ," in Proceedings of the 2012 American Control Conference , 2012, pp. 6382-6387.
S. Shafi, M. Arcak, and L. El Ghaoui, "Graph weight design for Laplacian eigenvalue constraints with multi-agent systems applications ," in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference , 2011, pp. 5541-5546.
S. Coogan, M. Arcak, and M. Egerstedt, "Scaling the size of a multiagent formation via distributed feedback ," in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference , 2011, pp. 994-999.
E. Summers, M. Arcak, and A. Packard, "Evaluating the delay robustness of interconnected passive systems with a frequency-dependent integral quadratic constraint ," in Proceedings of the 2011 American Control Conference , 2011, pp. 4237-4242.
J. Hsia, W. Holtz, D. Huang, M. Arcak, and M. Maharbiz, "A quenched oscillator network for pattern formation in gene expression ," in Proceedings of the 2011 American Control Conference , 2011, pp. 2284-2289.
M. Arcak, "Diagonal stability on cactus graphs ," in Proceedings of the 49th IEEE Conference on Decision and Control , 2010, pp. 6553-6558.
S. Shafi, M. Arcak, and L. El Ghaoui, "Designing node and edge weights of a graph to meet Laplacian eigenvalue constraints ," in Proceedings of the 2010 Allerton Conference , 2010.
M. Arcak, "Linear matrix inequality tests for synchrony of diffusively coupled nonlinear systems ," in Proceedings of the 2010 Allerton Conference , 2010.
M. Arcak, "On spatially uniform behavior in reaction-diffusion systems ," in Proceedings of the 2010 American Control Conference , 2010, pp. 2587-2592.
C. Mayhew, R. Sanfelice, M. Arcak, and A. Teel, "Robust global asymptotic attitude synchronization by hybrid control ," in Proceedings of the 2010 American Control Conference , 2010, pp. 3666-3671.
G. Hines, M. Arcak, and A. Packard, "Equilibrium-independent passivity: A new definition and implications ," in Proceedings of the 2010 American Control Conference , 2010, pp. 5584-5589.
X. Ge, M. Arcak, and K. Salama, "Nonlinear analysis of ring oscillator circuits ," in Proceedings of the 2010 American Control Conference , 2010, pp. 1772-1776.
L. Scardovi, M. Arcak, and E. Sontag, "Synchronization of interconnected systems with an input-output approach. Part I: Main results ," in Proceedings of the 48th IEEE Conference on Decision and Control , 2009, pp. 609-614.
L. Scardovi, M. Arcak, and E. Sontag, "Synchronization of interconnected systems with an input-output approach. Part II: State-space result and application to biochemical networks ," in Proceedings of the 48th IEEE Conference on Decision and Control , 2009, pp. 615-620.
X. Ge and M. Arcak, "A new sufficient condition for additive D-stability and application to cyclic reaction-diffusion models ," in Proceedings of the 2009 American Control Conference , 2009, pp. 2904-2909.
X. Ge, M. Arcak, and K. Salama, "Nonlinear analysis of cross-coupled oscillator circuits ," in Proceedings of the 47th IEEE Conference on Decision and Control , 2008, pp. 13-18.
H. Bai and M. Arcak, "Instability mechanisms in cooperative control ," in Proceedings of the 47th IEEE Conference on Decision and Control , 2008, pp. 357-362.
A. Chakrabortty, M. Arcak, and P. Tsiotras, "Robust redesign of a spacecraft attitude tracking control system with actuator uncertainties ," in Proceedings of the 47th IEEE Conference on Decision and Control , 2008, pp. 1587-1592.
A. Chakrabortty and M. Arcak, "Robust stabilization and performance recovery of nonlinear systems with input unmodeled dynamics ," in Proceedings of the 47th IEEE Conference on Decision and Control , 2008, pp. 3775-3780.
J. O'Rourke, M. Arcak, and M. Ramani, "Estimating air flow rates in a fuel cell system using electrochemical impedance," in Proceedings of the 2008 ASME Dynamic Systems and Control Conference , 2008.
H. Bai, M. Arcak, and J. T. Wen, "Using orientation agreement to achieve planar rigid formation ," in Proc. 2008 American Control Conf. (ACC '08) , 2008, pp. 753-758.
H. Bai, M. Arcak, and J. T. Wen, "Adaptive motion coordination: Using velocity feedback to achieve parameter convergence ," in proc. 2008 American Control Conf. (ACC '08) , 2008, pp. 759-764.
X. Fan, K. Chandrayana, M. Arcak, S. Kalyanaraman, and J. Wen, "Correcting uncooperative flows: A time scale separation design (Invited Paper) ," in Proceedings of the 2007 Information Theory and Applications Workshop , 2007.
A. Chakrabortty, E. Scholtz, and M. Arcak, "Performance recovery of power systems with unknown parameters and faults ," in Proc. 46th IEEE Conf. on Decision and Control (CDC 2007) , 2007, pp. 5429-5434.
A. Chakrabortty and M. Arcak, "A three-time-scale redesign for robust stabilization and performance recovery of uncertain nonlinear systems ," in Proc. 46th IEEE Conf. on Decision and Control (CDC 2007) , 2007, pp. 3484-3489.
E. Biyik and M. Arcak, "Gradient climbing in formation via extremum seeking and passivity-based coordination rules ," in Proc. 46th IEEE Conf. on Decision and Control (CDC 2007) , 2007, pp. 3133-3138.
H. Bai, M. Arcak, and J. T. Wen, "A decentralized design for group alignment and synchronous rotation without inertial frame information ," in Proc. 46th IEEE Conf. on Decision and Control (CDC 2007) , 2007, pp. 2552-2557.
M. Arcak and E. D. Sontag, "A passivity-based stability criterion for a class of interconnected systems and applications to biochemical reaction networks ," in Proc. 46th IEEE Conf. on Decision and Control (CDC 2007) , 2007, pp. 4477-4482.
R. Quintanilla, J. T. Wen, M. Arcak, J. Frankel, M. Peeples, and M. Unrath, "Robust control for linear stages in electronic manufacturing ," in Proc. 2007 American Control Conf. (ACC '07) , 2007, pp. 1269-1274.
M. R. Jovanovic, M. Arcak, and E. D. Sontag, "Remarks on the stability of spatially distributed systems with a cyclic interconnection structure ," in Proc. 2007 American Control Conf. (ACC '07) , 2007, pp. 2696-2701.
A. Chakrabortty and M. Arcak, "A two-time-scale redesign for robust stabilization and performance recovery of uncertain nonlinear systems ," in Proc. 2007 American Control Conf. (ACC '07) , 2007, pp. 4643-4648.
H. Bai, M. Arcak, and J. T. Wen, "Group coordination when the reference velocity is available only to the leader: An adaptive design ," in Proc. 2007 Amerian Control Conf. (ACC '07) , 2007, pp. 5400-5405.
I. A. F. Ihle, M. Arcak, and T. I. Fossen, "Passivity-based designs for synchronized path following ," in Proc. 45th IEEE Conf. on Decision and Control (CDC 2006) , 2006, pp. 4319-4326.
E. Biyik and M. Arcak, "Area aggregation and time scale modeling for sparse nonlinear networks ," in Proc. 45th IEEE Conf. on Decision and Control (CDC 2006) , I, 2006, pp. 4046-4051.
J. H. Chow, A. Chakrabortty, M. Arcak, B. Bhargava, and A. Salazar, "Energy function analysis of power transfer paths using synchronized phasor data ," in Proc. 2006 IEEE PES Power Systems Conf. and Exposition (PSCE '06) , 2006, pp. 161-171.
X. Fan, M. Arcak, S. Kalyanaraman, and Y. S. Chan, "Delay robustness and AQM in networks ," in Proc. 17th Intl. Symp. on Mathematical Theory of Networks and Systems (MTNS 2006) , 2006, pp. 695-700.
J. H. Chow, A. Chakrabortty, M. Arcak, B. Bhargava, and A. Salazar, "Synchronized phasor data based energy function analysis of power transfer paths ," in Proc. 2006 IEEE Power Engineering Society General Meeting , 2006.
E. Biyik and M. Arcak, "Hybrid Newton observer design using the inexact Newton method and GMRES ," in Proc. 2006 American Control Conf. (ACC '06) , 2006, pp. 3334-3339.
M. Arcak and E. D. Sontag, "Connections between diagonal stability and the secant condition for cyclic systems ," in Proc. 2006 American Control Conf. (ACC '06) , 2006.
M. Arcak, "Passivity as a design tool for group coordination ," in Proc. 2006 American Control Conf. (ACC '06) , 2006, pp. 29-34.
X. Fan, K. Chandrayana, M. Arcak, S. Kalyanaraman, and J. T. Wen, "A two-time scale design for detection and rectification of uncooperative network flows ," in Proc. 44th IEEE Conf. on Decision and Control, and the 2005 European Control Conf. (CDC-ECC '05) , 2005, pp. 1842-1847.
M. Arcak, "Redesigning a class of nonlinear observers for certainty-equivalence control ," in Proc. 4th IEEE Conf. on Decision and Control, and the 2005 European Control Conf. (CDC-05) , 2005, pp. 2628-2633.
H. Gorgun, M. Arcak, and F. Barbir, "An algorithm for estimation of membrane water content in PEM fuel cells," in Proc. 1st Intl. Hydrogen Energy Congress and Exhibition (IHEC 2005) , 2005.
M. Arcak and D. Nesic, "Nonlinear sampled-data observer design via approximate discrete-time models and emulation ," in Proc. 16th IFAC World Congress , P. Piztek, Ed., 2005, pp. 6 pg.
E. Biyik and M. Arcak, "Newton observer design in the absence of an exact discrete-time model ," in Proc. 2005 American Control Conf. (ACC '05) , Vol. 6, 2005, pp. 4187-4191.
H. Gorgun, M. Arcak, and F. Barbir, "A voltage-based observer design for membrane water content in PEM fuel cells ," in Proc. 2005 American Control Conf. (ACC '05) , Vol. 7, 2005, pp. 4796-4801.
T. Alpcan, X. Fan, T. Basar, M. Arcak, and J. T. Wen, "Power control for multicell CDMA wireless networks: A team optimization approach ," in Proc. 3rd Intl. Symp. on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt 2005) , 2005, pp. 379-388.
X. Fan and M. Arcak, "Delay robustness of a class of nonlinear systems and applications to communication networks ," in Proc. 43rd IEEE Conf. on Decision and Control (CDC 2004) , Vol. 5, 2004, pp. 5010-5015.
H. Gorgun, M. Arcak, S. Varigonda, and S. A. Bortoff, "Nonlinear observer design for fuel processing reactors in fuel cell power systems ," in Proc. 2004 American Control Conf. (ACC '04) , Vol. 1, 2004, pp. 845-850.
X. Fan, M. Arcak, and J. T. Wen, "Passivation designs for CDMA uplink power control ," in Proc. 2004 American Control Conf. (ACC '04) , Vol. 4, 2004, pp. 3617-3621.
X. Fan, M. Arcak, and J. T. Wen, "Robustness of CDMA power control against disturbances and time-delays ," in Proc. 2004 American Control Conf. (ACC '04) , Vol. 4, 2004, pp. 3622-3627.
H. Gorgun and M. Arcak, "Using observers for fault diagnostics in fuel cell power systems," in Proc. 12th Mediterranean Control Conf. (MED 2004) , 2004.
J. T. Wen, M. Arcak, and X. Fan, "Distributed optimization in data networks: A passivity approach," in Proc. 38th Annual Conf. on Information Sciences and Systems (CISS 2004) , 2004, pp. 1111-1116.
L. Moreau, E. D. Sontag, and M. Arcak, "How feedback can tune a bifurcation parameter towards its unknown critical bifurcation value ," in Proc. 42nd IEEE Conf. on Decision and Control (CDC 2003) , Vol. 3, 2003, pp. 2401-2406.
X. Fan, M. Arcak, and J. T. Wen, "Lp stability and delay robustness of network flow control ," in Proc. 42nd IEEE Conf. on Decision and Control (CDC 2003) , Vol. 4, 2003, pp. 3683-3688.
M. Arcak and D. Nesic, "Observer design for sampled-data nonlinear systems via approximate discrete-time models ," in Proc. 42nd IEEE Conf. on Decision and Control (CDC 2003) , Vol. 1, 2003, pp. 49-54.
M. Arcak, H. Gorgun, L. M. Pedersen, and S. Varigonda, "An adaptive observer design for fuel cell hydrogen estimation ," in Proc. 2003 American Control Conf. (ACC '03) , Vol. 3, 2003, pp. 2037-2042.
J. T. Wen and M. Arcak, "A unifying passivity framework for network flow control ," in Proc. 22nd Annual Joint Conf. of the IEEE Computer and Communications Societies (INFOCOM 2003) , Vol. 2, 2003, pp. 1156-1166.
P. Tsiotras and M. Arcak, "Low-bias control of AMB subject to voltage saturation: State-feedback and observer designs ," in Proc. 41st IEEE Conf. on Decision and Control (CDC 2002) , Vol. 3, 2002, pp. 2474-2479.
L. Praly and M. Arcak, "On certainty-equivalence design for nonlinear observer-based controllers ," in Proc. 41st IEEE Conf. on Decision and Control (CDC 2002) , Vol. 2, 2002, pp. 1485-1490.
X. Fan and M. Arcak, "Nonlinear observer design for systems with multivariable monotone nonlinearities ," in Proc. 41st IEEE Conf. on Decision and Control (CDC 2002) , Vol. 1, 2002, pp. 684-688.
M. Arcak, "A global separation theorem for a new class of nonlinear observers ," in Proc. 41st IEEE Conf. on Decision and Control (CDC 2002) , Vol. 1, 2002, pp. 676-681.
M. Arcak, M. Larsen, and P. Kokotovic, "Circle and Popov criteria as tools for nonlinear feedback designs ," in Optimal Control: Proc. 15th IFAC Triennial World Congress(IFAC 2002) , E. F. Camacho, L. Basanez, and J. A. de la Puente, Eds., IFAC Proceedings, Vol. D, 2002, pp. 85-90.
M. Arcak and A. Teel, "Input-to-state stability and boundedness in Lurie systems ," in Proc. 2002 American Control Conf. (ACC '02) , Vol. 1, 2002, pp. 62-67.
M. Arcak, "Observer-based backstepping with weak nonlinear damping ," in Proc. 2002 American Control Conf. (ACC '02) , Vol. 5, 2002, pp. 3478-3483.
R. Sepulchre, M. Arcak, and A. R. Teel, "Trading the stability of finite zeros for global stabilization of nonlinear cascade systems ," in Proc. 40th IEEE Conf. on Decision and Control (CDC 2001) , Vol. 3, 2001, pp. 3025-3030.
M. Arcak, D. Angeli, and E. Sontag, "Stabilization of cascades using integral input-to-state stability ," in Proc. 40th IEEE Conf. on Decision and Control (CDC 2001) , Vol. 4, 2001, pp. 3814-3819.
P. Encarnacao, A. Pascoal, and M. Arcak, "Path following for marine vehicles in the presence of unknown currents," in Robot Control 2000: Proc. of the 6th IFAC Symp. on Robot Control (SYROCO '00) , P. Kopacek, Ed., Vol. 2, 2001, pp. 507-512.
P. V. Kokotovic and M. Arcak, "Nonlinear and adaptive control: An abbreviated status report (Invited Paper) ," in Proc. 9th Mediterranean Conf. on Control and Automation (MED 2001) , 2001, pp. 1-15.
M. Arcak and P. Kokotovic, "Observer-based control of systems with slope-restricted nonlinearities ," in Proc. 2001 American Control Conf. (ACC '01) , Vol. 1, 2001, pp. 384-389.
P. Encarnacao, A. Pascoal, and M. Arcak, "Path following for autonomous marine craft," in Manoeuvring and Control of Marine Craft 2000: Proc. 5th IFAC Conf. , M. Blanke, M. M. A. Pourzanjani, and Z. Z. Vukic, Eds., IFAC Proceedings, 2001, pp. 117-122.
M. Arcak and P. Kokotovic, "Robust output-feedback design using a new class of nonlinear observers ," in Proc. 39th IEEE Conf. on Decision and Control (CDC 2000) , Vol. 1, 2000, pp. 778-783.
Z. P. Jiang and M. Arcak, "Robust global stabilization with input unmodeled dynamics: An ISS small-gain approach ," in Proc. 39th IEEE Conf. on Decision and Control (CDC 2000) , Vol. 2, 2000, pp. 1301-1306.
O. M. Aamo, M. Arcak, T. I. Fossen, and P. V. Kokotovic, "Global output tracking control of a class of Euler-Lagrange systems ," in Proc. 39th IEEE Conf. on Decision and Control (CDC 2000) , Vol. 3, 2000, pp. 2478-2483.
A. Pascoal, M. Arcak, and P. Encarnacao, "Path following control of marine vehicles," in Proc. 4th Portuguese Intl. Conf. on Automatic Control (CONTROLO 2000) , 2000.
M. Arcak, A. Teel, and P. Kokotovic, "Robust nested saturation redesign for systems with input unmodeled dynamics ," in Proc. 2000 American Control Conf. (ACC '00) , Vol. 1, 2000, pp. 150-154.
M. Arcak, M. Seron, J. Braslavsky, and P. Kokotovic, "Robustification of backstepping against input unmodeled dynamics ," in Proc. 38th IEEE Conf. on Decision and Control (CDC 1999) , Vol. 3, 1999, pp. 2495-2500.
M. Arcak and P. Kokotovic, "Nonlinear observers: A circle criterion design ," in Proc. 38th IEEE Conf. on Decision and Control (CDC 1999) , Vol. 5, 1999, pp. 4872-4876.
P. V. Kokotovic and M. Arcak, "Constructive nonlinear control: Progress in the 90's (Plenary Talk)," in Proc. 14th IFAC World Congress (IFAC 1999) , H. F. Chen, D. Z. Cheng, and J. F. Zhang, Eds., IFAC Proceedings, Vol. 1, 1999, pp. 49-77.
M. Arcak and P. Kokotovic, "Further results on robust control of nonlinear systems with input unmodeled dynamics ," in Proc. 1999 American Control Conf. (ACC '99) , Vol. 6, 1999, pp. 4061-4065.
M. Arcak and P. V. Kokotovic, "Stability margins of cheap controls ," in Proc. 37th IEEE Conf. on Decison and Control (CDC 1998) , Vol. 2, 1998, pp. 1973-1978.
R. Sepulchre and M. Arcak, "Global stabilization of nonlinear cascade systems: Limitations imposed by right half plane zeros," in Nonlinear Control Systems Design 1998: Proc. 4th IFAC Symp. (NOLCOS 1998) , H. J. C. Huijberts, H. Nijmeijer, A. J. van der Schaft, and J. M. A. Scherpen, Eds., IFAC Proceedings, 1998, pp. 624-629.
Technical Reports
M. Arcak and A. A. Kurzhanskiy, "Dashboard Cameras Combined with AI Provide an Affordable Method for Identifying Curb Usage ," UC Office of the President: University of California Institute of Transportation Studies, April 2024.
M. Arcak and A. A. Kurzhanskiy, "Pattern Recognition for Curb Usage ," UC Office of the President: University of California Institute of Transportation Studies, April 2024.
A. Saoud and M. Arcak, "Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems ," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2022-2, March 2022.
S. Smith, A. Saoud, and M. Arcak, "Monotonicity-Based Symbolic Control for Safety in Real Driving Scenarios ," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2021-5, March 2021.
O. Narvaez-Aroche, A. Packard, and M. Arcak, "Motion Planning of the Sit to Stand Movement for Powered Lower Limb Orthoses ," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2017-148, Aug. 2017.
A. S. Rufino Ferreira, J. Hsia, and M. Arcak, "A Compartmental Lateral Inhibition System to Generate Contrasting Patterns ," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2015-173, July 2015.
Ph.D. Theses
M. Chapman, "Risk-Sensitive Safety Analysis and Control for Trustworthy Autonomy ," C. Tomlin, M. Arcak, and A. Aswani, Eds., EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2020-66, May 2020.
M. Arcak, "Unmodeled Dynamics in Robust Nonlinear Control," University of California at Santa Barbara, Department of Electrical and Computer Engineering, Aug. 2000.
Masters Reports
A. Wong, "Improving Parking Lot Efficiency through Autonomous Control and Assignment Strategies: A Microscopic Traffic Simulation Analysis ," M. Arcak and F. Borrelli, Eds., EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2023-166, May 2023.
V. Vasquez, M. Arcak, and D. Anthoff, "GeneDrive.jl: A Julian Approach to Simulating Biological Dynamics and Control ," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2023-49, May 2023.