Pages that link to "Item:Q2377974"
From MaRDI portal
The following pages link to Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974):
Displaying 25 items.
- Interacting particle system based estimation of reach probability of general stochastic hybrid systems (Q2677118) (← links)
- Model checking for performability (Q2843861) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Measurability and safety verification for stochastic hybrid systems (Q2986712) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems (Q3523095) (← links)
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems (Q3612955) (← links)
- Adaptive control and signal processing literature survey (No. 7) (Q3626915) (← links)
- (Q5021008) (← links)
- Local lipschitzness of reachability maps for hybrid systems with applications to safety (Q5146387) (← links)
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042) (← links)
- Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems (Q5238255) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
- Bounded Verification of Reachability of Probabilistic Hybrid Systems (Q6104812) (← links)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics (Q6546444) (← links)
- Comparing two approaches to include stochasticity in hybrid automata (Q6546460) (← links)
- Data-driven abstraction-based control synthesis (Q6551651) (← links)
- Probabilistic reach-avoid for Bayesian neural networks (Q6592977) (← links)
- Discrete-time hybrid control processes with unbounded costs (Q6642494) (← links)
- Stochastic safety analysis and synthesis of a class of human-in-the-loop systems via reachable set computation (Q6643183) (← links)
