×

zbMATH — the first resource for mathematics

Dang, Thao

Compute Distance To:
Author ID: dang.thao Recent zbMATH articles by "Dang, Thao"
Published as: Dang, T.; Dang, Thao
Documents Indexed: 46 Publications since 1987, including 1 Book

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 267 times in 196 Documents Cited by Year
Approximate reachability analysis of piecewise-linear dynamical systems. Zbl 0938.93502
Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded
58
2000
Normal representations of Banach Jordan triple systems. Zbl 0661.46045
Barton, T. J.; Dang, T.; Horn, G.
25
1988
Classification of \(JBW^*\)-triple factors and applications. Zbl 0668.46035
Dang, T.; Friedman, Y.
22
1987
The \(d/dt\) tool for verification of hybrid systems. Zbl 1010.68796
Asarin, Eugene; Dang, Thao; Maler, Oded
16
2002
Real isometries between \(JB^*\)-triples. Zbl 0773.46025
Dang, T.
15
1992
Hybridization methods for the analysis of nonlinear systems. Zbl 1134.93026
Asarin, Eugene; Dang, Thao; Girard, Antoine
14
2007
Counterexample-guided predicate abstraction of hybrid systems. Zbl 1088.68096
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
14
2006
Affine geometric proofs of the Banach Stone theorems of Kadison and Kaup. Zbl 0738.47029
Dang, T.; Friedman, Y.; Russo, B.
12
1990
Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
10
2008
Reachability analysis of nonlinear systems using conservative approximation. Zbl 1032.93034
Asarin, Eugene; Dang, Thao; Girard, Antoine
9
2003
Test coverage for continuous and hybrid systems. Zbl 1135.68346
Nahhal, Tarik; Dang, Thao
6
2007
Progress on reachability analysis of hybrid systems using predicate abstraction. Zbl 1032.93033
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
6
2003
Approximate reachability computation for polynomial systems. Zbl 1178.93068
Dang, Thao
5
2006
Counter-example guided predicate abstraction of hybrid systems. Zbl 1031.68074
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
5
2003
Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
5
2002
Reachability analysis of polynomial systems using linear programming relaxations. Zbl 1375.68077
Ben Sassi, Mohamed Amin; Testylier, Romain; Dang, Thao; Girard, Antoine
4
2012
Computing reachable states for nonlinear biological models. Zbl 1211.92023
Dang, Thao; Le Guernic, Colas; Maler, Oded
4
2011
A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
4
2008
Abstraction by projection and application to multi-affine systems. Zbl 1135.93339
Asarin, Eugene; Dang, Thao
4
2004
Hierarchical hybrid modeling of embedded systems. Zbl 1050.68508
Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O.
4
2001
Template-based unbounded time verification of affine hybrid automata. Zbl 1348.68100
Dang, Thao; Gawlitza, Thomas Martin
3
2011
Accurate hybridization of nonlinear systems. Zbl 1360.93083
Dang, Thao; Maler, Oded; Testylier, Romain
3
2010
Using redundant constraints for refinement. Zbl 1305.68117
Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain
3
2010
Verification of analog and mixed-signal circuits using hybrid system techniques. Zbl 1117.68303
Dang, Thao; Donzé, Alexandre; Maler, Oded
3
2004
Euler-based inverse method for turbomachine blades. I: Two-dimensional cascades. Zbl 0851.76059
Dang, T.; Isgro, V.
3
1995
Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis. Zbl 1378.93099
Al Khatib, Mohammad; Girard, Antoine; Dang, Thao
2
2017
Verification and synthesis of timing contracts for embedded controllers. Zbl 1364.68257
Al Khatib, Mohammad; Girard, Antoine; Dang, Thao
2
2016
Discretizing affine hybrid automata with uncertainty. Zbl 1348.68099
Dang, Thao; Gawlitza, Thomas Martin
2
2011
Parallelotope bundles for polynomial reachability. Zbl 1364.93145
Dreossi, Tommaso; Dang, Thao; Piazza, Carla
1
2016
Parameter synthesis for polynomial biological models. Zbl 1362.92023
Dreossi, Tommaso; Dang, Thao
1
2014
Coverage-guided test generation for continuous and hybrid systems. Zbl 1176.68033
Dang, Thao; Nahhal, Tarik
1
2009
Image computation for polynomial dynamical systems using the Bernstein expansion. Zbl 1242.93058
Dang, Thao; Salinas, David
1
2009
Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis. Zbl 1378.93099
Al Khatib, Mohammad; Girard, Antoine; Dang, Thao
2
2017
Verification and synthesis of timing contracts for embedded controllers. Zbl 1364.68257
Al Khatib, Mohammad; Girard, Antoine; Dang, Thao
2
2016
Parallelotope bundles for polynomial reachability. Zbl 1364.93145
Dreossi, Tommaso; Dang, Thao; Piazza, Carla
1
2016
Parameter synthesis for polynomial biological models. Zbl 1362.92023
Dreossi, Tommaso; Dang, Thao
1
2014
Reachability analysis of polynomial systems using linear programming relaxations. Zbl 1375.68077
Ben Sassi, Mohamed Amin; Testylier, Romain; Dang, Thao; Girard, Antoine
4
2012
Computing reachable states for nonlinear biological models. Zbl 1211.92023
Dang, Thao; Le Guernic, Colas; Maler, Oded
4
2011
Template-based unbounded time verification of affine hybrid automata. Zbl 1348.68100
Dang, Thao; Gawlitza, Thomas Martin
3
2011
Discretizing affine hybrid automata with uncertainty. Zbl 1348.68099
Dang, Thao; Gawlitza, Thomas Martin
2
2011
Accurate hybridization of nonlinear systems. Zbl 1360.93083
Dang, Thao; Maler, Oded; Testylier, Romain
3
2010
Using redundant constraints for refinement. Zbl 1305.68117
Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain
3
2010
Coverage-guided test generation for continuous and hybrid systems. Zbl 1176.68033
Dang, Thao; Nahhal, Tarik
1
2009
Image computation for polynomial dynamical systems using the Bernstein expansion. Zbl 1242.93058
Dang, Thao; Salinas, David
1
2009
Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
10
2008
A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
4
2008
Hybridization methods for the analysis of nonlinear systems. Zbl 1134.93026
Asarin, Eugene; Dang, Thao; Girard, Antoine
14
2007
Test coverage for continuous and hybrid systems. Zbl 1135.68346
Nahhal, Tarik; Dang, Thao
6
2007
Counterexample-guided predicate abstraction of hybrid systems. Zbl 1088.68096
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
14
2006
Approximate reachability computation for polynomial systems. Zbl 1178.93068
Dang, Thao
5
2006
Abstraction by projection and application to multi-affine systems. Zbl 1135.93339
Asarin, Eugene; Dang, Thao
4
2004
Verification of analog and mixed-signal circuits using hybrid system techniques. Zbl 1117.68303
Dang, Thao; Donzé, Alexandre; Maler, Oded
3
2004
Reachability analysis of nonlinear systems using conservative approximation. Zbl 1032.93034
Asarin, Eugene; Dang, Thao; Girard, Antoine
9
2003
Progress on reachability analysis of hybrid systems using predicate abstraction. Zbl 1032.93033
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
6
2003
Counter-example guided predicate abstraction of hybrid systems. Zbl 1031.68074
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
5
2003
The \(d/dt\) tool for verification of hybrid systems. Zbl 1010.68796
Asarin, Eugene; Dang, Thao; Maler, Oded
16
2002
Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
5
2002
Hierarchical hybrid modeling of embedded systems. Zbl 1050.68508
Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O.
4
2001
Approximate reachability analysis of piecewise-linear dynamical systems. Zbl 0938.93502
Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded
58
2000
Euler-based inverse method for turbomachine blades. I: Two-dimensional cascades. Zbl 0851.76059
Dang, T.; Isgro, V.
3
1995
Real isometries between \(JB^*\)-triples. Zbl 0773.46025
Dang, T.
15
1992
Affine geometric proofs of the Banach Stone theorems of Kadison and Kaup. Zbl 0738.47029
Dang, T.; Friedman, Y.; Russo, B.
12
1990
Normal representations of Banach Jordan triple systems. Zbl 0661.46045
Barton, T. J.; Dang, T.; Horn, G.
25
1988
Classification of \(JBW^*\)-triple factors and applications. Zbl 0668.46035
Dang, T.; Friedman, Y.
22
1987
all top 5

Cited by 362 Authors

23 Peralta, Antonio M.
13 Edwards, Christopher Martin
12 Fernández-Polo, Francisco J.
8 Dang, Thao
7 Girard, Antoine
6 Piazza, Carla
6 Rüttimann, Gottfried T.
6 Sankaranarayanan, Sriram
5 Garcés, Jorge José
5 Molnár, Lajos
4 Pappas, George J.
4 Platzer, André
4 Rodríguez Palacios, Angel
4 Sastry, S. Shankar
3 Abate, Alessandro
3 Bartocci, Ezio
3 Becerra Guerrero, Julio
3 Bunce, Leslie J.
3 Casagrande, Alberto
3 Chu, Choho
3 Duggirala, Parasara Sridhar
3 Grosu, Radu
3 Ilišević, Dijana
3 Isidro, José-Maria
3 Kaup, Wilhelm Gerhard
3 Lazar, Mircea
3 Lygeros, John
3 Maler, Oded
3 Russo, Bernard
3 Taddei, Simone Rosa
3 van Schuppen, Jan H.
3 Zhan, Naijun
2 Alur, Rajeev
2 Ames, Aaron D.
2 Asarin, Eugene
2 Ben Sassi, Mohamed Amin
2 Bresolin, Davide
2 Campagna, Dario
2 Clarke, Edmund Melson jun.
2 Corradini, Flavio
2 Cueto-Avellaneda, María
2 Di Berardini, Maria Rita
2 Dreossi, Tommaso
2 Entcheva, Emilia
2 Frehse, Goran
2 Fribourg, Laurent
2 Friedman, Yaakov
2 Gawlitza, Thomas Martin
2 Geretti, Luca
2 González, Humberto A.
2 Győry, Máté
2 Hagemann, Willem
2 Heemels, W. P. Maurice H.
2 Hoskin, Christopher S.
2 Hügli, Remo V.
2 Imura, Jun’ichi
2 Ivančić, Franjo
2 Jaulin, Luc
2 Julius, A. Agung
2 Kalenda, Ondřej F. K.
2 Kavraki, Lydia E.
2 Larocca, Francesco
2 Larsen, Kim Guldstrand
2 Le Guernic, Colas
2 Le Mézo, Thomas
2 Markey, Nicolas
2 Martín Suarez, Miguel
2 Neal, Matthew
2 Nickovic, Dejan
2 Oliveira, Lina
2 Petreczky, Mihály
2 Plaku, Erion
2 Policriti, Alberto
2 Prabhakar, Pavithra
2 Prandini, Maria
2 Ramdani, Nacim
2 Sastry, Shankar S.
2 Schneider, Gerardo
2 Smolka, Scott A.
2 Thiagarajan, Pazhamaneri Subramaniam
2 Tomlin, Claire J.
2 Vardi, Moshe Y.
2 Villa, Tiziano
2 Wong, Ngai-Ching
2 Yang, Shaofa
2 Zerr, Benoit
2 Zhao, Hengjun
1 Ahn, Hyo-Sung
1 Ahrendt, Wolfgang
1 Akbarpour, Behzad
1 Alkhatib, Mohammad
1 Althoff, Matthias
1 Altwaijry, Najla A.
1 Amin, Saurabh
1 Antsaklis, Panos J.
1 Aswani, Anil
1 Ayupov, Shavkat Abdullaevich
1 Azuma, Shun-Ichi
1 Bagnara, Roberto
1 Bajcsy, Ruzena
...and 262 more Authors
all top 5

