Works by Thai, Hoang


Results: 279
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14

    A SURVEY OF LQE AND MPC DISCRETE-CONTROL FOR ACROBOT.

    Published in:
    Robotica & Management, 2023, v. 28, n. 2, p. 28, doi. 10.24193/rm.2023.2.5
    By:
    • Thanh-Tri-Dai Le;
    • Le-Thien-Bao Doan;
    • Hoang-Anh-Thai Vo;
    • Hoang-Loi Trinh;
    • Tan-Dung Nguyen;
    • Quoc-Khanh Tran;
    • Hoai-Vong Tran;
    • Xuan-Vinh Nguyen
    Publication type:
    Article
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37

    Event-B patterns and their tool support.

    Published in:
    Software & Systems Modeling, 2013, v. 12, n. 2, p. 229, doi. 10.1007/s10270-010-0183-7
    By:
    • Hoang, Thai;
    • Fürst, Andreas;
    • Abrial, Jean-Raymond
    Publication type:
    Article
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50