January 01, 2023 conference-paper Aachen paper

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

Lecture notes in computer science, pp. 164–182

DOI: 10.1007/978-3-031-35257-7_10 OpenAlex

Authors 4

Joanna Delicaris corresponding

University of Münster

Affiliation as printed

Westfälische Wilhelms-Universität, 48149, Münster, Germany
Stefan Schupp corresponding

TU Wien

Affiliation as printed

TU Wien, Vienna, Austria
Erika Ábrahám corresponding Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen, Aachen, Germany
Anne Remke corresponding

University of Münster

Affiliation as printed

Westfälische Wilhelms-Universität, 48149, Münster, Germany

Cited by 12 stored of 12

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations
Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
2025 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification

0

citations
Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage
2025 Lecture notes in computer science conference-paper Computer Science Real-Time Systems Scheduling Open access

0

citations
(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

2

citations
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

4

citations
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

1

citations
Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

4

citations
Maximizing reachability probabilities in rectangular automata with random events
2024 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

3

citations
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
2024 Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering conference-paper Computer Science Formal Methods in Verification

6

citations
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability
2024 Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering conference-paper Computer Science Formal Methods in Verification

1

citations
ARCH-COMP23 Category Report: Stochastic Models
2023 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

5

citations
Comparing Two Approaches to Include Stochasticity in Hybrid Automata
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

8

citations

12 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 26

The algorithmic analysis of hybrid systems
1995 Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

1,886

citations
A new algorithm for adaptive multidimensional integration
1978 Journal of Computational Physics article Mathematics Mathematical Approximation and Integration Open access

1,664

citations
What's Decidable about Hybrid Automata?
1998 Journal of Computer and System Sciences article Computer Science Formal Methods in Verification Open access

671

citations
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
2008 Automatica article Computer Science Formal Methods in Verification

447

citations
The Theory of Hybrid Automata
2000 Springer eBooks book-chapter Computer Science Formal Methods in Verification

399

citations
PHAVer: algorithmic verification of hybrid systems past HyTech
2008 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification

237

citations
A compositional modelling and analysis framework for stochastic hybrid systems
2012 Formal Methods in System Design article Computer Science Formal Methods in Verification

156

citations
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
2000 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

95

citations
Decidable Model Checking of Probabilistic Hybrid Automata
2000 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

92

citations
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

83

citations
FAUST $^{\mathsf 2}$ : Formal Abstractions of Uncountable-STate STochastic Processes
2015 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

79

citations
A theory of stochastic systems part I: Stochastic automata
2005 Information and Computation article Computer Science Formal Methods in Verification Open access

75

citations
Stochastic Hybrid Systems: A Powerful Framework for Complex, Large Scale Applications
2010 European Journal of Control article Computer Science Formal Methods in Verification

69

citations
Stochastic Timed Automata
2014 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

57

citations
A Stochastic Approximation Method for Reachability Computations
2006 Springer eBooks book-chapter Engineering Air Traffic Management and Optimization

56

citations
Computational Methods for Verification of Stochastic Hybrid Systems
2008 IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans article Computer Science Formal Methods in Verification

52

citations
StocHy - automated verification and synthesis of stochastic processes
2019 ACM International Conference on Hybrid Systems: Computation and Control (HSCC) conference-paper Computer Science Formal Methods in Verification

30

citations
Safety Verification for Probabilistic Hybrid Systems
2012 European Journal of Control article Computer Science Formal Methods in Verification

29

citations
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes
2013 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

20

citations
A Hierarchy of Scheduler Classes for Stochastic Automata
2018 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

15

citations