Faculty

Institution

Unit

Venue

Ramavarapu S Sreenivas

Professor

UIUC

Affiliations

The Grainger College of Engineering

Department of Industrial and Enterprise Systems Engineering

Industrial & Enterprise Systems Engineering

Ramavarapu S Sreenivas is currently serving as an Industrial And Enterprise Systems Engineering Professor at Uiuc.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Ramavarapu S Sreenivas

UIUC

Professor

You can click a keyword to filter the displayed items

systems engineering computer science formal methods petri net formal verification supervisory control logic in computer science control systems verification theory of computation automated reasoning control system technology reachability problem automation system science wireless communications petri nets automatic control stochastic petri net computer engineering systems modeling process control distributed systems telecommunication networks supervisory policy technology discrete event systems supervisory policies theoretical computer science system safety networked system design ad hoc networks finite-state system vehicle control automated deduction reachability analysis computational optimization robotics automation laboratory investigation laboratory automation fair resource allocation control design ad-hoc wireless networks programming languages controllability automaton operation formal specification vehicle dynamics product management convolutional neural networks dc motor free-choice petri nets product development arbitrary petri net arbitrary petri nets communication complexity mechatronic systems fault-tolerant control programming language theory computability theory demand response intelligent energy system smart energy network optimization algorithmic mechanism design multi-agent mechanism design optimization problems distributed source coding affordable laboratory kit petri net controller language k polynomial time restrictive supervisory policy portable laboratory kit constrained optimization ordinal optimization quantum computing industrial informatics model-based system engineering modeling and simulation information theory

Notable Scholarly Works

Notable Federal Grants

Collaborators

On Generating Explanations for Reinforcement Learning Policies: An Empirical Study. IEEE Control Systems Letters (2024)

Mikihisa YuasaHuy T. TranRamavarapu S. Sreenivas

computer scienceinferencecomputational intelligenceexploration v exploitationexplanation-based learningreward hackingcognitive sciencereinforcement learning policiesreinforcement learningdecision theoryartificial intelligenceautomated reasoningdeep reinforcement learningapproximate reasoningdecision sciencesequential decision making

Robust Task Allocations by Distributing the Risk Among Agents: Theory and Algorithms. IEEE Transactions on Automation Science and Engineering (2024)

Raunak SenguptaRakesh NagiRamavarapu S. Sreenivas

computer sciencemulti-agent mechanism designgame theorytask allocationrisk managementagent-based systemalgorithmic mechanism designmechanism designagent decision-makingrobust task allocationsmultiagent systemsdecision sciencemathematical optimizationartificial society

Hierarchical Rule-Base Reduction Fuzzy Control for Path Tracking Variable Linear Speed Differential Steer Vehicles. (2023)

Samuel DekhtermanWilliam NorrisRamavarapu SreenivasDustin NottageAhmet Soylemezoglu

control systemsfuzzy systemsvehicle controlfuzzy control systemstability prooffuzzy logicsystems engineeringtracking controloutdoor resultsfuzzy optimizationvehicle system dynamicsintelligent transportation systemsfuzzy modelingautomatic control

Voxelized Cut-And-Fill Models for Deadlock-Free Site Excavation Under Accessibility Constraints. 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE) (2023)

Rami FouaniRaunak SenguptaRakesh NagiRamavarapu S. Sreenivas

computer-aided designcomputer sciencedeadlock-free site excavationlinear assignment problemaccessibility constraintscomputational optimizationcivil engineeringoptimization problemsgeometric modelingalgorithmic efficiencycomputational geometry

Assessing the Potential of Digital Home Assistants to Support Older Adults With Mobility Disability. Innovation in Aging (2022)

Kenneth BlockerKi LimHusna HussainiKyreon WilliamsRamavarapu S SreenivasWendy Rogers

digital healthmobility disabilityhealth technologytechnologymobile computingamazon echo devicesassistive technologyassistive devicesintelligent user interfaceshuman-computer interactiondigital assistance technologiesrehabilitationaccessibilityhome automationubiquitous computing

Equitable Allocation of Operations and Makespan Minimization for Autonomous Agents. IEEE Transactions on Automation Science and Engineering (2022)

Raunak SenguptaRakesh NagiRamavarapu S. Sreenivas

computer sciencemulti-agent mechanism designcombinatorial optimizationalgorithmic mechanism designfairnessmechanism designsystems engineeringdistributed systemsequitable allocationfair divisionoperations researchmakespan minimizationmultiagent systemsfair resource allocationoperation trading algorithmmathematical optimization

Exploring Use of Digital Home Assistants for Older Adults: A Demonstration Project. Innovation in Aging (2021)

