78 citations · 510 across the 71 of their papers we have counts for
22 papers · 1 filter
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems
Bai Xue, Miaomiao Zhang, Arvind Easwaran +1
In this paper we present a novel model checking approach to finite-time safety verification of black-box continuous-time dynamical systems within the framework of probably approxim…
Resilience Bounds of Network Clock Synchronization with Fault Correction
Linshan Jiang, Rui Tan, Arvind Easwaran
The Internet of Things (IoT) will be a main data generation infrastructure for achieving better system intelligence. This paper considers the design and implementation of a practic…
A Survey on Time-Sensitive Resource Allocation in the Cloud Continuum
Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran +3
Artificial Intelligence (AI) and Internet of Things (IoT) applications are rapidly growing in today's world where they are continuously connected to the internet and process, store…
Real-Time Energy Monitoring in IoT-enabled Mobile Devices
Nitin Shivaraman, Seima Saki, Zhiwei Liu +3
With rapid advancements in the Internet of Things (IoT) paradigm, electrical devices in the near future is expected to have IoT capabilities. This enables fine-grained tracking of…
DeCoRIC: Decentralized Connected Resilient IoT Clustering
Nitin Shivaraman, Saravanan Ramanathan, Shreejith Shanker +2
Maintaining peer-to-peer connectivity with low energy overhead is a key requirement for several emerging Internet of Things (IoT) applications. It is also desirable to develop such…
Managing Industrial Communication Delays with Software-Defined Networking
Rutvij H. Jhaveri, Rui Tan, Arvind Easwaran +1
Recent technological advances have fostered the development of complex industrial cyber-physical systems which demand real-time communication with delay guarantees. The consequence…