Thao Dang 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2024

Online identification of pharmacodynamic parameters for closed-loop anesthesia with model predictive controlBob Aubouin-Pairault, Mirko Fiacchini, Thao Dang 0001. cce, 191:108837, 2024. [doi]

Data-based modeling of the Pharmacodynamics for the effect of Propofol and Remifentanil during General AnesthesiaBob Aubouin-Pairault, Mirko Fiacchini, Thao Dang 0001. bspc, 98:106728, 2024. [doi]

Optimized Coadministration of Propofol and Remifentanil During the Induction Phase of Total Intravenous Anesthesia With Statistical ValidationDaniel Denardi Huff, Mirko Fiacchini, Thao Dang 0001, Teodoro Alamo. csysl, 8:193-198, 2024. [doi]

Mining of extended signal temporal logic specifications with ParetoLib 2.0Akshay Mambakam, José-Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang 0001. fmsd, 62(1):260-284, June 2024. [doi]

2023

Formal Design of Cyber-Physical Systems with Learning-Enabled ComponentsThao Dang 0001. overlay 2024: 1-5 [doi]

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic SpecificationsThao Dang 0001, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha. cdc 2023: 5339-5344 [doi]

Safe Self-Triggered Control Based on Precomputed Reachability SequencesArvind Adimoolam, Indranil Saha, Thao Dang 0001. hybrid 2023: [doi]

Data-based Pharmacodynamic Modeling for BIS and Mean Arterial Pressure Prediction during General AnesthesiaBob Aubouin-Pairault, Mirko Fiacchini, Thao Dang 0001. eucc 2023: 1-6 [doi]

PAS: a Python Anesthesia Simulator for drug controlBob Aubouin-Pairault, Mirko Fiacchini, Thao Dang 0001. jossw, 8(89):5480, September 2023. [doi]

Pattern Matching and Parameter Identification for Parametric Timed Regular ExpressionsAkshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang 0001. hybrid 2023: [doi]

Data-Based Extended Moving Horizon Estimation for MISO Anesthesia DynamicsKaouther Moussa, Bob Aubouin-Pairault, Mazen Alamir, Thao Dang 0001. csysl, 7:3054-3059, 2023. [doi]

2022

Safety Verification of Networked Control Systems by Complex ZonotopesArvind S. Adimoolam, Thao Dang 0001. lites, 8(2), 2022. [doi]

Parameter synthesis of polynomial dynamical systemsAlberto Casagrande, Thao Dang 0001, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia. iandc, 289(Part):104941, 2022. [doi]

2021

Sampling of shape expressions with ShapExNicolas Basset, Thao Dang 0001, Felix Gigler, Cristinel Mateis, Dejan Nickovic. memocode 2021: 118-125 [doi]

2001

d/dt: a verification tool for hybrid systemsEugene Asarin, Thao Dang 0001, Oded Maler. cdc 2001: 2893-2898 [doi]

Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeriCalin Belta, Jonathan Schug, Thao Dang 0001, Vijay Kumar 0001, George J. Pappas, Harvey Rubin, Paul Dunlap. cdc 2001: 869-874 [doi]

2000

Effective synthesis of switching controllers for linear systemsEugene Asarin, Olivier Bournez, Thao Dang 0001, Oded Maler, Amir Pnueli. pieee, 88(7):1011-1025, 2000. [doi]

Sign in or sign up to see more results.

runs on WebDSL

翻译：