Discrete Event Dynamic Systems
Stabilization and destabilization of hybrid systems of stochastic differential equations
Automatica (Journal of IFAC)
Discrete Event Dynamic Systems
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
Reachability questions in piecewise deterministic Markov processes
HSCC'03 Proceedings of the 6th 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)
Uniform Recurrence Properties of Controlled Diffusions and Applications to Optimal Control
SIAM Journal on Control and Optimization
Stability of Regime-Switching Jump Diffusions
SIAM Journal on Control and Optimization
A stochastic reach-avoid problem with random obstacles
Proceedings of the 14th international conference on Hybrid systems: computation and control
Stochastic differential dynamic logic for stochastic hybrid programs
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Reachability analysis for controlled discrete time stochastic hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Approximate abstraction of stochastic hybrid automata
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Specification and analysis of distributed object-based stochastic hybrid systems
HSCC'06 Proceedings of the 9th 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
A two-factor stochastic production model with two time scales
Automatica (Journal of IFAC)
Stochastic stabilization of hybrid differential equations
Automatica (Journal of IFAC)
Journal of Computational and Applied Mathematics
Stochastic system controller synthesis for reachability specifications encoded by random sets
Automatica (Journal of IFAC)
Bayesian statistical model checking with application to Stateflow/Simulink verification
Formal Methods in System Design
Hi-index | 0.01 |
We study the ergodic control problem of switching diffusions representing a typical hybrid system that arises in numerous applications such as fault-tolerant control systems, flexible manufacturing systems, etc. Under fairly general conditions, we establish the existence of a stable, nonrandomized Markov policy which almost surely minimizes the pathwise long-run average cost. We then study the corresponding Hamilton--Jacobi--Bellman (HJB) equation and establish the existence of a unique solution in a certain class. Using this, we characterize the optimal policy as a minimizing selector of the Hamiltonian associated with the HJB equations. As an example we apply the results to a failure-prone manufacturing system and obtain closed form solutions for the optimal policy.