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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal methods for control of nonlinear systems


    Contributors:
    Li, Yinan (author) / Liu, Jun (author)

    Publication date :

    2023


    Size :

    1 Online-Ressource (272 Seiten)


    Remarks:

    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




    Type of media :

    Book


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629.8/36