相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
Abolfazl Lavaei et al.
2020 ACM/IEEE 11TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2020) (2020)
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
Fedor Shmarov et al.
IEEE ACCESS (2020)
Learning control lyapunov functions from counterexamples and demonstrations
Hadi Ravanbakhsh et al.
AUTONOMOUS ROBOTS (2019)
Robust Dual Dynamic Programming
Angelos Georghiou et al.
OPERATIONS RESEARCH (2019)
A Unifying View on SMT-Based Software Verification
Dirk Beyer et al.
JOURNAL OF AUTOMATED REASONING (2018)
Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study
Samira S. Farahani et al.
JOURNAL OF PROCESS CONTROL (2018)
Formal Guarantees in Data-Driven Model Identification and Control Synthesis
Sadra Sadraddini et al.
HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (2018)
Robust Model Predictive Control with Signal Temporal Logic constraints for Barcelona Wastewater System
Samira S. Farahani et al.
IFAC PAPERSONLINE (2017)
Data-driven and model-based verification via Bayesian identification and reachability analysis
Sofie Haesaert et al.
AUTOMATICA (2017)
A state-space model for dynamic response of indoor air temperature and humidity
Ye Yao et al.
BUILDING AND ENVIRONMENT (2013)
Modeling Cyber-Physical Systems
Patricia Derler et al.
PROCEEDINGS OF THE IEEE (2012)
Large deviations for sums of partly dependent random variables
S Janson
RANDOM STRUCTURES & ALGORITHMS (2004)