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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Computing Reachable Sets of Differential Inclusions


    Additional title:

    Lect. Notes Control




    Publication date :

    2014-09-26


    Size :

    9 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    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, Elena K. | American Institute of Physics | 2012


    On tight polyhedral estimates for reachable sets of linear differential systems

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