Skip to main content

Advanced Methods in Building Diagnostics and Maintenance

Veröffentlichungen

Dynamic Bayesian networks for formal verification of structured stochastic processes

Autoren: Rupak Majumdar; Alessandro Abate; Sadegh Soudjani
Dauerhafte ID: Digital Object Identifier:10.1007/s00236-016-0287-9

Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)

Autoren: Cauchi, Nathalie; Abate, Alessandro
Dauerhafte ID: arXiv:1803.06315

Virtual sensor for calibration of thermal models of machine tools

Autoren: Alexander Dementjev; Bernd Kauschinger; Steffen Schroeder; Burkhard Hensel; Klaus Kabitzsch
Veröffentlicht in: Hindawi Limited 2014
Dauerhafte ID: Digital Object Identifier:10.1155/2014/347062

Model−based predictive maintenance in building automation systems with user discomfort

Autoren: Alessandro Abate; Karel Macek; Nathalie Cauchi
Dauerhafte ID: Digital Object Identifier:10.1016/j.energy.2017.07.104

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes

Autoren: Soudjani, S.; Abate, A.; Majumdar, R.
Veröffentlicht in: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany Leibniz International Proceedings in Informatics 2015
Dauerhafte ID: Digital Object Identifier:10.4230/lipics.concur.2015.169; arXiv:1507.00509; Handle:11858/00-001M-0000-0029-797E-7

Maintenance of Smart Buildings using Fault Trees

Autoren: Khaza Anuarul Hoque; Nathalie Cauchi; Alessandro Abate; Mariëlle Stoelinga
Dauerhafte ID: Handle:2066/201106; arXiv:1806.05174; Digital Object Identifier:10.1145/3232616

Holistic Ontology-Based Assistance System for Efficient Process Model Parameter Identification

Autoren: Bernd Kauschinger; Thomas Wagner; Andre Gellrich; Klaus Kabitzsch; Burkhard Hensel
Veröffentlicht in: Hindawi Publishing Corporation 2015
Dauerhafte ID: Digital Object Identifier:10.1155/2015/812835

QUANTITATIVE APPROXIMATION OF THE PROBABILITY DISTRIBUTION OF A MARKOV PROCESS BY FORMAL ABSTRACTIONS

Autoren: Esmaeil Zadeh Soudjani, S; Abate, A; Abraham, E
Dauerhafte ID: arXiv:1504.00039; Digital Object Identifier:10.2168/lmcs-11(3:8)2015

Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms

Autoren: Adzkiya, D.
Veröffentlicht in: Delft University of Technology TITLE=None 2014
Dauerhafte ID: Digital Object Identifier:10.4233/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version)

Autoren: Cattaruzza, Dario; Abate, Alessandro; Schrammel, Peter; Kroening, Daniel
Dauerhafte ID: arXiv:1506.05607

Quantitative model-checking of controlled discrete-time Markov processes☆

Autoren: Alexandru Mereacre; Joost-Pieter Katoen; Ilya Tkachev; Alessandro Abate
Veröffentlicht in: Elsevier BV 2016
Dauerhafte ID: Digital Object Identifier:10.1016/j.ic.2016.11.006; arXiv:1407.5449

Detection and isolation of routing attacks through sensor watermarking

Autoren: Ferrari, Riccardo M.G.; Herdeiro Teixeira, A.M.; Sun, J; Jiang, Z-P
Dauerhafte ID: Digital Object Identifier:10.23919/acc.2017.7963800

A set based probabilistic approach to threshold design for optimal fault detection

Autoren: Rostampour, Vahab; Ferrari, Riccardo M.G.; Keviczky, T.; Sun, J.; Jiang, Z.-P.
Veröffentlicht in: IEEE Proceedings of the 2017 American Control Conference (ACC 2017) 2017
Dauerhafte ID: Digital Object Identifier:10.23919/acc.2017.7963798

On approximation metrics for linear temporal model-checking of stochastic systems

Autoren: Alessandro Abate; Ilya Tkachev
Veröffentlicht in: ACM HSCC 2014
Dauerhafte ID: Digital Object Identifier:10.1145/2562059.2562118

Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes

Autoren: Haesaert, Sofie; Babuska, Robert; Abate, A. (Alessandro)
Dauerhafte ID: arXiv:1409.0553

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

Autoren: Sadegh Soudjani; Alessandro Abate
Veröffentlicht in: Society for Industrial & Applied Mathematics (SIAM) urn:issn:1536-0040 2013
Dauerhafte ID: Digital Object Identifier:10.1137/120871456