43 citations · 62 across the 10 of their papers we have counts for
10 papers
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Zirong Chen, Issa Li, Haoxiang Zhang +3
An increasing number of monitoring systems have been developed in smart cities to ensure that the real-time operations of a city satisfy safety and performance requirements. Howeve…
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Yiqi Zhao, Ziyan An, Xuqing Gao +2
Smart cities operate on computational predictive frameworks that collect, aggregate, and utilize data from large-scale sensor networks. However, these frameworks are prone to multi…
PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy
Hanchen David Wang, Meiyi Ma
Physical therapy (PT) is crucial for patients to restore and maintain mobility, function, and well-being. Many on-site activities and body exercises are performed under the supervi…
Integrating Voice-Based Machine Learning Technology into Complex Home Environments
Ye Gao, Jason Jabbour, Eunjung Ko +8
To demonstrate the value of machine learning based smart health technologies, researchers have to deploy their solutions into complex real-world environments with real participants…
An Intelligent Assistant for Converting City Requirements to Formal Specification
Zirong Chen, Isaac Li, Haoxiang Zhang +3
As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal…
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Zirong Chen, Isaac Li, Haoxiang Zhang +3
An increasing number of monitoring systems have been developed in smart cities to ensure that real-time operations of a city satisfy safety and performance requirements. However, m…
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland +2
With the development of the Internet of Things, millions of sensors are being deployed in cities to collect real-time data. This leads to a need for checking city states against ci…
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
Meiyi Ma, John Stankovic, Ezio Bartocci +1
Predictive monitoring -- making predictions about future states and monitoring if the predicted states satisfy requirements -- offers a promising paradigm in supporting the decisio…
MFED: A System for Monitoring Family Eating Dynamics
Md Abu Sayeed Mondol, Brooke Bell, Meiyi Ma +7
Obesity is a risk factor for many health issues, including heart disease, diabetes, osteoarthritis, and certain cancers. One of the primary behavioral causes, dietary intake, has p…
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland +2
We present SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We first descr…