Center for Smart Cyber-Physical Systems (SCyPS) UMass Lowell  

·         Designing and implementing advanced control algorithms (PWM, MPPT, current control, grid synchronization) for inverters, microgrids, simulation and Hardware in the Loop testing, leveraging AWS IoT Greengrass to extend capabilities to edge devices.

·         Designing and implementing fault detection & protection algorithms to safeguard the inverter system for Commercial and Industrial Facility thus ensuring its long-term reliability that adheres to SunSpec IEEE 2030.5 / CSIP Certification

·         Conducting thorough testing and validation to ensure that the implemented security controls are effective and meet the requirements of NISTIR 8498, NIST SP 800-53 Security Controls, NISTIR 7628.

·         Deploying secure microcontrollers with FreeRTOS to manage and control distributed energy resources (DERs) within the microgrid, ensuring secure communication and data protection.

·         Utilizing eBPF to enforce microgrid network security policies & monitoring, enhancing threat detection and response capabilities.

·         Implementing ZKP algorithms on AWS Lambda to verify device identities without revealing sensitive credentials.

·         Developing techniques for property-based verification, refinement-based analysis, and selective component verification to ensure the preservation of essential program behavior.