From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “probabilistic systems” 315

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

ProLoaF: Probabilistic load forecasting for power systems
2023 SoftwareX software-paper Engineering Energy Load and Power Forecasting Open access

Gonca Gürses-Tran, Antonello Monti

2

citations
A review of probabilistic resource adequacy assessments in power systems: Methods, applications, and future challenges
2025 Energy Policy article Engineering Power System Reliability and Maintenance Open access

Marius Tillmanns, J. Schöttler, Aaron Praktiknjo

10

citations
Probabilistic Identification of Technology Tipping Points in Deeply Decarbonised Energy Systems
2026 arXiv (Cornell University) preprint Engineering Integrated Energy Systems Optimization Open access

G. Müller, Thomas Schöb, Jann Michael Weinand, Iain Staffell

0

citations
Probabilistic Identification of Technology Tipping Points in Deeply Decarbonised Energy Systems
2026 arXiv (Cornell University) preprint Engineering Integrated Energy Systems Optimization Open access

G. Müller, Thomas Schöb, Jann Michael Weinand, Iain Staffell

0

citations
A review of probabilistic resource adequacy assessments in power systems: Methods, applications, and future challenges
2026 Energy Policy article Engineering Power System Reliability and Maintenance Open access

Marius Tillmanns, Johannes Alois Schöttler, Aaron Praktiknjo

0

citations
Robust direct data-driven control for probabilistic systems
2025 Systems & Control Letters article Engineering Advanced Control Systems Optimization Open access

Alexander von Rohr, Sebastian Trimpe

1

citations
Robust Direct Data-Driven Control for Probabilistic Systems
2023 arXiv (Cornell University) preprint Engineering Advanced Control Systems Optimization Open access

Alexander von Rohr, Sebastian Trimpe

0

citations
Application of Joint Raw Moments-Based Probabilistic Power Flow Analysis for Hybrid AC/VSC-MTDC Power Systems
2021 IEEE Transactions on Power Systems article Engineering Optimal Power Flow Distribution

Xingyu Lin, Tong Shu, Junjie Tang, Ferdinanda Ponci, Antonello Monti, Wenyuan Li

22

citations
Probabilistic evaluation of smoke extraction systems
2020 RWTH Publications (RWTH Aachen) book Engineering Fire dynamics and safety research Open access

Mark Wesseling

0

citations
Using Deep-Learning based Probabilistic Forecasting for Multi-Use Operation of Battery Energy Storage Systems
2025 conference-paper Engineering Electric Power System Optimization

Steffen Kortmann, Corvin Starkulla, Andreas Ulbig

1

citations
Model-driven software development and verification solutions for safety critical battery management systems : a quantitative evaluation of probabilistic inference & artificial intelligence methods
2020 RWTH Publications (RWTH Aachen) book Engineering Advanced Battery Technologies Research Open access

Christian Fleischer

0

citations
Hybrid Deep Learning‐Based Networks for Deterministic and Probabilistic Wind Nowcasting Within a Wake Vortex Warning System for Vertiport Operations
2026 Meteorological Applications article Earth and Planetary Sciences Meteorological Phenomena and Simulations Open access

Sooseok Lee, Frank N. Holzäpfel, Anton Stephan, Dieter Moormann

0

citations
Counterexample-guided inductive synthesis for probabilistic systems
2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

7

citations
\nTowards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty
2020 Radboud Repository (Radboud University) conference-paper Computer Science Advanced Software Engineering Methodologies

Alex Serban, Erik Poll, Joost Visser

7

citations
Towards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty
2020 Lecture notes in computer science conference-paper Computer Science Advanced Software Engineering Methodologies Open access

Alex Serban, Erik Poll, Joost Visser

0

citations
Verifying Probabilistic Programs
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Artificial intelligence and design of experiments for resource adequacy assessment in power systems
2024 Energy Strategy Reviews article Engineering Power System Reliability and Maintenance Open access

Jan Priesmann, Marius Tillmanns, Marius Reich, Mario Adam, Aaron Praktiknjo

8

citations
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking
2024 Proceedings, annual Reliability and Maintainability Symposium/Proceedings. Annual Reliability and Maintainability Symposium conference-paper Decision Sciences Risk and Safety Analysis Open access

Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle I. A. Stoelinga

13

citations
Numerical Errors in Quantitative System Analysis With Decision Diagrams
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk, Alfons Laarman

2

citations
Grid-Aware Probabilistic Load Forecast Correction with Mondrian Conformal Calibration
2026 SSRN Electronic Journal preprint Engineering Energy Load and Power Forecasting Open access

Ugochukwu Orji, Çíçek Güven, Dan Stowell

0

citations
Probabilistic Load Forecasting for Day-Ahead Congestion Mitigation
2020 International Conference on Probabilistic Methods Applied to Power Systems (PMAPS) conference-paper Engineering Energy Load and Power Forecasting Open access

Gonca Gürses-Tran, Hendrik Flamme, Antonello Monti

9

citations
Probabilistic Optimal Power Flow Calculation Using Weighted Quasi-Monte Carlo Method Based on Homotopy Algorithm and Correlation Correction
2026 IEEE Transactions on Power Systems article Engineering Optimal Power Flow Distribution

Junzhou Wang, Xingyu Lin, Sui Peng, Junjie Tang, Ferdinanda Ponci, Antonello Monti

0

citations
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Joost-Pieter Katoen

6

citations
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Joost-Pieter Katoen

1

citations
Efficient and Robust Power Flow Algorithm for Asynchronous Grids Coupled Through a VSC-MTDC System and Its Probability Analysis
2022 IEEE Systems Journal article Engineering HVDC Systems and Fault Protection

Qian Cheng, Xingyu Lin, Sui Peng, Junjie Tang, Ferdinanda Ponci, Antonello Monti

6

citations