activity
20182020
most citedA Barrier Function Approach to Finite-Time Stochastic System Verification and Control

5 citations · 10 across the 6 of their papers we have counts for

collaborators
Showing 2020Show all

2 papers · 1 filter

eess.SY2020

Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances

Matthew Abate, Maxence Dutreix, Samuel Coogan

The vector field of a mixed-monotone system is decomposable via a decomposition function into increasing (cooperative) and decreasing (competitive) components, and this decompositi…

eess.SY2020★ 3 cited

Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives

Maxence Dutreix, Jeongmin Huh, Samuel Coogan

This paper studies the synthesis of controllers for discrete-time, continuous state stochastic systems subject to omega-regular specifications using finite-state abstractions. We p…