Zum Inhalt springen

  1. Nixdorf, Bernhard [VerfasserIn] ; Lunze, Jan [Sonstige Person, Familie und Körperschaft]; Krebs, V. [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg-Harburg Arbeitsbereich Regelungstechnik

    Discrete event modelling and control of hybrid systems - [Als Ms. gedr.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: VDI-Verl., 2003

    Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 990

  2. Teige, Tino [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]

    Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: IBIT - Universitätsbibliothek, 2012

  4. Asselborn, Leonhard [VerfasserIn] ; Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik [MitwirkendeR]; Stursberg, Olaf [MitwirkendeR]; Abraham, Erika [MitwirkendeR]

    Control of Stochastic Hybrid Systems based on Probabilistic Reachable Set Computation - [published Version]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    kassel university press; Kassel, 2018

  5. Mahdi, Ahmed [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Becker, Bernd [AkademischeR BetreuerIn]; Theel, Oliver [AkademischeR BetreuerIn]

    Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2017

  6. Agapie, Alexandru [HerausgeberIn]; Enachescu, Denis [HerausgeberIn]; Barbu, Vlad Stefan [HerausgeberIn]; Iftimie, Bogdan [HerausgeberIn]

    Probability, Stochastic Processes and Optimization

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Basel: MDPI - Multidisciplinary Digital Publishing Institute, 2023

  14. Mi, Jinhua; Li, Yan-Feng; Beer, Michael; Broggi, Matteo; Cheng, Yuhua

    Importance measure of probabilistic common cause failures under system hybrid uncertainty based on bayesian network

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne, 2020

    Erschienen in: Eksploatacja i Niezawodność – Maintenance and Reliability