Abstract: In alignment with decarbonization efforts, there has been widespread global interest in renewable energy sources such as wind and solar, which are connected to the grid via grid-connected ...
Abstract: In this note, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on studying a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results