Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal reduction of interfaces to large-scale process control systems


    Beteiligte:
    Hussak, W. (Autor:in) / Yang, S. H. (Autor:in)


    Erscheinungsdatum :

    01.01.2007


    Format / Umfang :

    9 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    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