Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems

No abstract is available for this paper.

• Publication year

  2007

• Venue

  International Conference on Hybrid Systems: Computation and Control

• Publication date

  2007-04-03

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-540-71493-4_4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Neuro-Dynamic Programming

  2009cited by this paper
• Stochastic Hybrid Systems: Research Issues and Areas

  2006cited by this paper
• A Variational Inference Procedure Allowing Internal Structure for Overlapping Clusters and Deterministic Constraints

  2006cited by this paper
• Solving Factored MDPs with Hybrid State and Action Variables

  2006cited by this paper
• Passivity of Nonlinear Incremental Systems: Application to PI Stabilization of Nonlinear RLC Circuits

  2006cited by this paper
• Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems

  2006cited by this paper
• Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems

  2006cited by this paper
• A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems

  2005cited by this paper
• Benchmarks for Hybrid Systems Verification

  2004influential reference
• Hybrid Systems: Computation and Control

  1998cited by this paper
• Convergence of discretization procedures in dynamic programming

  1975cited by this paper
• Distributed Dynamic Programming

  year unknowncited by this paper

• State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems

  2025cites this paper
• Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems

  2025cites this paper
• Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift

  2024cites this paper
• Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference

  2023cites this paper
• Recovery Policies for Safe Exploration of Lunar Permanently Shadowed Regions by a Solar-Powered Rover

  2023cites this paper
• Shielded Reinforcement Learning for Hybrid Systems

  2023cites this paper
• Reach-Avoid Analysis for Polynomial Stochastic Differential Equations

  2022cites this paper
• Controller Synthesis for Linear System With Reach-Avoid Specifications

  2022cites this paper
• Probabilistic Reachability and Invariance Computation of Stochastic Systems using Linear Programming

  2022influential citation
• Model-based selective image downsampling in remote driving applications

  2022cites this paper
• On the distributed backward reachability problem for large scale systems

  2021cites this paper
• Grid-Free Computation of Probabilistic Safety With Malliavin Calculus

  2021cites this paper
• Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

  2020cites this paper
• Safety Verification for Random Ordinary Differential Equations

  2020cites this paper
• Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning

  2020influential citation
• Sampling-free enforcement of non-gaussian chance constraints via fourier transforms

  2019cites this paper
• A Hamilton-Jacobi Reachability-Based Framework for Predicting and Analyzing Human Motion for Safe Planning

  2019cites this paper
• A Formal Approach to Verification and Validation of Guidance, Navigation, and Control Algorithms

  2019cites this paper
• The Maximal Hitting-Time Stochastic Reachability Problem

  2019cites this paper
• Affine controller synthesis for stochastic reachability via difference of convex programming

  2019cites this paper
• A Hamilton-Jacobi-Bellman approach for the numerical computation of probabilistic state constrained reachable sets

  2018cites this paper
• Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics

  2018influential citation
• Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems

  2018cites this paper
• Bounded Verification of Reachability of Probabilistic Hybrid Systems

  2018cites this paper
• Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

  2018influential citation
• Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles

  2018cites this paper
• Lagrangian Approximations for Stochastic Reachability of a Target Tube

  2018cites this paper
• Stochastic reachability of a target tube: Theory and computation

  2018influential citation
• Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems

  2018cites this paper
• Stochastic Motion Planning Using Successive Convexification and Probabilistic Occupancy Functions

  2018cites this paper
• Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods

  2017cites this paper
• Stackelberg Interdependent Security Game in Distributed and Hierarchical Cyber-Physical Systems

  2017cites this paper
• Improving Sequential Decision Making in Human-In-The-Loop Systems

  2017cites this paper
• Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms

  2017influential citation
• Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms

  2017influential citation
• Improving Sequential Decision Making in Human-In-The-Loop Systems by Chi Pang Lam A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy

  2017cites this paper
• Robust global recurrence for a class of stochastic hybrid systems

  2017cites this paper
• Off-nominal trajectory computation applied to unmanned aircraft system traffic management

  2017cites this paper
• Policy Search for the Optimal Control of Markov Decision Processes: A Novel Particle-Based Iterative Scheme

  2016cites this paper
• Formal Modeling and Analysis of Timed Systems

  2016influential citation
• Model reduction of switched affine systems

  2016cites this paper
• On Optimal Control of Stochastic Linear Hybrid Systems

  2016cites this paper
• Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms

  2016cites this paper
• SCOTS: A Tool for the Synthesis of Symbolic Controllers

  2016cites this paper
• Upper bounds for the reach-avoid probability via robust optimization

  2015cites this paper
• An efficient algorithm for discrete-time hidden mode stochastic hybrid systems

  2015cites this paper
• An iterative scheme for the approximate linear programming solution to the optimal control of a Markov Decision Process

  2015cites this paper
• Computational Techniques for Stochastic Reachability

  2015cites this paper
• Trajectory-Based Theory for Hybrid Systems

  2015cites this paper
• Error estimates for second order Hamilton-Jacobi-Bellman equations.Approximation of probabilistic reachable sets

  2015cites this paper
• Hamilton Jacobi Bellman Approach for some applied optimal control problems.

  2015cites this paper
• Symbolic models for stochastic switched systems: A discretization and a discretization-free approach

  2014cites this paper
• Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization

  2014cites this paper
• Computational Techniques for Reachability Analysis of Partially Observable Discrete Time Stochastic Hybrid Systems

  2014cites this paper
• A numerical approach to stochastic reach-avoid problems for Markov Decision Processes

  2014cites this paper
• Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes

  2014cites this paper
• The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes

  2014cites this paper
• A numerical approach to the reach-avoid problem for Markov decision processes

  2014cites this paper
• An approximate linear programming solution to the probabilistic invariance problem for stochastic hybrid systems

  2014cites this paper
• A piecewise-deterministic Markov model of freeway accidents

  2014cites this paper
• Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach

  2014cites this paper
• FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes

  2014cites this paper
• A particle-based policy for the optimal control of Markov decision processes

  2014cites this paper
• Biodiesel sim: crowdsourcing simulations for complex model analysis

  2014cites this paper
• Failure diagnosis and prognosis in stochastic discrete-event and cyber-physical systems

  2014cites this paper
• Probabilistic verification of a biodiesel production system using statistical model checking

  2014cites this paper
• Failure diagnosis of discrete-time stochastic systems subject to temporal logic correctness requirements

  2014cites this paper
• Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions

  2013cites this paper
• Symbolic models for stochastic control systems without stability assumptions

  2013cites this paper
• Bisimilar finite abstractions of stochastic control systems

  2013cites this paper
• Approximately Bisimilar Symbolic Models for Stochastic Switched Systems

  2013cites this paper
• Verification and synthesis of optimal decision strategies for complex systems

  2013influential citation
• Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems

  2013cites this paper
• A stochastic reachability approach to emergency building evacuation

  2013cites this paper
• A self-recovery approach to the probabilistic invariance problem for stochastic hybrid systems

  2012cites this paper
• Methods for Reachability-based Hybrid Controller Design

  2012influential citation
• A two-step scheme for approximate model checking of stochastic hybrid systems ⋆

  2011cites this paper
• Probabilistic certification of pan-tilt-zoom camera surveillance systems

  2011cites this paper
• A stochastic reach-avoid problem with random obstacles

  2011cites this paper
• Optimal Control of Hybrid Systems in Air Traffic Applications

  2011cites this paper
• A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras

  2011cites this paper
• A Dynamic Game Framework for Verification and Control of Stochastic Hybrid Systems

  2011cites this paper
• Markov modeling of Stochastic Hybrid Systems

  2010cites this paper
• Approximate Model Checking of Stochastic Hybrid Systems

  2010cites this paper
• Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System

  2010cites this paper
• Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem

  2010cites this paper
• Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars

  2010influential citation
• Modeling, simulation, and verification of biochemical processes using Stochastic Hybrid Systems

  2009cites this paper
• A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems

  2009cites this paper
• Safety assessment for stochastic linear systems using enclosing hulls of probability density functions

  2009cites this paper
• Modelling and analysis of the sugar cataract development process using stochastic hybrid systems.

  2009cites this paper
• Modeling and Analysis of the Sugar Cataract Development Process Using Stochastic Hybrid Systems

  2009cites this paper
• Probabilistic testing for stochastic hybrid systems

  2008cites this paper
• An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems

  2008influential citation
• Network of Excellence Thematic Priority 2 FP 6 – IST-511368 HYCON Hybrid Control : Taming Heterogeneity and Complexity of Networked Embedded Systems

  2007cites this paper
• FOUNDATIONS OF HYBRID AND EMBEDDED SYSTEMS AND SOFTWARE NSF/ITR PROJECT – AWARD NUMBER: CCR-00225610 UNIVERSITY OF CALIFORNIA AT BERKELEY

  2005cites this paper