Samuel Coogan

1. A Compartmental Model for Traffic Networks and Its Dynamical Behavior
   2015/03/11 by Samuel Coogan, Murat Arcak · 7 citations
   Engineering · Social Sciences · #Traffic control and management #Transportation Planning and Optimization #Evacuation and Crowd Dynamics
2. A Compartmental Model for Traffic Networks and its Dynamical Behavior
   2014/09/22 by Samuel Coogan, Coogan, Samuel, Murat Arcak +1 · 4 citations
   Engineering · Physics and Astronomy · Social Sciences · #FOS: Electrical engineering #Opinion Dynamics and Social Influence #Systems and Control (eess.SY) #Traffic control and management #Transportation Planning and Optimization #electronic engineering #information engineering
3. A Contractive Approach to Separable Lyapunov Functions for Monotone\n Systems
   2017/04/13 by Samuel Coogan, Coogan, Samuel · 2 citations
   Biochemistry, Genetics and Molecular Biology · Engineering · #Advanced Control Systems Optimization #Control and Stability of Dynamical Systems #FOS: Electrical engineering #Gene Regulatory Network Analysis #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Verification and Control for Finite-Time Safety of Stochastic Systems\n via Barrier Functions
   2019/05/28 by Cesar Santoyo, Santoyo, Cesar, Maxence Dutreix +3 · 2 citations
   Engineering · Computer Science · #Advanced Control Systems Optimization #Formal Methods in Verification #Fault Detection and Control Systems
5. Control of Mobile Robots Using Barrier Functions Under Temporal Logic\n Specifications
   2019/08/13 by Mohit Srinivasan, Srinivasan, Mohit, Samuel Coogan +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Robotics (cs.RO)
6. Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
   2021/12/10 by Saber Jafarpour, Jafarpour, Saber, Matthew Abate +7 · 2 citations
   Computer Science · Materials Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning in Materials Science #Model Reduction and Neural Networks #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
7. A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems
   2023/06/27 by Akash Harapanahalli, Harapanahalli, Akash, Saber Jafarpour +3 · 2 citations
   Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Neural Networks and Applications #Numerical Methods and Algorithms #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
8. Terrain-Aware Model Predictive Control of Heterogeneous Bipedal and Aerial Robot Coordination for Search and Rescue Tasks
   2024/09/23 by Abdulaziz Shamsah, Jesse Jiang, Shamsah, Abdulaziz +7 · 3 citations
   Computer Science · Engineering · #Distributed Control Multi-Agent Systems #Advanced Control Systems Optimization #Robotic Path Planning Algorithms
9. Safe Schedule Verification for Urban Air Mobility Networks with Node Closures
   2022/06/27 by Qinshuang Wei, Wei, Qinshuang, Gustav Nilsson +3 · 1 citation
   Computer Science · Engineering · #Air Traffic Management and Optimization #Autonomous Vehicle Technology and Safety #FOS: Electrical engineering #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
10. LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
    2024/04/01 by Jiming Ren, Haris Miller, Ren, Jiming +7 · 3 citations
    Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Model-Driven Software Engineering Techniques
11. Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers
    2023/01/19 by Saber Jafarpour, Jafarpour, Saber, Akash Harapanahalli +3 · 1 citation
    Computer Science · Engineering · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Optimization and Control (math.OC) #Real-time simulation and control systems #Systems and Control (eess.SY) #electronic engineering #information engineering
12. Interval Signal Temporal Logic from Natural Inclusion Functions
    2023/09/19 by Luke Baird, Akash Harapanahalli, Baird, Luke +3 · 1 citation
    Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
13. immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
    2024/01/21 by Akash Harapanahalli, Harapanahalli, Akash, Saber Jafarpour +3 · 3 citations
    Physics and Astronomy · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
14. Newton-Raphson Flow for Aggressive Quadrotor Tracking Control
    2024/08/20 by Evanns Morales-Cuadrado, Morales-Cuadrado, Evanns, Christian Llanes +5 · 2 citations
    Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Plasma and Flow Control in Aerodynamics #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering