The following pages link to Samuel Coogan (Q254597):
Displayed 24 items.
- Stability of traffic flow networks with a polytree topology (Q254598) (← links)
- Scaling the size of a formation using relative position feedback (Q361057) (← links)
- A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Extent-compatible control barrier functions (Q2242997) (← links)
- A contractive approach to separable Lyapunov functions for monotone systems (Q2280783) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- A barrier function approach to finite-time stochastic system verification and control (Q2663942) (← links)
- Sensitivity to user mischaracterizations in electric vehicle charging (Q2677700) (← links)
- Resource aware pricing for electric vehicle charging (Q2682289) (← links)
- A Compartmental Model for Traffic Networks and Its Dynamical Behavior (Q2982550) (← links)
- A Dissipativity Approach to Safety Verification for Interconnected Systems (Q2982729) (← links)
- Efficient finite abstraction of mixed monotone systems (Q2988916) (← links)
- Approximating the Steady-State Periodic Solutions of Contractive Systems (Q4629845) (← links)
- Routing for Traffic Networks With Mixed Autonomy (Q5002072) (← links)
- Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems (Q5002111) (← links)
- Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models (Q5019360) (← links)
- Mixed Autonomy in Ride-Sharing Networks (Q5103994) (← links)
- Traffic Network Control From Temporal Logic Specifications (Q5358494) (← links)
- Robustly Forward Invariant Sets for Mixed-Monotone Systems (Q6052092) (← links)
- Verification and runtime assurance for dynamical systems with uncertainty (Q6201591) (← links)
- The Price of Anarchy for Transportation Networks with Mixed Autonomy (Q6292854) (← links)
- Ride-Sharing Networks with Mixed Autonomy (Q6315843) (← links)
- Optimal Tolling for Heterogeneous Traffic Networks with Mixed Autonomy (Q6326002) (← links)