Maxence Dutreix

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 13

Top Topics

Stochastic Systems

Conservation Laws

Top Venues

IEEE Control. Syst. Lett.

Publications

Matthew Abate, Maxence Dutreix, Samuel Coogan
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances. IEEE Control. Syst. Lett. 5 (1) (2021)
Maxence Dutreix, Samuel Coogan
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems. IEEE Trans. Autom. Control. 66 (7) (2021)
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
A barrier function approach to finite-time stochastic system verification and control. Autom. 125 (2021)
Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan
Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. ACC (2020)
Maxence Dutreix, Jeongmin Huh, Samuel Coogan
Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives. CoRR (2020)
Matthew Abate, Maxence Dutreix, Samuel Coogan
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances. CoRR (2020)
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. CCTA (2019)
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
A Barrier Function Approach to Finite-Time Stochastic System Verification and Control. CoRR (2019)
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. CoRR (2019)
Maxence Dutreix, Samuel Coogan
Efficient verification for stochastic mixed monotone systems. ICCPS (2018)
Maxence Dutreix, Samuel Coogan
Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains. CoRR (2018)
Maxence Dutreix, Samuel Coogan
Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains. CDC (2018)
Maxence Dutreix, Samuel Coogan
Quantile forecasts for traffic predictive control. CDC (2017)