282 citations
- Vanderbilt UniversityUS11 papers
- Rutgers, The State University of New JerseyUS3 papers
- Centre Inria de l'Université Grenoble AlpesFR2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Department of Mathematical SciencesRU2 papers
- GIPSA-LabFR2 papers
- Institut polytechnique de GrenobleFR2 papers
- Rutgers Sexual and Reproductive Health and RightsNL2 papers
- Université Grenoble AlpesFR2 papers
- Virginia TechUS2 papers
- Arizona State UniversityUS1 paper
- Delft University of TechnologyNL1 paper
4 papers · 1 filter
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…
Modeling and Optimization of a Longitudinally-Distributed Global Solar Grid
Harsh Vardhan, Neal M Sarkar, Himanshu Neema
Our simulation-based experiments are aimed to demonstrate a use case on the feasibility of fulfillment of global energy demand by primarily relying on solar energy through the inte…
Web-Based Platform for Evaluation of Resilient and Transactive Smart-Grids
Himanshu Neema, Harsh Vardhan, Carlos Barreto +1
Today's smart-grids have seen a clear rise in new ways of energy generation, transmission, and storage. This has not only introduced a huge degree of variability, but also a contin…
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…