NobleBlocks
    Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems | NobleBlocks