Robust controller synthesis for hybrid systems using modal logic

Thomas Moor, J. M. Davoren

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

    25 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Robust controller synthesis for hybrid systems using modal logic'. Together they form a unique fingerprint.

    Computer Science

    Mathematics

    Engineering