71 citations · 110 across the 18 of their papers we have counts for
20 papers
ESCORT: Efficient Stein-variational and Sliced Consistency-Optimized Temporal Belief Representation for POMDPs
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay +2
In Partially Observable Markov Decision Processes (POMDPs), maintaining and updating belief distributions over possible underlying states provides a principled way to summarize act…
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay +8
Efficient path optimization for drones in search and rescue operations faces challenges, including limited visibility, time constraints, and complex information gathering in urban…
From an attention economy to an ecology of attending. A manifesto
Gunter Bombaerts, Tom Hannes, Martin Adam +52
As the signatories of this manifesto, we denounce the attention economy as inhumane and a threat to our sociopolitical and ecological well-being. We endorse policymakers' efforts t…
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems
Baiting Luo, Shreyas Ramakrishna, Ava Pettet +3
Learning Enabled Components (LEC) have greatly assisted cyber-physical systems in achieving higher levels of autonomy. However, LEC's susceptibility to dynamic and uncertain operat…
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA
Shreyas Ramakrishna, Baiting Luo, Christopher Kuhn +2
Despite recent advances in autonomous driving systems, accidents such as the fatal Uber crash in 2018 show these systems are still susceptible to edge cases. Such systems must be t…
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications
Purboday Ghosh, Hao Tu, Timothy Krentz +2
Executing distributed cyber-physical software processes on edge devices that maintains the resiliency of the overall system while adhering to resource constraints is quite a challe…
Syntheto: A Surface Language for APT and ACL2
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Shreyas Ramakrishna, Baiting Luo, Yogesh Barve +2
Autonomous Cyber-Physical Systems must often operate under uncertainties like sensor degradation and shifts in the operating conditions, which increases its operational risk. Dynam…
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications
Purboday Ghosh, Shashank Shekhar, Yashen Lin +2
Virtual topologies in peer-to-peer networks can reduce the traffic consumed by altering the logical connectivity of peers without altering the underlying network. However, such spa…
Efficient Out-of-Distribution Detection Using Latent Space of -VAE for Cyber-Physical Systems
Shreyas Ramakrishna, Zahra Rahiminasab, Gabor Karsai +2
Deep Neural Networks are actively being used in the design of autonomous Cyber-Physical Systems (CPSs). The advantage of these models is their ability to handle high-dimensional st…
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey +3
Autonomous CPSs are often required to handle uncertainties and self-manage the system operation in response to problems and increasing risk in the operating paradigm. This risk may…
Workflow Automation for Cyber Physical System Development Processes
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine +3
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performanc…
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge
Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun +4
Deep Learning (DL) model-based AI services are increasingly offered in a variety of predictive analytics services such as computer vision, natural language processing, speech recog…
A Methodology for Automating Assurance Case Generation
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey +2
Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The ce…
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services
Anirban Bhattacharjee, Ajay Dev Chhokra, Zhuangwei Kang +3
Pre-trained deep learning models are increasingly being used to offer a variety of compute-intensive predictive analytics services such as fitness tracking, speech and image recogn…
TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids
Aron Laszka, Scott Eisele, Abhishek Dubey +2
Power grids are undergoing major changes due to rapid growth in renewable energy and improvements in battery technology. Prompted by the increasing complexity of power systems, dec…
Dynamic-Weighted Simplex Strategy for Learning Enabled Cyber Physical Systems
Shreyas Ramakrishna, Charles Hartsell, Matthew P Burruss +2
Cyber Physical Systems (CPS) have increasingly started using Learning Enabled Components (LECs) for performing perception-based control tasks. The simple design approach, and their…
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems
Abhishek Dubey, Gabor Karsai, Aniruddha Gokhale +2
Distributed real-time and embedded (DRE) systems executing mixed criticality task sets are increasingly being deployed in mobile and embedded cloud computing platforms, including s…
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey +1
Cyber-physical systems increasingly rely on distributed computing platforms where sensing, computing, actuation, and communication resources are shared by a multitude of applicatio…
Metamodelling: State of the Art and Research Challenges
Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe +1
This chapter discusses the current state of the art, and emerging research challenges, for metamodelling. In the state-of-the-art review on metamodelling, we review approaches, abs…