Publications

Shows publications by members of the Cyber-Physical Systems group.

Currently giving an overview of all categories - show all...

Conference Papers

H. Isakovic, E. Azpiazu Crespo, R. Grosu: An Energy Sustainable CPS/IoT Ecosystem
1st EAI International Conference on Intelligent Edge Processing for the IoT Era, Braga; in: Edge IoT, Springer, 2020
bib details

D. Hauer, D. Ratasich, L. Krammer, A. Jantsch: A Methodology for Resilient Control and Monitoring in Smart Grids
2020 IEEE International Conference on Industrial Technology (ICIT), Buenos Aires; in: 2020 IEEE International Conference on Industrial Technology (ICIT), IEEE, 2020, ISSN: 2643-2978, p. 589 - 594
bib details doi pdf

E. Kyriakakis, J. Sparso, P. Puschner, M. Schoeberl: Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress
2020 International Conference on Embedded Software (EMSOFT), Singapur; in: 2020 International Conference on Embedded Software (EMSOFT), ACM, 2020, ISBN: 978-1-7281-9196-6, p. 15 - 17
bib details doi

U. Mehmood, S. Roy, R. Grosu, S. Smolka, S. Stoller, A. Tiwari: Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
FoSSaCS: International Conference on Foundations of Software Science and Computation Structures, virtuell; in: Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Springer, . (2020), ISBN: 978-3-030-45231-5, p. 1 - 16
bib details pdf

D. Phan, R. Grosu, N. Jansen, N. Paoletti, S. Smolka, S. Stoller: Neural simplex architecture
NASA Formal Methods (NFM), virtuell; in: Neural simplex architecture, Springer, . (2020), ISBN: 978-3-030-55754-6, p. 97 - 114
bib details pdf

more...

Presentations

H. Isakovic, E. Azpiazu Crespo, R. Grosu: An Energy Sustainable CPS/IoT Ecosystem
1st EAI International Conference on Intelligent Edge Processing for the IoT Era, Braga; in: Edge IoT, Springer, 2020
bib details

E. Bartocci, L. Kovacs, E. Bura: ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs
Vienna Science, Research and Technology Fund - ProbInG, online
bib details

D. Hauer, D. Ratasich, L. Krammer, A. Jantsch: A Methodology for Resilient Control and Monitoring in Smart Grids
2020 IEEE International Conference on Industrial Technology (ICIT), Buenos Aires; in: 2020 IEEE International Conference on Industrial Technology (ICIT), IEEE, 2020, ISSN: 2643-2978, p. 589 - 594
bib details doi pdf

E. Kyriakakis, J. Sparso, P. Puschner, M. Schoeberl: Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress
2020 International Conference on Embedded Software (EMSOFT), Singapur; in: 2020 International Conference on Embedded Software (EMSOFT), ACM, 2020, ISBN: 978-1-7281-9196-6, p. 15 - 17
bib details doi

U. Mehmood, S. Roy, R. Grosu, S. Smolka, S. Stoller, A. Tiwari: Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
FoSSaCS: International Conference on Foundations of Software Science and Computation Structures, virtuell; in: Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Springer, . (2020), ISBN: 978-3-030-45231-5, p. 1 - 16
bib details pdf

more...

Theses

