QQ客服 官方微博 反馈留言

浏览/检索结果: 共9条，第1-9条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Adaptive output-feedback finite-time stabilisation of stochastic non-linear systems with application to a two-stage chemical reactor 期刊论文 IET CONTROL THEORY AND APPLICATIONS, 2019, 卷号: 13, 期号: 4, 页码: 534-542 作者:  Sui, Shuai;  Chen, C. L. Philip 收藏  |  浏览/下载：88/0  |  提交时间：2019/07/12 chemical reactors  stochastic systems  control system synthesis  feedback  differential equations  adaptive control  uncertain systems  observers  stochastic processes  nonlinear control systems  stability  fuzzy control  control nonlinearities  probability  adaptive output-feedback finite-time stabilisation  two-stage chemical reactor  uncertain stochastic nonlinear system  unmeasured system variables  fuzzy logic systems  fuzzy state observer  stochastic differential equation  adaptive backstepping intelligent control  two-stage continuous stirred tank reactor process  controller design  single-input single-output system  SISO  probability   Analysis of Interrupt Behavior Based on Probabilistic Model Checking 会议论文 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08 作者:  Hou, Gang;  Kong, Weiqiang;  Zhou, Kuanjiu;  Wang, Jie;  Cao, Xun 收藏  |  浏览/下载：41/0  |  提交时间：2019/12/02 Computer circuits  Embedded systems  Petri nets  Real time systems  Stochastic models  Stochastic systems, Automated driving systems  Continuous stochastic logic  Deterministic and stochastic Petri nets  Deterministic behavior  Interrupt behavior  Markov regenerative process  Probabilistic model checking  Real-time embedded systems, Model checking   Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135 Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY 收藏  |  浏览/下载：12/0  |  提交时间：2016/12/13 Probabilistic model checking  Markov reward model  Continuous stochastic logic  Cylindrical algebraic decomposition  Transcendental number   Stratigraphy and reservoir quality of the turbidite deposits, western sag, Bohai bay, China PR 期刊论文 JOURNAL OF AFRICAN EARTH SCIENCES, 2014, 卷号: 99, 页码: 517-528 作者:  Rotimi, Oluwatosin J.;  Ako, Bankole D.;  Wang Zhenli 收藏  |  浏览/下载：24/0  |  提交时间：2018/09/26 Modeling  Turbidites  Stratigraphy  Electrofacies  Alluvial fan  Hydrocarbon   Bisimulations and logical characterizations on continuous-time markov decision processes 会议论文 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014 Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3) 收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16 连续时间马尔科夫链模型上的模型检测算法研究与工具实现 学位论文 硕士, 北京: 中国科学院大学, 2013 高杨 收藏  |  浏览/下载：22/0  |  提交时间：2013/05/31 模型检测  连续时间马尔科夫链  形式化  概率模型检测工具   model checking conditional csl for continuous-time markov chains 期刊论文 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun 收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17 Automata theory  Formal methods  Stochastic systems   CCMC: A conditional CSL model checker for continuous-time Markov chains 会议论文 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet nam, October 15, 2013 - October 18, 2013 Gao, Yang (1); Hahn, Ernst Moritz (1); Zhan, Naijun (1); Zhang, Lijun (1) 收藏  |  浏览/下载：7/0  |  提交时间：2014/12/16 A logic-based frame for knowledge reasoning in real-time security analysis 其他 2010-01-01 Li, Chaoming; Wang, Kenwen 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13