Verification and Control of Probabilistic Rectangular Hybrid Automata

No abstract is available for this paper.

• Publication year

  2015

• Venue

  International Conference on Formal Modeling and Analysis of Timed Systems

• Publication date

  2015-09-02

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-319-22975-1_1
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018cited by this paper
• Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems

  2013cited by this paper
• Statistical Model Checking for Stochastic Hybrid Systems

  2012cited by this paper
• A survey of stochastic ω-regular games

  2012cited by this paper
• Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

  2012cited by this paper
• Model checking stochastic hybrid systems

  2012cited by this paper
• Analysis of Non-Linear Probabilistic Hybrid Systems

  2011cited by this paper
• Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata

  2011cited by this paper
• Measurability and safety verification for stochastic hybrid systems

  2011cited by this paper
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

  2010cited by this paper
• Expected Reachability-Time Games

  2010cited by this paper
• Safety Verification for Probabilistic Hybrid Systems

  2010cited by this paper
• Principles of model checking

  2008cited by this paper
• STORMED Hybrid Systems

  2008cited by this paper
• State explosion in almost-sure probabilistic reachability

  2007cited by this paper
• Automatic Rectangular Refinement of Affine Hybrid Systems

  2005cited by this paper
• An Introduction to Hybrid Automata

  2005cited by this paper
• Controller Synthesis for Probabilistic Systems

  2004influential reference
• On O-Minimal Hybrid Systems

  2004cited by this paper
• Reachability Questions in Piecewise Deterministic Markov Processes

  2003cited by this paper
• Verifying Quantitative Properties of Continuous Probabilistic Timed Automata

  2000cited by this paper
• Model checking of probabilistic timed and hybrid systems

  2000cited by this paper
• Decidable Model Checking of Probabilistic Hybrid Automata

  2000cited by this paper
• O-Minimal Hybrid Systems

  2000cited by this paper
• Automatic verification of real-time systems with discrete probability distributions

  1999cited by this paper
• Algorithmic Analysis of Nonlinear Hybrid Systems

  1998cited by this paper
• Model Cheking

  1997cited by this paper
• The theory of hybrid automata

  1996cited by this paper
• What's decidable about hybrid automata?

  1995cited by this paper
• What ' s Decidable about Hybrid Automata ? 1

  1995influential reference
• The Algorithmic Analysis of Hybrid Systems

  1995influential reference
• Markov Models and Optimization

  1995cited by this paper
• On the synthesis of a reactive module

  1989cited by this paper
• Supervisory control of a class of discrete event processes

  1987cited by this paper
• Solving sequential conditions by finite-state strategies

  1969cited by this paper

• Comparing Two Approaches to Include Stochasticity in Hybrid Automata

  2023cites this paper