vix.ing · top · new · best · stats · spec

Coogan, Samuel

  1. Control Barrier Functions: Theory and Applications
    2019/03/27 by Ames, Aaron D., Coogan, Samuel, Egerstedt, Magnus +3 · 158 citations
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  2. A Barrier Function Approach to Finite-Time Stochastic System Verification and Control
    2019/09/10 by Santoyo, Cesar, Dutreix, Maxence, Coogan, Samuel · 9 citations
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  3. Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach
    2020/03/10 by Srinivasan, Mohit, Dabholkar, Amogh, Coogan, Samuel +1 · 9 citations
    #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  4. A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications
    2014/09/18 by Sadigh, Dorsa, Kim, Eric S., Coogan, Samuel +2 · 5 citations
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  5. 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
  6. Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic
    2018/08/07 by Srinivasan, Mohit, Coogan, Samuel, Egerstedt, Magnus · 3 citations
    #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  7. 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
  8. Verification and Control for Finite-Time Safety of Stochastic Systems\n via Barrier Functions
    2019/05/28 by Cesar Santoyo, Maxence Dutreix, Santoyo, Cesar +3 · 2 citations
    Engineering · Computer Science · #Advanced Control Systems Optimization #Formal Methods in Verification #Fault Detection and Control Systems
  9. Control of Mobile Robots Using Barrier Functions Under Temporal Logic\n Specifications
    2019/08/13 by Mohit Srinivasan, Samuel Coogan, Srinivasan, Mohit +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)
  10. Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
    2021/12/10 by Saber Jafarpour, Matthew Abate, Jafarpour, Saber +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
  11. 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
  12. Mixed Monotonicity of Partial First-In-First-Out Traffic Flow Models
    2015/11/16 by Coogan, Samuel, Arcak, Murat, Kurzhanskiy, Alexander A. · 1 citation
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  13. The Price of Anarchy for Transportation Networks with Mixed Autonomy
    2017/10/22 by Lazar, Daniel A., Coogan, Samuel, Pedarsani, Ramtin · 1 citation
    #FOS: Mathematics #Optimization and Control (math.OC)
  14. Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution
    2022/06/03 by Cao, Michael Enqi, Warnke, Jonas, Han, Yunhai +3 · 2 citations
    #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  15. Composition of Safety Constraints For Fixed-Wing Collision Avoidance Amidst Limited Communications
    2019/06/10 by Squires, Eric, Pierpaoli, Pietro, Konda, Rohit +2 · 1 citation
    #FOS: Computer and information sciences #Robotics (cs.RO)
  16. Monitor-Based Runtime Assurance for Temporal Logic Specifications
    2019/08/08 by Abate, Matthew, Feron, Eric, Coogan, Samuel · 1 citation
    #93A99 #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  17. Capacity-Constrained Urban Air Mobility Scheduling
    2021/07/02 by Wei, Qinshuang, Nilsson, Gustav, Coogan, Samuel · 1 citation
    #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
  18. Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
    2023/07/27 by Jafarpour, Saber, Harapanahalli, Akash, Coogan, Samuel · 2 citations
    #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
  19. Terrain-Aware Model Predictive Control of Heterogeneous Bipedal and Aerial Robot Coordination for Search and Rescue Tasks
    2024/09/23 by Abdulaziz Shamsah, Shamsah, Abdulaziz, Jesse Jiang +7 · 3 citations
    Computer Science · Engineering · #Distributed Control Multi-Agent Systems #Advanced Control Systems Optimization #Robotic Path Planning Algorithms
  20. Safe Schedule Verification for Urban Air Mobility Networks with Node Closures
    2022/06/27 by Qinshuang Wei, Gustav Nilsson, Wei, Qinshuang +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
  21. LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
    2024/04/01 by Jiming Ren, Ren, Jiming, Haris Miller +7 · 3 citations
    Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Model-Driven Software Engineering Techniques
  22. Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers
    2023/01/19 by Saber Jafarpour, Akash Harapanahalli, Jafarpour, Saber +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
  23. Interval Signal Temporal Logic from Natural Inclusion Functions
    2023/09/19 by Luke Baird, Baird, Luke, Akash Harapanahalli +3 · 1 citation
    Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
  24. Certified Robust Invariant Polytope Training in Neural Controlled ODEs
    2024/08/02 by Harapanahalli, Akash, Coogan, Samuel · 3 citations
    #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
  25. 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
  26. Newton-Raphson Flow for Aggressive Quadrotor Tracking Control
    2024/08/20 by Evanns Morales-Cuadrado, Christian Llanes, Morales-Cuadrado, Evanns +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