Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Human Control Strategy: Abstraction, Verification, and Replication


    Contributors:
    Nechyba, M. C. (author) / Xu, Y. (author)

    Published in:

    Publication date :

    1997-01-01


    Size :

    14 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    629.8 / 629.805



    Human control strategy: abstraction, verification, and replication

    Nechyba, M.C. / Xu, Yangsheng | Tema Archive | 1997


    Human-Swarm Interface for Abstraction Based Control

    Pollini, Lorenzo / Niccolini, Marta / Rosellini, Michele et al. | AIAA | 2009


    Human-Swarm Interface for Abstraction Based Control

    Pollini, L. / Niccolini, M. / Rosellini, M. et al. | British Library Conference Proceedings | 2009


    Integrating Abstraction Techniques for Formal Verification of Analog Designs

    Zaki, Mohamed H. / Denman, William / Tahar, Sofiène et al. | AIAA | 2009


    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion

    Suraj Nandiganahalli, Jayaprakash / Lee, Sangjin / Hwang, Inseok | AIAA | 2016