Cited in 57 Serials

15 Formal Methods in System Design
14 Automatica
12 Journal of Mathematical Analysis and Applications
11 Theoretical Computer Science
10 Nonlinear Analysis. Hybrid Systems
7 Journal of Functional Analysis
5 Mathematische Zeitschrift
4 Mathematical Proceedings of the Cambridge Philosophical Society
4 Linear Algebra and its Applications
3 Journal of Algebra
3 Manuscripta Mathematica
3 Information and Computation
2 Journal of the Franklin Institute
2 Advances in Mathematics
2 Applied Mathematics and Computation
2 Mathematische Nachrichten
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Proceedings of the American Mathematical Society
2 Proceedings of the Edinburgh Mathematical Society. Series II
2 Journal of Automated Reasoning
2 European Journal of Control
2 The Journal of Logic and Algebraic Programming
2 Inverse Problems in Science and Engineering
2 Mathematics in Computer Science
1 Acta Informatica
1 Artificial Intelligence
1 Communications in Algebra
1 International Journal of Control
1 Linear and Multilinear Algebra
1 Studia Mathematica
1 Integral Equations and Operator Theory
1 Journal of Differential Equations
1 Journal of the Korean Mathematical Society
1 Journal für die Reine und Angewandte Mathematik
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Results in Mathematics
1 SIAM Journal on Control and Optimization
1 Transactions of the American Mathematical Society
1 Science of Computer Programming
1 Revista Matemática Iberoamericana
1 Computational Geometry
1 Discrete Event Dynamic Systems
1 International Journal of Robust and Nonlinear Control
1 Journal of Inequalities and Applications
1 Revista Matemática Complutense
1 Fundamenta Informaticae
1 Discrete and Continuous Dynamical Systems. Series B
1 Journal of Systems Science and Complexity
1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
1 Journal of the Institute of Mathematics of Jussieu
1 Progress in Computational Fluid Dynamics
1 Operators and Matrices
1 Science China. Mathematics
1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 Analysis and Mathematical Physics
1 Numerical Algebra, Control and Optimization
1 Transactions of the American Mathematical Society. Series B

Citations by Year