4 papers
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…
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…
A Barrier Function Approach to Finite-Time Stochastic System Verification and Control
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite-time horizon. We use stochastic control barrier functions as a means to quantify t…
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
Maxence Dutreix, Samuel Coogan
This paper addresses the problem of verifying discrete-time stochastic systems against omega-regular specifications using finite-state abstractions. Omega-regular properties allow…