On continuous timed automata with input-determined guards

机译：在具有输入确定的防护装置的连续定时自动机上

代理获取

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

页面导航

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

著录项

作者
Fabrice Chevalier; Pavithra Prabhakar, et al.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal analysis and control of timed automata with guards using (max, +) and (min,+) algebras [J] . Ait Oumeziane F., Kara R., Amari S. International journal of systems science . 2020,第9a12期

机译：使用（MAX，+）和（MIN，+）代数使用防护装置的正式分析和控制
2. Parameterized model checking of networks of timed automata with Boolean guards [J] . Theoretical computer science . 2020,第期

机译：Boolean Guards定时自动机网络的参数化模型检查
3. Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra [J] . Tamssaouet F., Amari S. International journal of systems science . 2018,第9a12期

机译：使用带守卫和（max，+）代数的定时自动机对网络控制系统进行建模和时间评估
4. On Continuous Timed Automata with Input-Determined Guards [C] . Fabrice Chevalier, Deepak DSouza, Pavithra Prabhakar FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science; Lecture Notes in Computer Science; 4337 . 2006

机译：具有输入确定的保护的连续定时自动机
5. Modeling timing faults using timed extended finite state machines and extended timed automata. [D] . Wang, Yu. 2009

机译：使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
6. Application of Stochastic Automata Networks for Creation of Continuous Time Markov Chain Models of Voltage Gating of Gap Junction Channels [O] . Mindaugas Snipas, Henrikas Pranevicius, Mindaugas Pranevicius, -1

机译：随机自动机网络在间隙连接通道电压门控连续时间马尔可夫链模型创建中的应用
7. On timed automata with input-determined guards [O] . D'Souza, Deepak, Tabareau, Nicolas 2006

机译：在具有输入确定的防护的定时自动机上

On continuous timed automata with input-determined guards

著录项

引文网络

相似文献

相关主题

期刊订阅