相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Nathalie Cauchi et al.
PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19) (2019)
Quantitative model-checking of controlled discrete-time Markov processes
Ilya Tkachev et al.
INFORMATION AND COMPUTATION (2017)
Optimal Control of the Fokker-Planck Equation with Space-Dependent Controls
Arthur Fleig et al.
JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS (2017)
Certified policy synthesis for general Markov decision processes: An application in building automation systems
Sofie Haesaert et al.
PERFORMANCE EVALUATION (2017)
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
Ernst Moritz Hahn et al.
QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2017) (2017)
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
Morteza Lahijanian et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
Majid Zamani et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2014)
Generalized Gaussian bridges
Tommi Sottinen et al.
STOCHASTIC PROCESSES AND THEIR APPLICATIONS (2014)
Characterization and computation of infinite-horizon specifications over Markov processes
Ilya Tkachev et al.
THEORETICAL COMPUTER SCIENCE (2014)
A Fokker-Planck control framework for multidimensional stochastic processes
M. Annunziato et al.
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS (2013)
Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
Sadegh Esmaeil Zadeh Soudjani et al.
SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS (2013)
Verification of discrete time stochastic hybrid systems A stochastic reach-avoid decision problem
Sean Summers et al.
AUTOMATICA (2010)
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Di Wu et al.
ARTIFICIAL INTELLIGENCE (2008)
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Alessandro Abate et al.
AUTOMATICA (2008)
Stochastic modeling and control of biological systems: The lactose regulation system of Escherichia coli
A. Agung Julius et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2008)
MODEST: A compositional modeling formalism for hard and softly timed systems
Henrik Bohnenkamp et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2006)
An ergodic control problem for constrained diffusion processes: Existence of optimal Markov control
A Budhiraja
SIAM JOURNAL ON CONTROL AND OPTIMIZATION (2003)
Bounded-parameter markov decision processes
R Givan et al.
ARTIFICIAL INTELLIGENCE (2000)