Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal reduction of interfaces to large-scale process control systems


    Contributors:
    Hussak, W. (author) / Yang, S. H. (author)


    Publication date :

    2007-01-01


    Size :

    9 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    629.8




    Explicit Model Predictive Control for Large-Scale Systems via Model Reduction

    Hovland, Svein / Gravdahl, Jan Tommy / Willcox, Karen E. | AIAA | 2008


    Constructing Human-Automation Interfaces: A Formal Approach

    Heymann, M. / Degani, A. / Eurisco (Organization) | British Library Conference Proceedings | 2002


    Timing of Formal Phase Safety Reviews for Large Scale IHA

    Massie, Michael / Morris, Allan | AIAA | 2010


    Formal model for micro-scale traffic simulation and control

    Blaszczyk, Piotr / Turek, Wojciech / Cetnarowicz, Krzysztof | IEEE | 2013