Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSamuel Coogan 0001
Samuel D. Coogan
Person information
- affiliation: Georgia Institute of Technology, School of Electrical and Computer Engineering, USA
- affiliation: Georgia Institute of Technology, School of Civil and Environmental Engineering, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]Gustav Nilsson
, Alejandro D. Owen Aquino, Samuel Coogan, Daniel K. Molzahn:
GreenEVT: Greensboro Electric Vehicle Testbed. IEEE Syst. J. 18(1): 600-611 (2024)- [j31]Gustav Nilsson, Samuel Coogan:
The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks. IEEE Trans. Autom. Control. 69(2): 1179-1185 (2024) - [j30]Matthew Abate, Mark Mote, Mehregan Dor, Corbin Klett, Sean Phillips, Kendra Lang, Panagiotis Tsiotras, Eric Feron, Samuel Coogan:
Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. IEEE Trans. Control. Syst. Technol. 32(3): 862-873 (2024) - [j29]Tony X. Lin, Samuel Coogan, Donald A. Sofge, Fumin Zhang:
A Particle Fusion Approach for Distributed Filtering and Smoothing. Unmanned Syst. 12(2): 277-291 (2024) - [i64]Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX. CoRR abs/2401.11608 (2024) - [i63]Akash Harapanahalli, Samuel Coogan:
Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals. CoRR abs/2403.16214 (2024) - [i62]Kasidit Muenprasitivej, Jesse Jiang, Abdulaziz Shamsah, Samuel Coogan, Ye Zhao:
Bipedal Safe Navigation over Uncertain Rough Terrain: Unifying Terrain Mapping and Locomotion Stability. CoRR abs/2403.16356 (2024) - [i61]Jiming Ren, Haris Miller, Karen M. Feigh, Samuel Coogan, Ye Zhao:
LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications. CoRR abs/2404.01219 (2024) - 2023
- [j28]Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Resource aware pricing for electric vehicle charging. Autom. 148: 110733 (2023) - [j27]Luke Baird, Akash Harapanahalli, Samuel Coogan:
Interval Signal Temporal Logic From Natural Inclusion Functions. IEEE Control. Syst. Lett. 7: 3555-3560 (2023) - [j26]Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
Forward Invariance in Neural Network Controlled Systems. IEEE Control. Syst. Lett. 7: 3962-3967 (2023) - [j25]Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Sensitivity to user mischaracterizations in electric vehicle charging. Syst. Control. Lett. 171: 105412 (2023) - [j24]Tony X. Lin, Samuel Coogan, Daniel M. Lofaro, Donald A. Sofge, Fumin Zhang:
Monocular Vision-Based Localization and Pose Estimation with a Nudged Particle Filter and Ellipsoidal Confidence Tubes. Unmanned Syst. 11(1): 109-120 (2023) - [c69]Michael Enqi Cao, Samuel Coogan:
Safe Learning-based Predictive Control from Efficient Reachability. ACC 2023: 1832-1837 - [c68]Luke Baird, Samuel Coogan:
Runtime Assurance from Signal Temporal Logic Safety Specifications. ACC 2023: 3535-3540 - [c67]Saber Jafarpour, Samuel Coogan:
A Contracting Dynamical System Perspective toward Interval Markov Decision Processes. CDC 2023: 2918-2924 - [c66]Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. CDC 2023: 6044-6051 - [c65]Saber Jafarpour, Akash Harapanahalli, Samuel Coogan:
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. L4DC 2023: 12-25 - [i60]Saber Jafarpour, Akash Harapanahalli, Samuel Coogan:
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. CoRR abs/2301.07912 (2023) - [i59]Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. CoRR abs/2304.03671 (2023) - [i58]Gustav Nilsson, Alejandro D. Owen Aquino, Samuel Coogan, Daniel K. Molzahn:
GreenEVT: Greensboro Electric Vehicle Testbed. CoRR abs/2305.12722 (2023) - [i57]Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems. CoRR abs/2306.15340 (2023) - [i56]Saber Jafarpour, Akash Harapanahalli, Samuel Coogan:
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops. CoRR abs/2307.14938 (2023) - [i55]Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
Forward Invariance in Neural Network Controlled Systems. CoRR abs/2309.09043 (2023) - [i54]Saber Jafarpour, Samuel Coogan:
A Contracting Dynamical System Perspective toward Interval Markov Decision Processes. CoRR abs/2309.09146 (2023) - [i53]Luke Baird, Akash Harapanahalli, Samuel Coogan:
Interval Signal Temporal Logic from Natural Inclusion Functions. CoRR abs/2309.10686 (2023) - 2022
- [j23]Matthew Abate, Samuel Coogan:
Decomposition Functions for Interconnected Mixed Monotone Systems. IEEE Control. Syst. Lett. 6: 2120-2125 (2022) - [j22]Jesse Jiang, Ye Zhao, Samuel Coogan:
Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction. IEEE Control. Syst. Lett. 6: 2641-2646 (2022) - [j21]Matthew Abate, Samuel Coogan:
Robustly Forward Invariant Sets for Mixed-Monotone Systems. IEEE Trans. Autom. Control. 67(9): 4947-4954 (2022) - [j20]Esther Ling, Liyuan Zheng, Lillian J. Ratliff, Samuel Coogan:
Koopman Operator Applications in Signalized Traffic Systems. IEEE Trans. Intell. Transp. Syst. 23(4): 3214-3225 (2022) - [c64]Saber Jafarpour, Samuel Coogan:
Resilience of Input Metering in Dynamic Flow Networks. ACC 2022: 126-131 - [c63]Cesar Santoyo, Samuel Coogan:
Probabilistic Revenue Analysis for Electric Vehicle Charging. CCTA 2022: 944-949 - [c62]Gustav Nilsson, Samuel Coogan:
A Compartmental Dynamical Network Flow Model for Evacuation Planning of Cities. CCTA 2022: 1005-1010 - [c61]Samuel A. Burden, Samuel D. Coogan:
On infinitesimal contraction analysis for hybrid systems. CDC 2022: 1980-1985 - [c60]Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan:
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. CDC 2022: 2073-2078 - [c59]Christian Llanes, Matthew Abate, Samuel Coogan:
Safety from Fast, In-the-Loop Reachability with Application to UAVs. ICCPS 2022: 127-136 - [c58]Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan:
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. L4DC 2022: 917-930 - [c57]Michael Enqi Cao, Xinpei Ni, Jonas Warnke, Yunhai Han, Samuel Coogan, Ye Zhao:
Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution. SSRR 2022: 94-101 - [i52]Jesse Jiang, Ye Zhao, Samuel Coogan:
Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction. CoRR abs/2202.01358 (2022) - [i51]Saber Jafarpour, Samuel Coogan:
Resilience of Input Metering in Dynamic Flow Networks. CoRR abs/2203.07555 (2022) - [i50]Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan:
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. CoRR abs/2204.00187 (2022) - [i49]Michael Enqi Cao, Jonas Warnke, Yunhai Han, Xinpei Ni, Ye Zhao, Samuel Coogan:
Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution. CoRR abs/2206.01833 (2022) - [i48]Qinshuang Wei, Gustav Nilsson, Samuel Coogan:
Safe Schedule Verification for Urban Air Mobility Networks with Node Closures. CoRR abs/2206.13017 (2022) - [i47]Saber Jafarpour, Alexander Davydov, Matthew Abate, Francesco Bullo, Samuel Coogan:
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach. CoRR abs/2208.03889 (2022) - [i46]Saber Jafarpour, Samuel Coogan:
Monotonicity and Contraction on Polyhedral Cones. CoRR abs/2210.11576 (2022) - 2021
- [j19]Cesar Santoyo, Maxence Dutreix, Samuel Coogan:
A barrier function approach to finite-time stochastic system verification and control. Autom. 125: 109439 (2021) - [j18]Makhin Thitsa, Maison Clouatre, Erik I. Verriest, Samuel Coogan, Clyde F. Martin:
A Numerically Stable Dynamic Mode Decomposition Algorithm for Nearly Defective Systems. IEEE Control. Syst. Lett. 5(1): 67-72 (2021) - [j17]Matthew Abate, Maxence Dutreix, Samuel Coogan:
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances. IEEE Control. Syst. Lett. 5(1): 139-144 (2021) - [j16]Rohit Konda, Aaron D. Ames, Samuel Coogan:
Characterizing Safety: Minimal Control Barrier Functions From Scalar Comparison Systems. IEEE Control. Syst. Lett. 5(2): 523-528 (2021) - [j15]Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan:
Extent-compatible control barrier functions. Syst. Control. Lett. 150: 104895 (2021) - [j14]Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
Routing for Traffic Networks With Mixed Autonomy. IEEE Trans. Autom. Control. 66(6): 2664-2676 (2021) - [j13]Maxence Dutreix, Samuel Coogan:
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems. IEEE Trans. Autom. Control. 66(7): 2975-2990 (2021) - [j12]Mohit Srinivasan, Samuel Coogan:
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications. IEEE Trans. Robotics 37(2): 363-374 (2021) - [j11]Pietro Pierpaoli, Anqi Li, Mohit Srinivasan, Xiaoyi Cai, Samuel Coogan, Magnus Egerstedt:
A Sequential Composition Framework for Coordinating Multirobot Behaviors. IEEE Trans. Robotics 37(3): 864-876 (2021) - [c56]Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron:
A Numerical Method to Compute Stability Margins of Switching Linear Systems. ACC 2021: 864-869 - [c55]Qinshuang Wei, Gustav Nilsson, Samuel Coogan:
Scheduling of Urban Air Mobility Services with Limited Landing Capacity and Uncertain Travel Times. ACC 2021: 1681-1686 - [c54]Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron:
Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. ACC 2021: 3550-3555 - [c53]Matthew Abate, Samuel Coogan:
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. ACC 2021: 4674-4679 - [c52]Gustav Nilsson, Samuel Coogan:
Strong Integral Input-to-State Stability in Dynamical Flow Networks. ACC 2021: 4836-4841 - [c51]Cesar Santoyo, Samuel Coogan:
Pricing Parameter Design for Electric Vehicle Charging. CCTA 2021: 435-440 - [c50]Michael Enqi Cao, Gustav Nilsson, Samuel Coogan:
On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control. CCTA 2021: 1037-1042 - [c49]Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Sensitivity of Electric Vehicle Charging Facility Occupancy to Users' Impatience. CDC 2021: 2862-2867 - [c48]Michael Enqi Cao, Matthieu R. Bloch, Samuel Coogan:
Estimating High Probability Reachable Sets using Gaussian Processes. CDC 2021: 3881-3886 - [c47]Christian Llanes, Matthew Abate, Samuel Coogan:
Safety from in-the-loop reachability for cyber-physical systems. CAADCPS@CPSIoTWeek 2021: 9-10 - [c46]Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan:
Verification and runtime assurance for dynamical systems with uncertainty. HSCC 2021: 11:1-11:10 - [c45]Eric Squires, Rohit Konda, Pietro Pierpaoli, Samuel Coogan, Magnus Egerstedt:
Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft. ICRA 2021: 9065-9071 - [i45]Michael Enqi Cao, Gustav Nilsson, Samuel Coogan:
On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control. CoRR abs/2106.10347 (2021) - [i44]Qinshuang Wei, Gustav Nilsson, Samuel Coogan:
Capacity-Constrained Urban Air Mobility Scheduling. CoRR abs/2107.02900 (2021) - [i43]Eric Squires, Rohit Konda, Samuel Coogan, Magnus Egerstedt:
Model Free Barrier Functions via Implicit Evading Maneuvers. CoRR abs/2107.12871 (2021) - [i42]Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron:
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. CoRR abs/2110.03506 (2021) - [i41]Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Sensitivity to User Mischaracterizations in Electric Vehicle Charging. CoRR abs/2111.08542 (2021) - [i40]Gustav Nilsson, Samuel Coogan:
The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks. CoRR abs/2111.09727 (2021) - [i39]Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan:
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. CoRR abs/2112.05310 (2021) - 2020
- [j10]Qinshuang Wei, Ramtin Pedarsani, Samuel Coogan:
Mixed Autonomy in Ride-Sharing Networks. IEEE Trans. Control. Netw. Syst. 7(4): 1940-1950 (2020) - [c44]Corbin Klett, Matthew Abate, Yongeun Yoon, Samuel Coogan, Eric Feron:
Bounding the State Covariance Matrix for Switched Linear Systems with Noise. ACC 2020: 2876-2881 - [c43]Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan:
Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. ACC 2020: 3583-3588 - [c42]Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron:
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. ACC 2020: 5322-5327 - [c41]Tony X. Lin, Samuel Coogan, Donald A. Sofge, Fumin Zhang:
Set-Based State Estimation of Mobile Robots from Coarse Range Measurements. CCTA 2020: 404-409 - [c40]Matthew Abate, Samuel Coogan:
Enforcing Safety at Runtime for Systems with Disturbances. CDC 2020: 2038-2043 - [c39]Matthew Abate, Samuel Coogan:
Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CDC 2020: 4553-4559 - [c38]Samuel Coogan:
Mixed Monotonicity for Reachability and Safety in Dynamical Systems. CDC 2020: 5074-5085 - [c37]Christopher Banks, Sean Wilson, Samuel Coogan, Magnus Egerstedt:
Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization. ICRA 2020: 7712-7718 - [c36]Mohit Srinivasan, Amogh Dabholkar, Samuel Coogan, Patricio A. Vela:
Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach. IROS 2020: 7139-7145 - [c35]Tony X. Lin, Said Al-Abri, Samuel Coogan, Fumin Zhang:
A Distributed Scalar Field Mapping Strategy for Mobile Robots. IROS 2020: 11581-11586 - [i38]Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan:
Extent-Compatible Control Barrier Functions. CoRR abs/2001.07210 (2020) - [i37]Maxence Dutreix, Jeongmin Huh, Samuel Coogan:
Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives. CoRR abs/2001.09236 (2020) - [i36]Mohit Srinivasan, Amogh Dabholkar, Samuel Coogan, Patricio A. Vela:
Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach. CoRR abs/2003.04950 (2020) - [i35]Matthew Abate, Samuel Coogan:
Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CoRR abs/2003.05912 (2020) - [i34]Matthew Abate, Maxence Dutreix, Samuel Coogan:
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances. CoRR abs/2003.07975 (2020) - [i33]Mohit Srinivasan, Cesar Santoyo, Samuel Coogan:
Continuous Reachability Task Transition Using Control Barrier Functions. CoRR abs/2005.12407 (2020) - [i32]Matthew Abate, Samuel Coogan:
Enforcing Safety at Runtime for Systems with Disturbances. CoRR abs/2008.07019 (2020) - [i31]Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron:
Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. CoRR abs/2009.00727 (2020) - [i30]Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Resource Aware Pricing for Electric Vehicle Charging. CoRR abs/2009.10771 (2020) - [i29]Matthew Abate, Samuel Coogan:
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. CoRR abs/2010.01065 (2020) - [i28]Eric Squires, Rohit Konda, Pietro Pierpaoli, Samuel Coogan, Magnus Egerstedt:
Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft. CoRR abs/2010.10883 (2020) - [i27]Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron:
A Numerical Method to Compute Stability Margins of Switching Linear Systems. CoRR abs/2012.02874 (2020)
2010 – 2019
- 2019
- [j9]Samuel Coogan:
A contractive approach to separable Lyapunov functions for monotone systems. Autom. 106: 349-357 (2019) - [j8]Samuel Coogan, Michael Margaliot:
Approximating the Steady-State Periodic Solutions of Contractive Systems. IEEE Trans. Autom. Control. 64(2): 847-853 (2019) - [c34]Qinshuang Wei, Jorge Alberto Rodriguez, Ramtin Pedarsani, Samuel Coogan:
Ride-Sharing Networks with Mixed Autonomy. ACC 2019: 3303-3308 - [c33]Cesar Santoyo, Maxence Dutreix, Samuel Coogan:
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. CCTA 2019: 712-717 - [c32]Rohit Konda, Eric Squires, Pietro Pierpaoli, Magnus Egerstedt, Samuel Coogan:
Provably-Safe Autonomous Navigation of Traffic Circles. CCTA 2019: 876-881 - [c31]Matthew Abate, Eric Feron, Samuel Coogan:
Monitor-Based Runtime Assurance for Temporal Logic Specifications. CDC 2019: 1997-2002 - [c30]Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
Optimal Tolling for Heterogeneous Traffic Networks with Mixed Autonomy. CDC 2019: 4103-4108 - [c29]Mohit Srinivasan, Nak-seung Patrick Hyun, Samuel Coogan:
Weighted Polar Finite Time Control Barrier Functions With Applications To Multi-Robot Systems. CDC 2019: 7031-7036 - [c28]Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada:
Control Barrier Functions: Theory and Applications. ECC 2019: 3420-3431 - [c27]Christopher Banks, Kyle Slovak, Samuel Coogan, Magnus Egerstedt:
Specification-Based Maneuvering of Quadcopters Through Hoops. IROS 2019: 5191-5197 - [i26]Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada:
Control Barrier Functions: Theory and Applications. CoRR abs/1903.11199 (2019) - [i25]Cesar Santoyo, Maxence Dutreix, Samuel Coogan:
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. CoRR abs/1905.12077 (2019) - [i24]Eric Squires, Pietro Pierpaoli, Rohit Konda, Samuel Coogan, Magnus Egerstedt:
Composition of Safety Constraints With Applications to Decentralized Fixed-Wing Collision Avoidance. CoRR abs/1906.03771 (2019) - [i23]Matthew Abate, Samuel Coogan, Eric Feron:
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. CoRR abs/1906.04810 (2019) - [i22]Pietro Pierpaoli, Anqi Li, Mohit Srinivasan, Xiaoyi Cai, Samuel Coogan, Magnus Egerstedt:
A Sequential Composition Framework for Coordinating Multi-Robot Behaviors. CoRR abs/1907.07718 (2019) - [i21]Matthew Abate, Eric Feron, Samuel Coogan:
Monitor-Based Runtime Assurance for Temporal Logic Specifications. CoRR abs/1908.03284 (2019) - [i20]Mohit Srinivasan, Samuel Coogan:
Control Of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications. CoRR abs/1908.04903 (2019) - [i19]Rohit Konda, Aaron D. Ames, Samuel Coogan:
Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems. CoRR abs/1908.09323 (2019) - [i18]Qinshuang Wei, Ramtin Pedarsani, Samuel Coogan:
Mixed Autonomy in Ride-Sharing Network. CoRR abs/1908.11711 (2019) - [i17]Cesar Santoyo, Maxence Dutreix, Samuel Coogan:
A Barrier Function Approach to Finite-Time Stochastic System Verification and Control. CoRR abs/1909.05109 (2019) - 2018
- [j7]Pierre-Jean Meyer, Samuel Coogan, Murat Arcak:
Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity. IEEE Control. Syst. Lett. 2(4): 761-766 (2018) - [c26]Parthe Pandit, Samuel Coogan:
Discount-Based Pricing and Capacity Planning for EV Charging Under Stochastic Demand. ACC 2018: 6273-6278 - [c25]Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
The Price of Anarchy for Transportation Networks with Mixed Autonomy. ACC 2018: 6359-6365 - [c24]Zahra Amini, Samuel Coogan, Christopher Flores, Alexander Skabardonis, Pravin Varaiya:
Optimizing Offsets in Signalized Traffic Networks: A Case Study. CCTA 2018: 614-619 - [c23]Maxence Dutreix, Samuel Coogan:
Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains. CDC 2018: 1047-1052 - [c22]Mohit Srinivasan, Samuel Coogan, Magnus Egerstedt:
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic. CDC 2018: 1991-1996 - [c21]Asad Ullah Awan, Samuel Coogan, Majid Zamani:
Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach. CDC 2018: 3783-3788 - [c20]Maxence Dutreix, Samuel Coogan:
Efficient verification for stochastic mixed monotone systems. ICCPS 2018: 150-161 - [c19]Esther Ling, Lillian J. Ratliff, Samuel Coogan:
Koopman Operator Approach for Instability Detection and Mitigation in Signalized Traffic. ITSC 2018: 1297-1302 - [i16]Samuel Coogan, Murat Arcak:
A Benchmark Problem in Transportation Networks. CoRR abs/1803.00367 (2018) - [i15]Pierre-Jean Meyer, Samuel Coogan, Murat Arcak:
Sampled-data reachability analysis using sensitivity and mixed-monotonicity. CoRR abs/1803.02214 (2018) - [i14]Mohit Srinivasan, Samuel Coogan, Magnus Egerstedt:
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic. CoRR abs/1808.02393 (2018) - [i13]Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
Routing for Traffic Networks with Mixed Autonomy. CoRR abs/1809.01283 (2018) - [i12]Maxence Dutreix, Samuel Coogan:
Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains. CoRR abs/1809.06352 (2018) - [i11]Samuel A. Burden, Thomas Libby, Samuel D. Coogan:
On contraction analysis for hybrid systems. CoRR abs/1811.03956 (2018) - 2017
- [c18]Michael Margaliot, Samuel Coogan:
Approximating periodic trajectories of contractive systems. CDC 2017: 583-588 - [c17]Maxence Dutreix, Samuel Coogan:
Quantile forecasts for traffic predictive control. CDC 2017: 5666-5671 - [c16]Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
Capacity modeling and routing for traffic networks with mixed autonomy. CDC 2017: 5678-5683 - [i10]Michael Margaliot, Samuel Coogan:
Approximating the Frequency Response of Contractive Systems. CoRR abs/1702.06576 (2017) - [i9]Samuel Coogan:
A Contractive Approach to Separable Lyapunov Functions for Monotone Systems. CoRR abs/1704.04218 (2017) - [i8]Samuel Coogan, Murat Arcak:
Contraction-based Observers using non-Euclidean Norms with an Application to Traffic Networks. CoRR abs/1711.05640 (2017) - 2016
- [j6]Samuel Coogan, Murat Arcak:
Stability of traffic flow networks with a polytree topology. Autom. 66: 246-253 (2016) - [j5]Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta:
Traffic Network Control From Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. 3(2): 162-172 (2016) - [c15]Samuel Coogan, Murat Arcak, Calin Belta:
Finite state abstraction and formal methods for traffic flow networks. ACC 2016: 864-879 - [c14]Samuel Coogan:
Separability of Lyapunov functions for contractive monotone systems. CDC 2016: 2184-2189 - [c13]Samuel Coogan, Murat Arcak, Alexander Kurzhanskiy:
Mixed monotonicity of partial first-in-first-out traffic flow models. CDC 2016: 7611-7616 - [i7]Samuel Coogan:
Separability of Lyapunov Functions for Contractive Monotone Systems. CoRR abs/1609.06258 (2016) - [i6]Samuel Coogan, Christopher Flores, Pravin Varaiya:
Traffic Predictive Control from Low-Rank Structure. CoRR abs/1610.00325 (2016) - 2015
- [b1]Samuel Coogan:
Synthesis and Verification of Networked Systems with Applications to Transportation Networks. University of California, Berkeley, USA, 2015 - [j4]Samuel Coogan, Murat Arcak:
A Dissipativity Approach to Safety Verification for Interconnected Systems. IEEE Trans. Autom. Control. 60(6): 1722-1727 (2015) - [j3]Samuel Coogan, Murat Arcak:
A Compartmental Model for Traffic Networks and Its Dynamical Behavior. IEEE Trans. Autom. Control. 60(10): 2698-2703 (2015) - [c12]Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta:
Controlling a network of signalized intersections from temporal logical specifications. ACC 2015: 3919-3924 - [c11]Samuel Coogan, Gabriel Gomes, Eric S. Kim, Murat Arcak, Pravin Varaiya:
Offset optimization for a network of signalized intersections via semidefinite relaxation. CDC 2015: 2187-2192 - [c10]Samuel Coogan, Murat Arcak:
Efficient finite abstraction of mixed monotone systems. HSCC 2015: 58-67 - [i5]Samuel Coogan, Murat Arcak, Alexander Kurzhanskiy:
On the Mixed Monotonicity of FIFO Traffic Flow Models. CoRR abs/1511.05081 (2015) - 2014
- [j2]Samuel Coogan, Murat Arcak:
A computational approach to synthesizing guards for hybrid systems. Syst. Control. Lett. 73: 25-32 (2014) - [c9]Samuel Coogan, Murat Arcak:
Dynamical properties of a compartmental model for traffic networks. ACC 2014: 2511-2516 - [c8]Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia:
A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. CDC 2014: 1091-1096 - [c7]Samuel Coogan, Murat Arcak:
Freeway traffic control from linear temporal logic specifications. ICCPS 2014: 36-47 - [i4]Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta:
Traffic Network Control from Temporal Logic Specifications. CoRR abs/1408.1437 (2014) - [i3]Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia:
A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. CoRR abs/1409.5486 (2014) - [i2]Samuel Coogan, Murat Arcak:
A Compartmental Model for Traffic Networks and its Dynamical Behavior. CoRR abs/1409.6354 (2014) - 2013
- [c6]Samuel Coogan, Lillian J. Ratliff, Daniel J. Calderone, Claire J. Tomlin, S. Shankar Sastry:
Energy management via pricing in LQ dynamic games. ACC 2013: 443-448 - [c5]Samuel Coogan, Murat Arcak:
Verifying safety of interconnected passive systems using SOS programming. CDC 2013: 5951-5956 - [i1]Samuel Coogan, Murat Arcak:
A note on norm-based Lyapunov functions via contraction analysis. CoRR abs/1308.0586 (2013) - 2012
- [j1]Samuel Coogan, Murat Arcak:
Scaling the size of a formation using relative position feedback. Autom. 48(10): 2677-2685 (2012) - [c4]Lillian J. Ratliff, Samuel Coogan, Daniel J. Calderone, S. Shankar Sastry:
Pricing in linear-quadratic dynamic games. Allerton Conference 2012: 1798-1805 - [c3]Samuel Coogan, Murat Arcak:
Formation control with size scaling using relative displacement feedback. ACC 2012: 3877-3882 - [c2]Samuel Coogan, Murat Arcak:
Guard synthesis for safety of hybrid systems using sum of squares programming. CDC 2012: 6138-6143 - 2011
- [c1]Samuel Coogan, Murat Arcak, Magnus Egerstedt:
Scaling the size of a multiagent formation via distributed feedback. CDC/ECC 2011: 994-999
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 23:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
