您要查找的是不是：
- priced timed automata 价格时间自动机
- This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound. 摘要着重解决代价和概率时间自动机模型的可达性问题，即满足一定概率要求的最小代价问题。
- Removing irrelevant atomic formulas for checking timed automata efficiently. In Proc. 因此,无关的原子约束是广泛存在的。
- This paper first briefly introduces timed automata, clock region, region equivalence and clock zone. 摘要首先简介了时间自动机、时钟区域、区域等价、时钟带的概念。
- According to clock zone, infinite state space of timed automata can be transformed to finite. 利用时钟带，可以将时间自动机的无穷状态空间转化为有穷。
- Based on timed automata,a rigorous schedulability analysis method of the CAN network with aperiodic real-time messages is developed in the paper. 控制网络的可调度性对网络化控制系统的性能有着重要的影响。
- In this paper an extension of timed automata with priorities is introduced,and we present an improved algorithm to compute subtraction on DBMs. 本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进。
- This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end. 本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
- The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. It includes a type checker and supports the TA, XTA, and XML file formats. 是一种被UPPAAL使用的语法分析程序库。它包括一个类型检测器，并支持TA、XTA和XML文件格式。
- The reachability analysis based on timed automata is one of the most used methods for model checking.Its’ major weakness is the state-space-explosion problem. 摘要 基于时间自动机的可达性分析是模型检测最常用的方法之一，但该方法饱受状态空间爆炸问题的困扰。
- They are very useful in protocol verifications. This paper presents some methods of protocol verification and uses KRONOS to verify FDDI to introduce the method of using timed automata. 文章介绍了网络协议验证的几种方法,并以KRONOS验证FDDI协议为例说明了用时间自动机验证协议的方法。
- Ameliorates both the time complexity and the space complexity Third, introduces the new development of timed automaton that is event-recording automata, event-predicting and event-clock automata. 接着介绍了时间自动机的最新进展，即有关事件记录自动机，事件预测自动机以及事件时钟自动机。
- Before establishing the crude oil price chronlogoical prediction model,the characteristics of crude oil price time must be grasped so as to decide the suitable predict method for crude oil price. 在建立原油价格时间序列预测模型之前,必须掌握原油价格时间序列的特征,才能选择合适的原油价格时间序列预测方法。
- The goods are priced out dour reach. 东西太贵，我们买不起。
- The dresses in the shop are priced high. 这家商店的衣服定价很高。
- Finite Precision Timed Automata(FFFA) 有限精度时间自动机
- Oil from these fields is priced in dollars. 这些油田产的油以美元定价。
- The clerk attached a price tag to each article. 店员给每一件商品系上标价签。
- Even the cheapest was priced at 5. 即使最便宜的也标价5英镑。
- It's almost impossible to agree on a unified basic price. 几乎不可能商定一个划一的基本价格。
