HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization

Mapping Intimacies ◽

10.1109/ccta48906.2021.9659123 ◽

2021 ◽

Author(s):

Negin Musavi ◽

Dawei Sun ◽

Sayan Mitra ◽

Geir Dullerud ◽

Sanjay Shakkottai

Keyword(s):

Stochastic Systems ◽

Parameter Synthesis

Download Full-text

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-49674-9_21 ◽

2016 ◽

pp. 367-384 ◽

Author(s):

Milan Češka ◽

Petr Pilař ◽

Nicola Paoletti ◽

Luboš Brim ◽

Marta Kwiatkowska

Keyword(s):

Stochastic Systems ◽

Parameter Synthesis

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