Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMath1178.93027OpenAlexW2478741156MaRDI QIDQ5898991

Derek Riley, Xenofon D. Koutsoukos

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11730637

Mathematics Subject Classification ID

Applications of stochastic analysis (to PDEs, etc.) (60H30) Numerical solutions to stochastic differential and integral equations (65C30) Attainable sets, reachability (93B03) Computer system organization (68M99) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (10)

A stochastic games framework for verification and control of discrete time stochastic hybrid systems ⋮ Risk-aware controller for autonomous vehicles using model-based collision prediction and reinforcement learning ⋮ Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem ⋮ Distributionally Robust Strategy Synthesis for Switched Stochastic Systems ⋮ Interval Markov Decision Processes with Continuous Action-Spaces ⋮ Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems ⋮ Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process ⋮ Safe autonomy under perception uncertainty using chance-constrained temporal logic ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Hybrid Systems: Computation and Control