Samuel Coogan

Available identifiers

zbMath Open coogan.samuelMaRDI QIDQ254597

List of research outcomes

Publication	Date of Publication	Type
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
Routing for Traffic Networks With Mixed Autonomy	2021-07-26	Paper
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems	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 Compartmental Model for Traffic Networks and Its Dynamical Behavior	2017-05-16	Paper
A Dissipativity Approach to Safety Verification for Interconnected Systems	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Samuel Coogan