( en | de | ru )

 

Disambiguierung von "Abate, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees.

, , , und . CoRR, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Asferachew Abate

Daniel Abatemarco

Dawit Abate

Aida Abate

Alula Abate

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings., , und . CoRR, (2019)Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version)., , und . CoRR, (2019)The Concept of Deadlock and Livelock in Hybrid Control Systems., , , , und . HSCC, Volume 4416 von Lecture Notes in Computer Science, Seite 628-632. Springer, (2007)Correct-by-design output feedback of LTI systems., , und . CDC, Seite 6159-6164. IEEE, (2015)Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions., , und . FORMATS, Volume 11750 von Lecture Notes in Computer Science, Seite 142-159. Springer, (2019)A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems., , , und . ADHS, Volume 54 von IFAC-PapersOnLine, Seite 259-264. Elsevier, (2021)Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models., , und . HSCC, Seite 26:1-26:10. ACM, (2024)Approximate Model Checking of Stochastic Hybrid Systems., , , und . Eur. J. Control, 16 (6): 624-641 (2010)SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis., , , und . QEST, Volume 12289 von Lecture Notes in Computer Science, Seite 18-26. Springer, (2020)