129 citations · 349 across the 72 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
eess.SY2023★ 1 cited
Secure-by-Construction Synthesis for Control Systems
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo +1
In this paper, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on…
cs.LO2023
Closure Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
A barrier certificate, defined over the states of a dynamical system, is a real-valued function whose zero level set characterizes an inductively verifiable state invariant separat…