Differential inclusions are mathematical models of nondeterministic continuous-time systems for which no stochastic information on the behavior is known. They arise naturally as reduced models of deterministic systems or as models of components of a distributed system with partial knowledge of the inputs. In order to verify that such systems satisfy safety specifications, we need to compute rigorous over-approximations to the set of reachable states. In this essay, we outline such a method, which gives high-order error for a single time step and a uniform bound on the error over the finite time interval. The approach is based on the approximations of inputs by finitely parametrized functions at each time step.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Computing Reachable Sets of Differential Inclusions


    Weitere Titelangaben:

    Lect. Notes Control


    Beteiligte:
    van Schuppen, Jan H. (Herausgeber:in) / Villa, Tiziano (Herausgeber:in) / Živanović Gonzalez, Sanja (Autor:in) / Collins, Pieter (Autor:in)


    Erscheinungsdatum :

    26.09.2014


    Format / Umfang :

    9 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    COMPUTING SPECIFICATION-COMPLIANT REACHABLE SETS FOR MOTION PLANNING OF AUTOMATED VEHICLES

    Liu, Edmond Irani / Althoff, Matthias | British Library Conference Proceedings | 2021




    On tight polyhedral estimates for reachable sets of linear differential systems

    Kostousova, E.K. | British Library Conference Proceedings | 2012


    On tight polyhedral estimates for reachable sets of linear differential systems

    Kostousova, Elena K. | American Institute of Physics | 2012