Continuous-Time Dynamical Systems -- Discrete-Time Dynamical Systems -- Formal Specifications and Discrete Synthesis -- Interval Computation -- Controller Synthesis via Finite Abstractions -- Specification-Guided Controller Synthesis via Direct Interval Computation -- Applications and Case Studies.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal methods for control of nonlinear systems


    Beteiligte:
    Li, Yinan (Autor:in) / Liu, Jun (Autor:in)

    Erscheinungsdatum :

    2023


    Format / Umfang :

    1 Online-Ressource (272 Seiten)


    Anmerkungen:

    Campusweiter Zugriff (Universität Hannover) - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots




    Medientyp :

    Buch


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629.8/36