Ulrich Kühne

Post-doctoral researcher, CNRS


Research interests

At the LSV, I am currently working on the modeling and verification of hybrid systems using linear hybrid automata (LHA).

Reports

  • Ulrich Kühne: Analysis of a boost converter circuit using linear hybrid automata, technical report, LSV, 2010. [pdf]

    • About LSV

    Contact

    Ulrich Kühne
    Address
    LSV, CNRS & ENS de Cachan
    61, avenue du Président Wilson
    94235 CACHAN Cedex, France
    Phone
    +33 (0)1 47 40 22 66
    Secr.
    +33 (0)1 47 40 75 20
    E-Mail
    email