首页> 外文OA文献 >Proving properties of continuous systems: qualitative simulation and temporal logic

【2h】

Proving properties of continuous systems: qualitative simulation and temporal logic

机译：连续系统的证明性质：定性模拟和时间逻辑

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shults Benjamin; Kuipers Benjamin J.;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications [J] . Sun Y., Lin H., Chen B.M. International Journal of Control . 2012,第10a12期

机译：针对线性时序逻辑规范控制多仿射系统的输入输出仿真方法
2. An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications [J] . Yajuan Suna* Hai Linb, Ben M. Chena International Journal of Control . 2012,第10期

机译：输入-输出仿真方法，用于控制线性时间逻辑规范的多仿射系统
3. Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems [J] . Eleftheria Katsiri, Alan Mycroft Simulation modelling practice and theory: International journal of the Federation of European Simulation Societies . 2011,第1期

机译：将时间一阶逻辑与贝叶斯网络相链接以模拟普适计算系统
4. Proving real-time properties of programs with temporal logic [C] . Arthur Bernstein, Paul K. Harter, PPaul K. Harter ACM symposium on Operating systems principles . 1981

机译：用时间逻辑证明程序的实时属性
5. Proving properties of digital systems with abstraction-guided simulation. [D] . Nanshi, Kuntal. 2009

机译：用抽象指导的仿真证明数字系统的特性。
6. Medical recommender systems based on continuous-valued logic and multi-criteria decision operators using interpretable neural networks [O] . Juan G. Diaz Ochoa, Orsolya Csiszár, Thomas Schimper 2021

机译：基于连续值逻辑和多标准决策操作员的医疗推荐系统使用可解释的神经网络
7. A Framework for Proving the Correctness of Cryptographic Protocol Properties by Linear Temporal Logic [O] . Abdullah Alabdulatif, Xiaoqi Ma, Lars Nolle 2013

机译：通过线性时间逻辑证明加密协议属性正确性的框架
8. Proving Real-Time Properties of Programs with Temporal Logic [R] . Bernstein, A., Harter, P. K. 1981

机译：用时态逻辑证明程序的实时属性

Proving properties of continuous systems: qualitative simulation and temporal logic

著录项

引文网络

相似文献

相关主题

期刊订阅