Travis KadylakMaya MaleckiLeonardo GalosoSaahithya GowrishankarAmy BrownRamavarapu SreenivasWendy Rogers

digital healthdigital home assistantshealth technologycommunicationassisted livinggeriatricsassistive technologysupportive caredigital interventionshuman-computer interactionelderly careolder adultsehealthnursingdemonstration projectinteraction design

Liveness Enforcing Supervisory Policies Tolerant to Controllability Failures for Discrete-Event Systems Modeled by Petri Nets. Automatica (2021)

Arun RamanRamavarapu S. Sreenivas

computer sciencepetri netscontrollability failuressystems modelingsupervisory policiesresilient control systemformal methodssystem safetydiscrete event systemssystems engineeringsupervisory controlformal verificationpetri netverificationreliability engineering

On Computing the Supremal Right-Closed Control Invariant Subset of a Right-Closed Set of Markings for an Arbitrary Petri Net. Discrete Event Dynamic Systems (2021)

Roshanak KhaleghiRamavarapu S. Sreenivas

control systemspetri netarbitrary petri netabstract and applied analysistheory of computationstochastic petri netapplied mathematicsmathematicsright-closed setcontrol system technology

An Ontology for Semantic Classification of Construction Areas and Tasks. (2020)

Jakub LewandowskiRakesh NagiWilliam Robert NorrisRamavarapu S SreenivasDustin NottageAhmet Soylemezoglu

foundational ontologyarchitecturedesignsemantic evaluationsemantic webontology researchknowledge graphsknowledge-based systemsknowledge representation and reasoningontology learningsemantic classificationsemanticsontology (information science)

1
2
3
4
5
11
10 / page

Ramavarapu S Sreenivas

Professor

UIUC

Affiliations

The Grainger College of Engineering

Department of Industrial and Enterprise Systems Engineering

Industrial & Enterprise Systems Engineering

Ramavarapu S Sreenivas is currently serving as an Industrial And Enterprise Systems Engineering Professor at Uiuc.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Ramavarapu S Sreenivas

UIUC

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

On Generating Explanations for Reinforcement Learning Policies: An Empirical Study. IEEE Control Systems Letters (2024)

Mikihisa YuasaHuy T. TranRamavarapu S. Sreenivas

Robust Task Allocations by Distributing the Risk Among Agents: Theory and Algorithms. IEEE Transactions on Automation Science and Engineering (2024)

Raunak SenguptaRakesh NagiRamavarapu S. Sreenivas

Hierarchical Rule-Base Reduction Fuzzy Control for Path Tracking Variable Linear Speed Differential Steer Vehicles. (2023)

Samuel DekhtermanWilliam NorrisRamavarapu SreenivasDustin NottageAhmet Soylemezoglu

Voxelized Cut-And-Fill Models for Deadlock-Free Site Excavation Under Accessibility Constraints. 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE) (2023)

Rami FouaniRaunak SenguptaRakesh NagiRamavarapu S. Sreenivas

Assessing the Potential of Digital Home Assistants to Support Older Adults With Mobility Disability. Innovation in Aging (2022)

Kenneth BlockerKi LimHusna HussainiKyreon WilliamsRamavarapu S SreenivasWendy Rogers

Equitable Allocation of Operations and Makespan Minimization for Autonomous Agents. IEEE Transactions on Automation Science and Engineering (2022)

Raunak SenguptaRakesh NagiRamavarapu S. Sreenivas

Exploring Use of Digital Home Assistants for Older Adults: A Demonstration Project. Innovation in Aging (2021)

Travis KadylakMaya MaleckiLeonardo GalosoSaahithya GowrishankarAmy BrownRamavarapu SreenivasWendy Rogers

Liveness Enforcing Supervisory Policies Tolerant to Controllability Failures for Discrete-Event Systems Modeled by Petri Nets. Automatica (2021)

Arun RamanRamavarapu S. Sreenivas

On Computing the Supremal Right-Closed Control Invariant Subset of a Right-Closed Set of Markings for an Arbitrary Petri Net. Discrete Event Dynamic Systems (2021)

Roshanak KhaleghiRamavarapu S. Sreenivas

control systemspetri netarbitrary petri netabstract and applied analysistheory of computationstochastic petri netapplied mathematicsmathematicsright-closed setcontrol system technology

An Ontology for Semantic Classification of Construction Areas and Tasks. (2020)

Jakub LewandowskiRakesh NagiWilliam Robert NorrisRamavarapu S SreenivasDustin NottageAhmet Soylemezoglu

1
2
3
4
5
11
10 / page