Search Results - Horst Schulte

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Notes on Recent Achievements in Proving Stability using KeYmaeraX

    Notes on Recent Achievements in Proving Stability using KeYmaeraX by Thomas Baar, Horst Schulte

    Published 2021-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Safety Analysis of Longitudinal Motion Controllers during Climb Flight

    Safety Analysis of Longitudinal Motion Controllers during Climb Flight by Thomas Baar, Horst Schulte

    Published 2019-12-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    A novel state–space model reference adaptive speed control design for fractional-order model-based wind turbine

    A novel state–space model reference adaptive speed control design for fractional-order model-based wind turbine by Mohammed Islam Leulmi, Samir Ladaci, Horst Schulte

    Published 2025-09-01
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study

    Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study by Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergey Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov

    Published 2021-09-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: