HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Hoang-Dung Tran

Publications
Linear Differential-Algebraic Equations (Benchmark Proposal)
Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Discrete-Space Analysis of Partial Differential Equations
Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Distributed Autonomous Systems
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang and Taylor T. Johnson
In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Large-Scale Linear Systems from Order-Reduction
Hoang-Dung Tran, Luan Viet Nguyen and Taylor T. Johnson
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis
Hoang-Dung Tran, Luan Viet Nguyen and Taylor T. Johnson
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

Academic, autonomous systems, benchmark4, differential-algebraic equations, finite difference method, formation control, hybrid automata, large-scale systems, linear systems, nonlinear differential algebraic equations, Nonlinear ordinary differential equations, Order reduction, partial differential equations, reachability, reachability analysis2, SpaceEx, verification.

Copyright © 2012-2019 easychair.org. All rights reserved.