Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Samuel Coogan 0001

Samuel D. Coogan

> Home > Persons

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

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2015
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Coogan15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Coogan15
Samuel Coogan:
Synthesis and Verification of Networked Systems with Applications to Transportation Networks. University of California, Berkeley, USA, 2015

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/KimLCE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/KimLCE24
Soobum Kim, Ruoyu Lin, Samuel Coogan, Magnus Egerstedt:
Area Coverage Using Multiple Aerial Robots With Coverage Redundancy and Collision Avoidance. IEEE Control. Syst. Lett. 8: 610-615 (2024)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/CortesCCT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/CortesCCT24
Carmen Jimenez Cortes, Grant Clark, Samuel Coogan, Makhin Thitsa:
The Mandalay Derivative for Nonsmooth Systems: Applications to Nonsmooth Control Barrier Functions. IEEE Control. Syst. Lett. 8: 976-981 (2024)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/sj/NilssonACM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sj/NilssonACM24
Gustav Nilsson, Alejandro D. Owen Aquino, Samuel Coogan, Daniel K. Molzahn:
GreenEVT: Greensboro Electric Vehicle Testbed. IEEE Syst. J. 18(1): 600-611 (2024)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/NilssonC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/NilssonC24
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)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/WeiNC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/WeiNC24
Qinshuang Wei, Gustav Nilsson, Samuel Coogan:
Safe Schedule Verification for Urban Air Mobility Networks With Node Closures. IEEE Trans. Control. Netw. Syst. 11(2): 855-866 (2024)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tcst/AbateMDKPLTFC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcst/AbateMDKPLTFC24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/us/LinCSZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/us/LinCSZ24
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)
2023
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/SantoyoNC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/SantoyoNC23
Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Resource aware pricing for electric vehicle charging. Autom. 148: 110733 (2023)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/BairdHC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/BairdHC23
Luke Baird, Akash Harapanahalli, Samuel Coogan:
Interval Signal Temporal Logic From Natural Inclusion Functions. IEEE Control. Syst. Lett. 7: 3555-3560 (2023)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/HarapanahalliJC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/HarapanahalliJC23
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
Forward Invariance in Neural Network Controlled Systems. IEEE Control. Syst. Lett. 7: 3962-3967 (2023)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/scl/SantoyoNC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scl/SantoyoNC23
Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Sensitivity to user mischaracterizations in electric vehicle charging. Syst. Control. Lett. 171: 105412 (2023)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/us/LinCLSZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/us/LinCLSZ23
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)
2022
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/AbateC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/AbateC22
Matthew Abate, Samuel Coogan:
Decomposition Functions for Interconnected Mixed Monotone Systems. IEEE Control. Syst. Lett. 6: 2120-2125 (2022)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/JiangZC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/JiangZC22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/AbateC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/AbateC22
Matthew Abate, Samuel Coogan:
Robustly Forward Invariant Sets for Mixed-Monotone Systems. IEEE Trans. Autom. Control. 67(9): 4947-4954 (2022)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/LingZRC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/LingZRC22
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)
2021
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/SantoyoDC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/SantoyoDC21
Cesar Santoyo, Maxence Dutreix, Samuel Coogan:
A barrier function approach to finite-time stochastic system verification and control. Autom. 125: 109439 (2021)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/ThitsaCVCM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/ThitsaCVCM21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/AbateDC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/AbateDC21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/KondaAC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/KondaAC21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scl/SrinivasanAN021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scl/SrinivasanAN021
Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan:
Extent-compatible control barrier functions. Syst. Control. Lett. 150: 104895 (2021)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/LazarCP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/LazarCP21
Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
Routing for Traffic Networks With Mixed Autonomy. IEEE Trans. Autom. Control. 66(6): 2664-2676 (2021)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/DutreixC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/DutreixC21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/trob/SrinivasanC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/trob/SrinivasanC21
Mohit Srinivasan, Samuel Coogan:
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications. IEEE Trans. Robotics 37(2): 363-374 (2021)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/trob/PierpaoliLSCCE21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/trob/PierpaoliLSCCE21
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)
2020
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/WeiPC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/WeiPC20
Qinshuang Wei, Ramtin Pedarsani, Samuel Coogan:
Mixed Autonomy in Ride-Sharing Networks. IEEE Trans. Control. Netw. Syst. 7(4): 1940-1950 (2020)
2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/Coogan19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/Coogan19
Samuel Coogan:
A contractive approach to separable Lyapunov functions for monotone systems. Autom. 106: 349-357 (2019)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CooganM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CooganM19
Samuel Coogan, Michael Margaliot:
Approximating the Steady-State Periodic Solutions of Contractive Systems. IEEE Trans. Autom. Control. 64(2): 847-853 (2019)
2018
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/MeyerCA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/MeyerCA18
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)
2016
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/CooganA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/CooganA16
Samuel Coogan, Murat Arcak:
Stability of traffic flow networks with a polytree topology. Autom. 66: 246-253 (2016)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/CooganGAB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/CooganGAB16
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)
2015
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CooganA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CooganA15
Samuel Coogan, Murat Arcak:
A Dissipativity Approach to Safety Verification for Interconnected Systems. IEEE Trans. Autom. Control. 60(6): 1722-1727 (2015)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CooganA15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CooganA15a
Samuel Coogan, Murat Arcak:
A Compartmental Model for Traffic Networks and Its Dynamical Behavior. IEEE Trans. Autom. Control. 60(10): 2698-2703 (2015)
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/scl/CooganA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scl/CooganA14
Samuel Coogan, Murat Arcak:
A computational approach to synthesizing guards for hybrid systems. Syst. Control. Lett. 73: 25-32 (2014)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/CooganA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/CooganA12
Samuel Coogan, Murat Arcak:
Scaling the size of a formation using relative position feedback. Autom. 48(10): 2677-2685 (2012)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/Cao023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/Cao023
Michael Enqi Cao, Samuel Coogan:
Safe Learning-based Predictive Control from Efficient Reachability. ACC 2023: 1832-1837
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/Baird023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/Baird023
Luke Baird, Samuel Coogan:
Runtime Assurance from Signal Temporal Logic Safety Specifications. ACC 2023: 3535-3540
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/Jafarpour023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/Jafarpour023
Saber Jafarpour, Samuel Coogan:
A Contracting Dynamical System Perspective toward Interval Markov Decision Processes. CDC 2023: 2918-2924
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HarapanahalliJ023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HarapanahalliJ023
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. CDC 2023: 6044-6051
[c65]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/l4dc/JafarpourH023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/JafarpourH023
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan:
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. L4DC 2023: 12-25
2022
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/JafarpourC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/JafarpourC22
Saber Jafarpour, Samuel Coogan:
Resilience of Input Metering in Dynamic Flow Networks. ACC 2022: 126-131
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/SantoyoC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/SantoyoC22
Cesar Santoyo, Samuel Coogan:
Probabilistic Revenue Analysis for Electric Vehicle Charging. CCTA 2022: 944-949
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/NilssonC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/NilssonC22
Gustav Nilsson, Samuel Coogan:
A Compartmental Dynamical Network Flow Model for Evacuation Planning of Cities. CCTA 2022: 1005-1010
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BurdenC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BurdenC22
Samuel A. Burden, Samuel D. Coogan:
On infinitesimal contraction analysis for hybrid systems. CDC 2022: 1980-1985
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/0001JAB022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/0001JAB022
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/LlanesAC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/LlanesAC22
Christian Llanes, Matthew Abate, Samuel Coogan:
Safety from Fast, In-the-Loop Reachability with Application to UAVs. ICCPS 2022: 127-136
[c58]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/l4dc/JafarpourA0B022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/JafarpourA0B022
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ssrr/CaoNWHCZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssrr/CaoNWHCZ22
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
2021
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/KlettA0F21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/KlettA0F21
Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron:
A Numerical Method to Compute Stability Margins of Switching Linear Systems. ACC 2021: 864-869
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/WeiN021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/WeiN021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/AbateK0F21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/AbateK0F21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/Abate021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/Abate021
Matthew Abate, Samuel Coogan:
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. ACC 2021: 4674-4679
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/Nilsson021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/Nilsson021
Gustav Nilsson, Samuel Coogan:
Strong Integral Input-to-State Stability in Dynamical Flow Networks. ACC 2021: 4836-4841
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/Santoyo021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/Santoyo021
Cesar Santoyo, Samuel Coogan:
Pricing Parameter Design for Electric Vehicle Charging. CCTA 2021: 435-440
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/CaoN021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/CaoN021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SantoyoN021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SantoyoN021
Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Sensitivity of Electric Vehicle Charging Facility Occupancy to Users' Impatience. CDC 2021: 2862-2867
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CaoB021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CaoB021
Michael Enqi Cao, Matthieu R. Bloch, Samuel Coogan:
Estimating High Probability Reachable Sets using Gaussian Processes. CDC 2021: 3881-3886
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/LlanesA021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/LlanesA021
Christian Llanes, Matthew Abate, Samuel Coogan:
Safety from in-the-loop reachability for cyber-physical systems. CAADCPS@CPSIoTWeek 2021: 9-10
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AbateMF021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AbateMF021
Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan:
Verification and runtime assurance for dynamical systems with uncertainty. HSCC 2021: 11:1-11:10
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/SquiresKP0E21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/SquiresKP0E21
Eric Squires, Rohit Konda, Pietro Pierpaoli, Samuel Coogan, Magnus Egerstedt:
Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft. ICRA 2021: 9065-9071
2020
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/KlettAYCF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/KlettAYCF20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/DutreixSAC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/DutreixSAC20
Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan:
Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. ACC 2020: 3583-3588
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/AbateKCF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/AbateKCF20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/LinCSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/LinCSZ20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/AbateC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/AbateC20
Matthew Abate, Samuel Coogan:
Enforcing Safety at Runtime for Systems with Disturbances. CDC 2020: 2038-2043
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/AbateC20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/AbateC20a
Matthew Abate, Samuel Coogan:
Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CDC 2020: 4553-4559
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/Coogan20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/Coogan20
Samuel Coogan:
Mixed Monotonicity for Reachability and Safety in Dynamical Systems. CDC 2020: 5074-5085
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/BanksWCE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/BanksWCE20
Christopher Banks, Sean Wilson, Samuel Coogan, Magnus Egerstedt:
Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization. ICRA 2020: 7712-7718
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/SrinivasanDCV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/SrinivasanDCV20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/LinAC020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/LinAC020
Tony X. Lin, Said Al-Abri, Samuel Coogan, Fumin Zhang:
A Distributed Scalar Field Mapping Strategy for Mobile Robots. IROS 2020: 11581-11586
2019
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/WeiRPC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/WeiRPC19
Qinshuang Wei, Jorge Alberto Rodriguez, Ramtin Pedarsani, Samuel Coogan:
Ride-Sharing Networks with Mixed Autonomy. ACC 2019: 3303-3308
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/SantoyoDC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/SantoyoDC19
Cesar Santoyo, Maxence Dutreix, Samuel Coogan:
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. CCTA 2019: 712-717
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/KondaSPEC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/KondaSPEC19
Rohit Konda, Eric Squires, Pietro Pierpaoli, Magnus Egerstedt, Samuel Coogan:
Provably-Safe Autonomous Navigation of Traffic Circles. CCTA 2019: 876-881
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/AbateFC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/AbateFC19
Matthew Abate, Eric Feron, Samuel Coogan:
Monitor-Based Runtime Assurance for Temporal Logic Specifications. CDC 2019: 1997-2002
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/LazarCP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/LazarCP19
Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
Optimal Tolling for Heterogeneous Traffic Networks with Mixed Autonomy. CDC 2019: 4103-4108
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SrinivasanHC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SrinivasanHC19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/AmesCENST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/AmesCENST19
Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada:
Control Barrier Functions: Theory and Applications. ECC 2019: 3420-3431
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/BanksSCE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/BanksSCE19
Christopher Banks, Kyle Slovak, Samuel Coogan, Magnus Egerstedt:
Specification-Based Maneuvering of Quadcopters Through Hoops. IROS 2019: 5191-5197
2018
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/PanditC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/PanditC18
Parthe Pandit, Samuel Coogan:
Discount-Based Pricing and Capacity Planning for EV Charging Under Stochastic Demand. ACC 2018: 6273-6278
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/LazarCP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/LazarCP18
Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
The Price of Anarchy for Transportation Networks with Mixed Autonomy. ACC 2018: 6359-6365
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/AminiCFSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/AminiCFSV18
Zahra Amini, Samuel Coogan, Christopher Flores, Alexander Skabardonis, Pravin Varaiya:
Optimizing Offsets in Signalized Traffic Networks: A Case Study. CCTA 2018: 614-619
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/DutreixC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/DutreixC18
Maxence Dutreix, Samuel Coogan:
Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains. CDC 2018: 1047-1052
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SrinivasanCE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SrinivasanCE18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/AwanCZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/AwanCZ18
Asad Ullah Awan, Samuel Coogan, Majid Zamani:
Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach. CDC 2018: 3783-3788
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/DutreixC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/DutreixC18
Maxence Dutreix, Samuel Coogan:
Efficient verification for stochastic mixed monotone systems. ICCPS 2018: 150-161
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/LingRC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/LingRC18
Esther Ling, Lillian J. Ratliff, Samuel Coogan:
Koopman Operator Approach for Instability Detection and Mitigation in Signalized Traffic. ITSC 2018: 1297-1302
2017
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/MargaliotC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/MargaliotC17
Michael Margaliot, Samuel Coogan:
Approximating periodic trajectories of contractive systems. CDC 2017: 583-588
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/DutreixC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/DutreixC17
Maxence Dutreix, Samuel Coogan:
Quantile forecasts for traffic predictive control. CDC 2017: 5666-5671
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/LazarCP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/LazarCP17
Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
Capacity modeling and routing for traffic networks with mixed autonomy. CDC 2017: 5678-5683
2016
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/CooganAB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/CooganAB16
Samuel Coogan, Murat Arcak, Calin Belta:
Finite state abstraction and formal methods for traffic flow networks. ACC 2016: 864-879
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/Coogan16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/Coogan16
Samuel Coogan:
Separability of Lyapunov functions for contractive monotone systems. CDC 2016: 2184-2189
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CooganAK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CooganAK16
Samuel Coogan, Murat Arcak, Alexander Kurzhanskiy:
Mixed monotonicity of partial first-in-first-out traffic flow models. CDC 2016: 7611-7616
2015
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/CooganGAB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/CooganGAB15
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta:
Controlling a network of signalized intersections from temporal logical specifications. ACC 2015: 3919-3924
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CooganGKAV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CooganGKAV15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/CooganA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/CooganA15
Samuel Coogan, Murat Arcak:
Efficient finite abstraction of mixed monotone systems. HSCC 2015: 58-67
2014
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/CooganA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/CooganA14
Samuel Coogan, Murat Arcak:
Dynamical properties of a compartmental model for traffic networks. ACC 2014: 2511-2516
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SadighKCSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SadighKCSS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/CooganA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/CooganA14
Samuel Coogan, Murat Arcak:
Freeway traffic control from linear temporal logic specifications. ICCPS 2014: 36-47
2013
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/CooganRCTS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/CooganRCTS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CooganA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CooganA13
Samuel Coogan, Murat Arcak:
Verifying safety of interconnected passive systems using SOS programming. CDC 2013: 5951-5956
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/RatliffCCS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/RatliffCCS12
Lillian J. Ratliff, Samuel Coogan, Daniel J. Calderone, S. Shankar Sastry:
Pricing in linear-quadratic dynamic games. Allerton Conference 2012: 1798-1805
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/CooganA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/CooganA12
Samuel Coogan, Murat Arcak:
Formation control with size scaling using relative displacement feedback. ACC 2012: 3877-3882
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CooganA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CooganA12
Samuel Coogan, Murat Arcak:
Guard synthesis for safety of hybrid systems using sum of squares programming. CDC 2012: 6138-6143
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CooganAE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CooganAE11
Samuel Coogan, Murat Arcak, Magnus Egerstedt:
Scaling the size of a multiagent formation via distributed feedback. CDC/ECC 2011: 994-999

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11608
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11608
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-16214
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-16214
Akash Harapanahalli, Samuel Coogan:
Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals. CoRR abs/2403.16214 (2024)
[i62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-16356
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-16356
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-01219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-01219
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
[i60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-07912
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-07912
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan:
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. CoRR abs/2301.07912 (2023)
[i59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-03671
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-03671
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. CoRR abs/2304.03671 (2023)
[i58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-12722
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-12722
Gustav Nilsson, Alejandro D. Owen Aquino, Samuel Coogan, Daniel K. Molzahn:
GreenEVT: Greensboro Electric Vehicle Testbed. CoRR abs/2305.12722 (2023)
[i57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-15340
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-15340
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-14938
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-14938
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan:
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops. CoRR abs/2307.14938 (2023)
[i55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-09043
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-09043
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan:
Forward Invariance in Neural Network Controlled Systems. CoRR abs/2309.09043 (2023)
[i54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-09146
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-09146
Saber Jafarpour, Samuel Coogan:
A Contracting Dynamical System Perspective toward Interval Markov Decision Processes. CoRR abs/2309.09146 (2023)
[i53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-10686
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-10686
Luke Baird, Akash Harapanahalli, Samuel Coogan:
Interval Signal Temporal Logic from Natural Inclusion Functions. CoRR abs/2309.10686 (2023)
2022
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-01358
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-01358
Jesse Jiang, Ye Zhao, Samuel Coogan:
Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction. CoRR abs/2202.01358 (2022)
[i51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-07555
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-07555
Saber Jafarpour, Samuel Coogan:
Resilience of Input Metering in Dynamic Flow Networks. CoRR abs/2203.07555 (2022)
[i50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-00187
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-00187
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01833
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-13017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-13017
Qinshuang Wei, Gustav Nilsson, Samuel Coogan:
Safe Schedule Verification for Urban Air Mobility Networks with Node Closures. CoRR abs/2206.13017 (2022)
[i47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-03889
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-03889
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-11576
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-11576
Saber Jafarpour, Samuel Coogan:
Monotonicity and Contraction on Polyhedral Cones. CoRR abs/2210.11576 (2022)
2021
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-10347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10347
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-02900
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-02900
Qinshuang Wei, Gustav Nilsson, Samuel Coogan:
Capacity-Constrained Urban Air Mobility Scheduling. CoRR abs/2107.02900 (2021)
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-12871
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-12871
Eric Squires, Rohit Konda, Samuel Coogan, Magnus Egerstedt:
Model Free Barrier Functions via Implicit Evading Maneuvers. CoRR abs/2107.12871 (2021)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-03506
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-03506
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-08542
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-08542
Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Sensitivity to User Mischaracterizations in Electric Vehicle Charging. CoRR abs/2111.08542 (2021)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-09727
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-09727
Gustav Nilsson, Samuel Coogan:
The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks. CoRR abs/2111.09727 (2021)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-05310
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-05310
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
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-07210
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-07210
Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan:
Extent-Compatible Control Barrier Functions. CoRR abs/2001.07210 (2020)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-09236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-09236
Maxence Dutreix, Jeongmin Huh, Samuel Coogan:
Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives. CoRR abs/2001.09236 (2020)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-04950
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-04950
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-05912
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-05912
Matthew Abate, Samuel Coogan:
Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CoRR abs/2003.05912 (2020)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-07975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-07975
Matthew Abate, Maxence Dutreix, Samuel Coogan:
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances. CoRR abs/2003.07975 (2020)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-12407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-12407
Mohit Srinivasan, Cesar Santoyo, Samuel Coogan:
Continuous Reachability Task Transition Using Control Barrier Functions. CoRR abs/2005.12407 (2020)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-07019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-07019
Matthew Abate, Samuel Coogan:
Enforcing Safety at Runtime for Systems with Disturbances. CoRR abs/2008.07019 (2020)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-00727
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-00727
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-10771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10771
Cesar Santoyo, Gustav Nilsson, Samuel Coogan:
Resource Aware Pricing for Electric Vehicle Charging. CoRR abs/2009.10771 (2020)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-01065
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-01065
Matthew Abate, Samuel Coogan:
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. CoRR abs/2010.01065 (2020)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-10883
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-10883
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-02874
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-02874
Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron:
A Numerical Method to Compute Stability Margins of Switching Linear Systems. CoRR abs/2012.02874 (2020)
2019
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-11199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-11199
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-12077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-12077
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-03771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-03771
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-04810
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-04810
Matthew Abate, Samuel Coogan, Eric Feron:
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. CoRR abs/1906.04810 (2019)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-07718
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-07718
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-03284
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-03284
Matthew Abate, Eric Feron, Samuel Coogan:
Monitor-Based Runtime Assurance for Temporal Logic Specifications. CoRR abs/1908.03284 (2019)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-04903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-04903
Mohit Srinivasan, Samuel Coogan:
Control Of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications. CoRR abs/1908.04903 (2019)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-09323
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-09323
Rohit Konda, Aaron D. Ames, Samuel Coogan:
Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems. CoRR abs/1908.09323 (2019)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-11711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-11711
Qinshuang Wei, Ramtin Pedarsani, Samuel Coogan:
Mixed Autonomy in Ride-Sharing Network. CoRR abs/1908.11711 (2019)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-05109
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05109
Cesar Santoyo, Maxence Dutreix, Samuel Coogan:
A Barrier Function Approach to Finite-Time Stochastic System Verification and Control. CoRR abs/1909.05109 (2019)
2018
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-00367
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-00367
Samuel Coogan, Murat Arcak:
A Benchmark Problem in Transportation Networks. CoRR abs/1803.00367 (2018)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-02214
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-02214
Pierre-Jean Meyer, Samuel Coogan, Murat Arcak:
Sampled-data reachability analysis using sensitivity and mixed-monotonicity. CoRR abs/1803.02214 (2018)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-02393
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-02393
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-01283
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-01283
Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani:
Routing for Traffic Networks with Mixed Autonomy. CoRR abs/1809.01283 (2018)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-06352
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-06352
Maxence Dutreix, Samuel Coogan:
Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains. CoRR abs/1809.06352 (2018)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-03956
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-03956
Samuel A. Burden, Thomas Libby, Samuel D. Coogan:
On contraction analysis for hybrid systems. CoRR abs/1811.03956 (2018)
2017
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MargaliotC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MargaliotC17
Michael Margaliot, Samuel Coogan:
Approximating the Frequency Response of Contractive Systems. CoRR abs/1702.06576 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Coogan17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Coogan17
Samuel Coogan:
A Contractive Approach to Separable Lyapunov Functions for Monotone Systems. CoRR abs/1704.04218 (2017)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-05640
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-05640
Samuel Coogan, Murat Arcak:
Contraction-based Observers using non-Euclidean Norms with an Application to Traffic Networks. CoRR abs/1711.05640 (2017)
2016
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Coogan16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Coogan16
Samuel Coogan:
Separability of Lyapunov Functions for Contractive Monotone Systems. CoRR abs/1609.06258 (2016)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CooganFV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CooganFV16
Samuel Coogan, Christopher Flores, Pravin Varaiya:
Traffic Predictive Control from Low-Rank Structure. CoRR abs/1610.00325 (2016)
2015
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CooganAK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CooganAK15
Samuel Coogan, Murat Arcak, Alexander Kurzhanskiy:
On the Mixed Monotonicity of FIFO Traffic Flow Models. CoRR abs/1511.05081 (2015)
2014
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CooganGAB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CooganGAB14
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta:
Traffic Network Control from Temporal Logic Specifications. CoRR abs/1408.1437 (2014)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SadighKCSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SadighKCSS14
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CooganA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CooganA14
Samuel Coogan, Murat Arcak:
A Compartmental Model for Traffic Networks and its Dynamical Behavior. CoRR abs/1409.6354 (2014)
2013
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CooganA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CooganA13
Samuel Coogan, Murat Arcak:
A note on norm-based Lyapunov functions via contraction analysis. CoRR abs/1308.0586 (2013)

Coauthor Index

see FAQ

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.