Follow
Maxence Dutreix
Maxence Dutreix
ECE PhD
Verified email at gatech.edu
Title
Cited by
Cited by
Year
A barrier function approach to finite-time stochastic system verification and control
C Santoyo, M Dutreix, S Coogan
Automatica 125, 109439, 2021
442021
Tight decomposition functions for continuous-time mixed-monotone systems with disturbances
M Abate, M Dutreix, S Coogan
IEEE Control Systems Letters 5 (1), 139-144, 2020
232020
Specification-guided verification and abstraction refinement of mixed monotone stochastic systems
M Dutreix, S Coogan
IEEE Transactions on Automatic Control 66 (7), 2975-2990, 2020
222020
Verification and control for finite-time safety of stochastic systems via barrier functions
C Santoyo, M Dutreix, S Coogan
2019 IEEE conference on control technology and applications (CCTA), 712-717, 2019
202019
Abstraction-based synthesis for stochastic systems with omega-regular objectives
M Dutreix, J Huh, S Coogan
Nonlinear Analysis: Hybrid Systems 45, 101204, 2022
152022
Efficient verification for stochastic mixed monotone systems
M Dutreix, S Coogan
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
142018
Verification and synthesis for stochastic systems with temporal logic specifications
MDH Dutreix
Georgia Institute of Technology, 2020
32020
Satisfiability bounds for co-regular properties in interval-valued markov chains
M Dutreix, S Coogan
2018 IEEE Conference on Decision and Control (CDC), 1047-1052, 2018
22018
Satisfiability Bounds for {\omega}-regular Properties in Interval-valued Markov Chains
M Dutreix, S Coogan
arXiv preprint arXiv:1809.06352, 2018
22018
Quantile forecasts for traffic predictive control
M Dutreix, S Coogan
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 5666-5671, 2017
22017
Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions
M Dutreix, C Santoyo, M Abate, S Coogan
2020 American Control Conference (ACC), 3583-3588, 2020
12020
Traffic Predictive Control: Case Study and Evaluation
S Coogan, M Dutreix
California. Dept. of Transportation, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–12