Specification-guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2020.3014142 ◽

2021 ◽

pp. 1-1 ◽

Author(s):

Maxence Dutreix ◽

Samuel Coogan

Keyword(s):

Stochastic Systems ◽

Abstraction Refinement

Download Full-text

Optimization of Stochastic Systems: Topics in Discrete-Time Systems

10.1016/s0076-5392(08)x6117-x ◽

1967 ◽

Keyword(s):

Discrete Time ◽

Stochastic Systems ◽

Discrete Time Systems ◽

Download Full-text

DECOMPOSITION OF NONLINEAR DISCRETE-TIME STOCHASTIC SYSTEMS

Acta Mathematica Scientia ◽

10.1016/s0252-9602(18)30541-1 ◽

1985 ◽

Vol 5 (4) ◽

pp. 399-413

Author(s):

Chongzhao Han

Keyword(s):

Discrete Time ◽

Stochastic Systems

Download Full-text

Modern methods for the statistical description of dynamic stochastic systems

Uspekhi Fizicheskih Nauk ◽

10.3367/ufnr.0179.200905j.0547 ◽

2009 ◽

Vol 179 (5) ◽

pp. 547 ◽

Author(s):

Valerii I. Klyatskin

Keyword(s):

Stochastic Systems ◽

Modern Methods ◽

Dynamic Stochastic

Download Full-text

Application of Approximation Methods of Iterated Stratonovich and Ito Stochastic Integrals to Numerical Simulation of Controlled Stochastic Systems

Journal of Automation and Information Sciences ◽

10.1615/jautomatinfscien.v31.i10.100 ◽

1999 ◽

Vol 31 (10) ◽

pp. 70-83

Author(s):

Dmitriy F. Kuznetsov

Keyword(s):

Numerical Simulation ◽

Stochastic Systems ◽

Stochastic Integrals ◽

Approximation Methods

Download Full-text

Stabilization of Stochastic Diffusive Dynamical Systems with Impulse Markov Switchings and Parameters. Part I. Stability of Impulse Stochastic Systems with Markov Parameters

Journal of Automation and Information Sciences ◽

10.1615/jautomatinfscien.v41.i2.10 ◽

2009 ◽

Vol 41 (2) ◽

pp. 1-24 ◽

Author(s):

Taras O. Lukashiv ◽

Vladimir K. Yasinskiy ◽

Evgeniy V. Yasinskiy

Keyword(s):

Dynamical Systems ◽

Stochastic Systems ◽

Markov Parameters

Download Full-text

Case Studies in Direct Digital Control of Stochastic Systems

10.23919/acc.1982.4787804 ◽

1982 ◽

Author(s):

O.L.R. Jacobs

Keyword(s):

Case Studies ◽

Digital Control ◽

Stochastic Systems ◽

Direct Digital Control

Download Full-text

Adaptive Control and Cost Sensitivity of Stochastic Systems with Continuous State and Parameters, and Logical Controls

1991 American Control Conference ◽

10.23919/acc.1991.4791482 ◽

1991 ◽

Author(s):

Steven I. Marcus ◽

Emmanuel Fernandez-Gaucherand ◽

Aristotle Arapostathis

Keyword(s):

Adaptive Control ◽

Stochastic Systems ◽

Continuous State ◽

Cost Sensitivity

Download Full-text

Mean Square Stabilizability of a Class of Nonlinear Stochastic Systems

10.23919/acc.1989.4790625 ◽

1989 ◽

Author(s):

Engin Yaz

Keyword(s):

Stochastic Systems ◽

Mean Square ◽

Nonlinear Stochastic Systems

Download Full-text

Decoupling Stochastic Systems under Plant and Controller Parameter Variation

10.23919/acc.1986.4788911 ◽

1986 ◽

Author(s):

Gordon K. F. Lee ◽

Ali H. Bamani

Keyword(s):

Stochastic Systems ◽

Parameter Variation ◽

Controller Parameter

Download Full-text

Strong Consistency of Variable Selection for Stationary Linear Stochastic Systems

2019 Chinese Control Conference (CCC) ◽

10.23919/chicc.2019.8866312 ◽

2019 ◽

Author(s):

ZHAO Wenxiao ◽

YIN G. George ◽

BAI Er-Wei

Keyword(s):

Variable Selection ◽

Strong Consistency ◽

Stochastic Systems ◽

Linear Stochastic Systems ◽

Download Full-text