Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems

Article Properties

• DOI (url)

  10.1109/ojcsys.2022.3207108
• Publication Date

  2022/01/01
• Journal

  IEEE Open Journal of Control Systems
• Indian UGC (journal)
• Refrences

  43
• Yu Wang Department of Mechanical and Aerospace Engineering, University of Florida, Gainesville, FL, USA ORCID (unauthenticated)
• Hussein Sibai Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, USA ORCID (unauthenticated)
• Mark Yen Department of Mechanical and Aerospace Engineering, University of Florida, Gainesville, FL, USA ORCID (unauthenticated)
• Sayan Mitra Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, Urbana, IL, USA ORCID (unauthenticated)
• Geir E. Dullerud Department of Mechanical Science and Engineering, University of Illinois at Urbana-Champaign, Urbana, IL, USA ORCID (unauthenticated)