43 citations · 130 across the 17 of their papers we have counts for
17 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…
Data-Driven Distributionally Robust Electric Vehicle Balancing for Autonomous Mobility-on-Demand Systems under Demand and Supply Uncertainties
Sihong He, Zhili Zhang, Shuo Han +5
Electric vehicles (EVs) are being rapidly adopted due to their economic and societal benefits. Autonomous mobility-on-demand (AMoD) systems also embrace this trend. However, the lo…
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…