logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
R

R.S. Sreenivas

University of Illinois System

19H指数
123论文数
1.7K被引数
收录论文 21
发表时间
logo
Neuro-Symbolic Generation of Explanations for Robot Policies With Weighted Signal Temporal Logic符号神经网络生成带加权信号时序逻辑的机器人策略解释
errIEEE Robotics and Automation Letters
IF5.3
err2026-04-01
err0
PREAI
errYuasa, Mikihisa; Sreenivas, Ramavarapu S.; Tran, Huy T.
err分享
err收藏
Robust Task Allocations by Distributing the Risk Among Agents: Theory and Algorithms
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2024-01-01
err0
errOAAI
errSengupta, Raunak; Nagi, Rakesh; Sreenivas, Ramavarapu S.
err分享
err收藏
Equitable Allocation of Operations and Makespan Minimization for Autonomous Agents
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2023-01-01
err2
PREAI
errSengupta, Raunak; Nagi, Rakesh; Sreenivas, Ramavarapu S.
err分享
err收藏
Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets
errAUTOMATICA
IF5.9
err2021-03-01
err0
errOAAI
errRaman, Arun; Sreenivas, Ramavarapu S.
err分享
err收藏
Machine learning and price-based load scheduling for an optimal IoT control in the smart and frugal home机器学习和基于价格的负载调度，可在智能和节俭的家庭中实现最佳的物联网控制
errENERGY AND AI
IF9.6
err2021-03-01
err9
errOAAI
errKaur, Rachneet; Schaye, Clara; Thompson, Kevin; Yee, Daniel C.; Zilz, Rachel; Sreenivas, R. S.; Sowers, Richard B.
err分享
err收藏
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets关于任意Petri网的活性强制监管策略
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-12-01
err11
errOAAI
errChen, Chen; Raman, Arun; Hu, Hesuan; Sreenivas, Ramavarapu S.
err分享
err收藏
Characterizing Token Delays of Timed Event Graphs for K-Cyclic Schedules
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2017-02-01
err11
PREAI
errLee, Tae-Eog; Kim, Hyun-Jung; Roh, Dong-Hyun; Sreenivas, Ramavarapu S.
err分享
err收藏
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets在基于不变的监视器上，该监视器在一类部分控制的通用Petri网中强制执行活性
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2015-10-01
err6
PREAI
errSalimi, E.; Sreenivas, R. S.
err分享
err收藏
On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets在一类通用Petri网中强制执行活性的监督策略的充分信息结构上
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2015-07-01
err7
PREAI
errDeverakonda, V.; Sreenivas, R. S.
err分享
err收藏
A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems
errJOURNAL OF INTELLIGENT MANUFACTURING
IF7.4
err2014-03-05
err9
PREAI
errChandrasekaran, S.; Somnath, N.; Sreenivas, R. S.
err分享
err收藏
On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets关于在一类部分控制的一般自由选择Petri网中确定是否存在执行活性的监督政策
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2013-10-01
err9
PREAI
errSomnath, N.; Sreenivas, R. S.
err分享
err收藏
On a Decidable Class of Partially Controlled Petri Nets With Liveness Enforcing Supervisory Policies在一类可判定的部分控制的Petri网中，具有执行监督策略的活性
errieee transactions on cybernetics
IF8.7
err2013-09-01
err10
PREAI
errSreenivas, R. S.
err分享
err收藏
On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets关于在部分控制的自由选择Petri网中执行活性的监督政策的存在
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2012-02-01
err21
PREAI
errSreenivas, R. S.
err分享
err收藏
On Tractable Instances of Modular Supervisory Control
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2011-07-01
err4
PREAI
errGummadi, Ramakrishna; Singh, Nikhil; Sreenivas, Ramavarapu S.
err分享
err收藏
Managing the exchange of information in product development
errEUROPEAN JOURNAL OF OPERATIONAL RESEARCH
IF6
err2008-01-01
err48
PREAI
errYassine, Ali A.; Sreenivas, Ramavarapu S.; Zhu, Jian
err分享
err收藏
On minimal representations of Petri net languages关于Petri网语言的最小表示
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2006-05-01
err9
PREAI
errSreenivas, Ramavarapu S.
err分享
err收藏
On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions关于在具有定向切割位置和切割过渡的完全控制的Petri网中强制实施活性的监督策略
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err1999-06-01
err15
PREAI
errSreenivas, RS
err分享
err收藏
On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err1999-01-01
err11
errOAAI
errSreenivas, RS
err分享
err收藏
An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets独立，增加，自由选择的Petri网在任意Petri网中增强活性的策略合成中的应用
errAUTOMATICA
IF5.9
err1998-12-01
err7
errOAAI
errSreenivas, RS
err分享
err收藏
On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled petri nets关于在受控petri网建模的离散事件动态系统中执行活性的监督策略的存在
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err1997-07-01
err79
PREAI
errSreenivas, RS
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
H
Hyun Jung Kim
H 指数: 49 · 论文数: 431
K
Kevin Thompson
H 指数: 43 · 论文数: 264
R
Rakesh Nagi
H 指数: 36 · 论文数: 248
T
Tae‐Eog Lee
H 指数: 35 · 论文数: 199
A
Ali Yassine
H 指数: 34 · 论文数: 129
查看更多