Stochastic systems: estimation, identification and adaptive control
Stochastic systems: estimation, identification and adaptive control
Numerical methods for stochastic control problems in continuous time
Numerical methods for stochastic control problems in continuous time
Ergodic Control of Switching Diffusions
SIAM Journal on Control and Optimization
On Reachability Under Uncertainty
SIAM Journal on Control and Optimization
Synthesizing Controllers for Nonlinear Hybrid Systems
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Efficient representation and computation of reachable sets for hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Reachability of uncertain linear systems using zonotopes
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A toolbox of hamilton-jacobi solvers for analysis of nondeterministic continuous and hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Aircraft conflict prediction in the presence of a spatially correlated wind field
IEEE Transactions on Intelligent Transportation Systems
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
On reachability and minimum cost optimal control
Automatica (Journal of IFAC)
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
On the connections between PCTL and dynamic programming
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem
Automatica (Journal of IFAC)
Measurability and safety verification for stochastic hybrid systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
Quantitative automata model checking of autonomous stochastic hybrid systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
A stochastic reach-avoid problem with random obstacles
Proceedings of the 14th international conference on Hybrid systems: computation and control
Survey paper: Research on probabilistic methods for control system design
Automatica (Journal of IFAC)
Stochastic differential dynamic logic for stochastic hybrid programs
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Safety verification for probabilistic hybrid systems
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Probabilistic invariance of mixed deterministic-stochastic dynamical systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Higher-Order approximations for verification of stochastic hybrid systems
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Control design for specifications on stochastic hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Rewarding probabilistic hybrid automata
Proceedings of the 16th international conference on Hybrid systems: computation and control
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
Stochastic system controller synthesis for reachability specifications encoded by random sets
Automatica (Journal of IFAC)
Optimal control of stochastic hybrid system with jumps: A numerical approximation
Journal of Computational and Applied Mathematics
Characterization and computation of infinite-horizon specifications over Markov processes
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
A compositional modelling and analysis framework for stochastic hybrid systems
Formal Methods in System Design
| Hi-index | 22.16 |
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of the reachability problem in a stochastic control framework reveals that it is amenable to two complementary interpretations, leading to dual algorithms for reachability computations. In particular, the set of initial conditions providing a certain probabilistic guarantee that the system will keep evolving within a desired 'safe' region of the state space is characterized in terms of a value function, and 'maximally safe' Markov policies are determined via dynamic programming. These results are of interest not only for safety analysis and design, but also for solving those regulation and stabilization problems that can be reinterpreted as safety problems. The temperature regulation problem presented in the paper as a case study is one such case.