Samuel Coogan

Available identifiers

zbMath Open coogan.samuelMaRDI QIDQ254597

List of research outcomes

Publication	Date of Publication	Type
Efficient interaction-aware interval analysis of neural network feedback loops	2025-01-21	Paper
The strong integral input-to-state stability property in dynamical flow networks	2024-07-21	Paper
Verification and runtime assurance for dynamical systems with uncertainty	2024-02-21	Paper
Robustly Forward Invariant Sets for Mixed-Monotone Systems	2023-09-21	Paper
Resource aware pricing for electric vehicle charging	2023-01-31	Paper
Sensitivity to user mischaracterizations in electric vehicle charging	2023-01-05	Paper
Mixed Autonomy in Ride-Sharing Networks	2022-09-09	Paper
Abstraction-based synthesis for stochastic systems with omega-regular objectives	2022-07-26	Paper
Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models	2022-01-10	Paper
Extent-compatible control barrier functions	2021-11-10	Paper
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems	2021-07-26	Paper
Routing for Traffic Networks With Mixed Autonomy	2021-07-26	Paper
A barrier function approach to finite-time stochastic system verification and control	2021-04-20	Paper
A contractive approach to separable Lyapunov functions for monotone systems	2019-12-19	Paper
Optimal Tolling for Heterogeneous Traffic Networks with Mixed Autonomy	2019-09-25	Paper
Approximating the Steady-State Periodic Solutions of Contractive Systems	2019-03-28	Paper
Ride-Sharing Networks with Mixed Autonomy	2019-03-18	Paper
The Price of Anarchy for Transportation Networks with Mixed Autonomy	2017-10-21	Paper
Traffic Network Control From Temporal Logic Specifications	2017-09-21	Paper
Efficient finite abstraction of mixed monotone systems	2017-05-19	Paper
A Dissipativity Approach to Safety Verification for Interconnected Systems	2017-05-16	Paper
A Compartmental Model for Traffic Networks and Its Dynamical Behavior	2017-05-16	Paper
Finite abstraction of mixed monotone systems with discrete and continuous inputs	2016-12-15	Paper
Stability of traffic flow networks with a polytree topology	2016-03-08	Paper
A computational approach to synthesizing guards for hybrid systems	2014-10-27	Paper
Scaling the size of a formation using relative position feedback	2013-08-28	Paper

Research outcomes over time

This page was built for person: Samuel Coogan