Search Results - Wong-Toi, H.

  • Showing 1 - 19 results of 19
Refine Results
  1. 1
    Algorithmic analysis of nonlinear hybrid systems

    Algorithmic analysis of nonlinear hybrid systems by Henzinger, T.A., Pei-Hsin Ho, Wong-Toi, H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Supervisory control of a rapid thermal multiprocessor

    Supervisory control of a rapid thermal multiprocessor by Balemi, S., Hoffmann, G.J., Gyugyi, P., Wong-Toi, H., Franklin, G.F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    The synthesis of controllers for linear hybrid automata

    The synthesis of controllers for linear hybrid automata by Wong-Toi, H.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Some lessons from the HYTECH experience

    Some lessons from the HYTECH experience by Henzinger, T.A., Preussig, J., Wong-Toi, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Controller synthesis for hybrid systems with a lower bound on event separation

    Controller synthesis for hybrid systems with a lower bound on event separation by Balluchi, Andrea, Benvenuti, Luca, Villa, Tiziano, Wong-Toi, Howard, Sangiovanni-Vincentelli, Alberto L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    A procedure for reachability analysis of rectangular automata

    A procedure for reachability analysis of rectangular automata by Wong-Toi, H., Preussig, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Schedulability analysis of acyclic processes

    Schedulability analysis of acyclic processes by Meyer, M.J., Wong-Toi, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Symbolic analysis of hybrid systems

    Symbolic analysis of hybrid systems by Alur, R., Henzinger, T.A., Wong-Toi, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Hybrid controller synthesis for idle speed management of an automotive engine

    Hybrid controller synthesis for idle speed management of an automotive engine by Balluchi, A., Benvenuti, L., Di Benedetto, M.D., Villa, T., Wong-Toi, H., Sangiovanni-Vincentelli, A.L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Formal verification of an automotive engine controller in cutoff mode

    Formal verification of an automotive engine controller in cutoff mode by Villa, T., Wong-Toi, H., Balluchi, A., Preussig, J., Sangiovanni-Vincentelli, A.L., Watanabe, Y.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Algorithmic analysis of nonlinear hybrid systems: Hybrid control systems

    Algorithmic analysis of nonlinear hybrid systems: Hybrid control systems by HENZINGER, T. A, HO, P.-H, WONG-TOI, H

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    HYTECH: the next generation

    HYTECH: the next generation by Henzinger, T.A., Pei-Hsin Ho, Wong-Toi, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    The input-output control of real-time discrete event systems

    The input-output control of real-time discrete event systems by Hoffmann, G., Wong-Toi, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Controller synthesis for hybrid systems with lower bounds on event separation

    Controller synthesis for hybrid systems with lower bounds on event separation by Balluchi, A., Benveunuti, L., Villa, T., Wong-Toi, H., Sangiovanni-Vincentelli, A.L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Modular verification of a fault-tolerant active structure controller: an example

    Modular verification of a fault-tolerant active structure controller: an example by Wong-Toi, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    A Joint Analysis for Field Goal Attempts and Percentages of Professional Basketball Players: Bayesian Nonparametric Resource

    A Joint Analysis for Field Goal Attempts and Percentages of Professional Basketball Players: Bayesian Nonparametric Resource by Wong-Toi, Eliot, Yang, Hou-Cheng, Shen, Weining, Hu, Guanyu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    The control of dense real-time discrete event systems

    The control of dense real-time discrete event systems by Wong-Toi, H., Hoffmann, G.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    An implementation of three algorithms for timing verification based on automata emptiness

    An implementation of three algorithms for timing verification based on automata emptiness by Alur, R., Courcoubetis, C., Dill, D., Halbwachs, N., Wong-Toi, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    A case study of hybrid controller synthesis of a heating system

    A case study of hybrid controller synthesis of a heating system by Balluchif, A., Benvenuti, L., Villas, T., Wong-Toi, H., Sangiovanni-Vincentelli, A. L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: