The problem of determining maximal safe sets and hybrid controllers is computationally intractable because of the mathematical generality of hybrid system models. Given the practical and theoretical relevance of the problem, finding implementable procedures that could at least approximate the maximal safe set is important. To this end, we begin by restricting our attention to a special class of hybrid systems: switching systems. We exploit the structural properties of the graph describing the discrete part of a switching system to develop an efficient procedure for the computation of the safe set. This procedure requires the computation of a maximal controlled invariant set. We then restrict our attention to linear discrete-time systems for which there is a wealth of results available in the literature for the determination of maximal controlled invariant sets. However, even for this class of systems, the computation may not converge in a finite number of steps. We then propose to compute inner approximations that are controlled invariant and for which a procedure that terminates in a finite number of steps can be obtained. A tight bound on the error can be given by comparing the inner approximation with the classical outer approximation of the maximal controlled invariant set. Our procedure is applied to the idle-speed regulation problem in engine control to demonstrate its efficiency.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Computation of maximal safe sets for switching systems


    Contributors:

    Published in:

    Publication date :

    2004


    Size :

    12 Seiten, 36 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Computation of Safe and Reachable Sets for Model-Free Dynamical Systems: Aircraft Longitudinal Dynamics (AIAA 2014-0544)

    Nuthi, P.K. / Subbarao, K. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2014


    Provably-Safe Cooperative Driving via Invariably Safe Sets

    Liu, Edmond Irani / Pek, Christian / Althoff, Matthias | IEEE | 2020


    PROVABLY-SAFE COOPERATIVE DRIVING VIA INVARIABLY SAFE SETS

    Liu, Edmond Irani / Pek, Christian / Althoff, Matthias | British Library Conference Proceedings | 2020


    Coherent computation of the multispectral maximal directional derivative

    Greenshields, I.R. | British Library Online Contents | 1999


    Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets

    Krasowski, Hanna / Zhang, Yinqiang / Althoff, Matthias | IEEE | 2022