19 citations · 53 across the 13 of their papers we have counts for
4 papers · 1 filter
Data-Driven Optimization of Public Transit Schedule
Sanchita Basak, Fangzhou Sun, Saptarshi Sengupta +1
Bus transit systems are the backbone of public transportation in the United States. An important indicator of the quality of service in such infrastructures is on-time performance…
Safe and Private Forward-Trading Platform for Transactive Microgrids
Scott Eisele, Taha Eghtesad, Keegan Campanelli +3
Transactive microgrids have emerged as a transformative solution for the problems faced by distribution system operators due to an increase in the use of distributed energy resourc…
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…
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari +1
The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the k…