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




    Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control

    Gross, Kerianne H. / Clark, Matthew A. / Hoffman, Jonathan A. et al. | AIAA | 2017




    Semi-formal design methods for functional modelling of climate control systems

    Goethel, J. / Fuchs, M. / VDI; Gesellschaft Fahrzeug- und Verkehrstechnik | British Library Conference Proceedings | 1998