L. Reier: Security Konzept und Evaluierung einer Off-Highway Electronic Control Unit (Master's Thesis)
reviewer: W. Steiner; E191, 2020; oral examination: 2020-09-24
bib details

M. Kratochwill: Increased Efficiency through Test Automation in Electronics Development (Master's Thesis)
reviewers: S. Poledna, W. Steiner; E191, 2019; oral examination: 2019-11-20
bib details

F. Genco: Intermediate logics and concurrent lambda-calculi: a proof theoretic approach (PhD Thesis)
reviewers: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08
bib details

A. Brandstätter: Local Positioning System for Quadcopters (Master's Thesis)
reviewers: R. Grosu, C. Hirsch, B. Frömel; Institute of Computer Engineering, 2019; oral examination: 2019-06-07
bib details pdf

E. Ibrahimovic: Life cycle assessment of vehicles with alternative powertrains (Master's Thesis)
reviewers: B. Geringer, C. Six; Institut für Fahrzeugantriebe und Automobiltechnik (IFA), 2017
bib details

more...

Journal Papers

X. Xu, Z. Zao, X. Xu, J. Yang, L. Chang, X. Yan, G. Wang: Machine learning-based wear fault diagnosis for marine diesel engine by fusing multiple data-driven models
Knowledge-Based Systems, 190 (2019)
bib details doi pdf

X. Xu, Z. Yu, J. Zeng, W. Xiong, Y. Hu, G. Wang: A Bayesian Belief-Rule-Based Inference Multivariate Alarm System for Nonlinear Time-Varying Processes
SCIENCE CHINA Information Sciences, . (2020), p. ##
bib details doi pdf

R. Grosu, A. Lukina, S. Smolka, A. Tiwari, V. Varadarajan, X. Wang: V-Formation via Model Predictive Control
ArXiv, . (2020); 33 pages
bib details pdf

R. Grosu: ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks
ArXiv, . (2020); 9 pages
bib details pdf

S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari: Learning Distributed Controllers for V-Formation
ArXiv, . (2020); 10 pages
bib details pdf

more...

Editorials

H. Kopetz: Simplicity is Complex
Springer, 2019, ISBN: 978-3-030-20410-5; 148 pages
bib details doi

E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 978-3-030-31513-9; 301 pages
bib details doi

E. Bartocci, Y. Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 15 (2018), p. 1122 - 1123
bib details doi

A. Bondavalli, S. Bouchenak, H. Kopetz: Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Lecture Notes in Computer Science, series editors: D. Hutchison, T. Kanade, J. Kittler, J. Kleinberg, F. Mattern, J. Mitchell, M. Naor, C. Pandu Rangan, B. Steffen, D. Terzopoulos, D. Tygar, G. Weikum et al., Springer International Publishing, 2016, ISBN: 978-3-319-47589-9; 257 pages
bib details doi

more...

Books

A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu: Statistical model checking
Computing and Software Science, Springer LNCS, 2019, p. 478 - 504
bib details

E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 135 - 175
bib details doi

E. Bartocci, Y. Falcone, A. Francalanza, G. Reger: Introduction to Runtime Verification
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 1 - 33
bib details doi

H. Isakovic, R. Grosu (invited): A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform
Solutions for Cyber-Physical Systems Ubiquity, IGI Global, Hershey PA, USA 17033, 1 (2018), ISBN: 9781522528456, p. 169 - 194
bib details doi

T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, R. Grosu: Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study
Solutions for Cyber-Physical Systems Ubiquity, N. Druml, A. Genser, A. Krieg, M. Menghin, A. Höller (ed.); IGI Global, Hershey, Pennsylvania, USA, 1 (2017), ISBN: 9781522528456, p. 137 - 168
bib details doi

more...

Reports, Miscellaneous

O. Höftberger: Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS)
2016
bib details pdf

H. Kopetz (invited): Why a Global Time is Needed in a Dependable SoS
Engineering Dependable Systems of Systems (EDSoS) 2014, Newcastle upon Tyne, United Kingdom
bib details

H. Kopetz (invited): From Embedded Systems to Systems of Systems
10th IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), Reno, Nevada, USA
bib details doi

H. Kopetz (invited): Systems of Systems Need a Global Time
23rd NIST-ATIS Synchronization Workshop, San Jose, California, USA
bib details

M. Schoeberl: Instruction Cache für Echtzeitsysteme
patent: Österreich, no. 500858, submitted: 2004-08-17, granted: 2006-04-15
bib details

more...

Older and additional publications may be found on an external server at http://www.vmars.tuwien.ac.at/papers/papers.html.