Compositional and assume-guarantee reasoning for switching linear systems

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems
    PublisherThe International Federation of Automatic Control
    Number of pages0
    ISBN (Print)9783902661593
    Publication statusPublished - 2009

    Cite this