Thao Dang
Orcid: 0000-0002-3637-1415Affiliations:
- Université Grenoble Alpes, VERIMAG/CNRS, Grenoble, France
According to our database1,
Thao Dang
authored at least 99 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
1
1
4
3
3
1
1
2
1
1
3
2
2
1
1
1
5
2
2
2
2
5
5
3
5
3
3
4
2
1
4
2
5
1
3
3
2
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Formal Methods Syst. Des., June, 2024
Optimized Coadministration of Propofol and Remifentanil During the Induction Phase of Total Intravenous Anesthesia With Statistical Validation.
IEEE Control. Syst. Lett., 2024
Online identification of pharmacodynamic parameters for closed-loop anesthesia with model predictive control.
Comput. Chem. Eng., 2024
Data-based modeling of the Pharmacodynamics for the effect of Propofol and Remifentanil during General Anesthesia.
Biomed. Signal Process. Control., 2024
2023
J. Open Source Softw., September, 2023
IEEE Control. Syst. Lett., 2023
Automated Multi-Drugs Administration During Total Intravenous Anesthesia Using Multi-Model Predictive Control.
CoRR, 2023
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Data-based Pharmacodynamic Modeling for BIS and Mean Arterial Pressure Prediction during General Anesthesia.
Proceedings of the European Control Conference, 2023
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
2022
Leibniz Trans. Embed. Syst., 2022
2021
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021
2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
2019
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.
IEEE Trans. Computers, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019
2018
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
Formal Methods Syst. Des., 2017
CoRR, 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
Proceedings of the 2017 American Control Conference, 2017
2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016
Proceedings of the Complex Systems Design & Management, 2016
Proceedings of the 2016 American Control Conference, 2016
2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations.
Proceedings of the Hybrid Systems Biology, 2014
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models.
Proceedings of the Hybrid Systems Biology, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013
Proceedings of the 12th European Control Conference, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
Proceedings of the Communicating Embedded Systems, 2013
2012
Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion.
Reliab. Comput., 2012
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012
Proceedings of the Testing Software and Systems, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
2011
Theor. Comput. Sci., 2011
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
Proceedings of the Model-Based Testing for Embedded Systems, 2011
2010
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
2009
IEEE Trans. Image Process., 2009
Cheap Joint Probabilistic Data Association filters in an Interacting Multiple Model design.
Robotics Auton. Syst., 2009
Formal Methods Syst. Des., 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Testing of Software and Communicating Systems, 2008
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
2007
GPS- und Kamera-basierte Fahrzeugführung durchs Gelände - ION im Grand Challenge (GPS- and Camera-based Off-Road Vehicle Control - ION in the Grand Challenge).
Autom., 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
ACM Trans. Embed. Comput. Syst., 2006
Theor. Comput. Sci., 2006
Path Planning for Autonomous Driving Based on Stereoscopic and Monoscopic Vision Cues.
Proceedings of the 2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2006
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
Proceedings of the Forum on specification and Design Languages, 2006
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006
Proceedings of the Pattern Recognition, 2006
2005
Int. J. Softw. Eng. Knowl. Eng., 2005
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2005
2004
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
Proceedings of the Formal Techniques, 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
2002
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
Proceedings of the Embedded Software, First International Workshop, 2001
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000
1998
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998