Schedulability of Bounded-Rate Multimode Systems
Schedulability of Bounded-Rate Multimode Systems
复制标题
有界速率多模系统的可调度性
DOI：
10.1145/2996797
复制
发表时间：
2017
影响因子：
2
通讯作者：
Alur R
中科院分区：
文献类型：
--
作者：
Alur R
有界速率多模系统是在有限模式集之间自由切换的混合系统，并且其动态由有限数量的具有在给定有界集内变化的模式相关速率的实值变量指定。调度程序重复地提出时间和模式，而环境为该模式选择允许的速率;系统的状态在速率的方向上线性变化。调度器的目标是保持在一个安全的集合内的状态，而环境的目的是离开it. We研究的问题存在一个获胜的调度策略和相关的复杂性问题。
Bounded-rate multimode systems are hybrid systems that switch freely among a finite set of modes, and whose dynamics are specified by a finite number of real-valued variables with mode-dependent rates that vary within given bounded sets. The scheduler repeatedly proposes a time and a mode, while the environment chooses an allowable rate for that mode; the state of the system changes linearly in the direction of the rate. The scheduler aims to keep the state within a safe set, while the environment aims to leave it. We study the problem of existence of a winning scheduler strategy and associated complexity questions.
登录
查看更多内容
恒定速率多模系统的优化调度
DOI：
10.1145/2185632.2185647
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Alur R
通讯作者：
Alur R
有界速率多模系统的安全可调度性
DOI：
10.1145/2461328.2461366
发表时间：
2013
期刊：
ArXiv
影响因子：
--
作者：
R. Alur;Vojtěch Forejt;Salar Moarref;Ashutosh Trivedi
通讯作者：
Ashutosh Trivedi
不确定线性系统的约束控制
DOI：
--
发表时间：
1991
期刊：
影响因子：
--
作者：
F. Blanchini
通讯作者：
F. Blanchini
基于限速多模式系统的运动规划
DOI：
10.1145/2728606.2728616
发表时间：
2014
期刊：
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
D. Bhave;Sagar Jha;S. Krishna;S. Schewe;Ashutosh Trivedi
通讯作者：
Ashutosh Trivedi
DOI：
--
发表时间：
2010
期刊：
Euromicro Conference on Real-Time Systems
影响因子：
--
作者：
L. T. Phan;Insup Lee;O. Sokolsky
通讯作者：
O. Sokolsky